2025-W31 › 🔗 [2025-W31-links]
- July 28, 2025
2025-W31 › 🔗 [2025-W31-links]
- July 28, 2025
2025-08-03 [2025-08-03]
- July 28, 2025
2025-08-03 [2025-08-03]
- July 28, 2025
- How do you backup your non-work-related data? - most suggests `restic` - Cloud Backup: Easy, Secure, Unlimited Online Backup - Backblaze B2, good affordability/pricing, ~$5/mo - `borg` has security footgun - use https://healthchecks.io/ to monitor backup jobs - Append-only Restic backups on a Hetzner Storage Box - good #design, [source] - Append-only backups with restic and rclone - jmtd → computing → Network Attached Storage (NAS) - Personal backups and file archival // Josh Mock - If you're remote, ramble - Ramblings channels let everyone share what’s on their mind without cluttering group channels - short updates 1-3 times per week - common topics - ideas related to current projects - musings about blog posts, articles, user feedback - “what if” suggestions - photos from recent trips or hobbies - rubber ducking a problem - each ramblings channel - named after the team member - only that person can post top-level messages. Others can reply in threads, but not start new ones - muted by default, with no expectation that anyone else will read them - ramblings are our equivalent of water cooler talk - Linear Types for Programmers (2023) #lang - The Austral Programming Language - faiface/par-lang: Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice. - Twenty Eighth International Obfuscated C Code Contest - the redesign broke all links to the old entries without redirects - now requires using a javascript capable browser to view the entries on github (github having removed non-JS access last year)
2025-08-02 [2025-08-02]
- July 28, 2025
2025-08-02 [2025-08-02]
- July 28, 2025
- #agent
- Cerebras Code
- Cerebras Code Pro ($50/month)
- Code Max ($200/month)
- Qwen3-Coder, but at 2,000 tokens per second, with a 131k-token context window
- cchistory: Tracking Claude Code System Prompt and Tool Changes
- Reconstructing a timeline for Amazon Q prompt infection #sec
- Amazon's AI Coding Revealed a Dirty Little Secret (on HN)
- NativeMind
- Unit Testing Principles
- overcomplicated code should be split into
- deep domain classes, to be thoroughly unit tested
- wide controllers, exercised by strategic integration tests
- unit tests should verify units of behavior
- four pillars of a good unit test
- protection against regressions
- resistance to refactoring
- fast feedback
- maintainability
- I think I have got them all wrong when setting up tests for GAlgebra
- #lib
- candyfloss: an ergonomic python library for running video pipelines
2025-08-01 [2025-08-01]
- July 28, 2025
2025-08-01 [2025-08-01]
- July 28, 2025
- #agent
- 6 Weeks of Claude Code (on HN) (on lobste.rs)
- "a list of things which I have completed, solo, ..., they are years of “tech debt” / “tech innovation” backlog for me"
- Individual Contributor Ladder
- AI is a floor raiser, not a ceiling raiser
- on HN
- AI is "automated ladder pulling technology"
- "AI does all those lower level jobs, puts the people who need those jobs for experience on the street, and robs us of future experts."
- 'A black hole': New graduates discover a dismal job market
- Vibe code is legacy code
- "We already have a phrase for code that nobody understands: legacy code"
- A Hitchhiker's Guide to the AI Bubble
- "The fact there is real value in the technology does not contradict in any way that we are in a bubble."
- Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
- "A neat feature of Open WebUI is that it includes an automatic preview panel, which kicks in for fenced code blocks that include SVG or HTML"
- #sec
- How to Secure a Linux Server (on HN)
- however, it's pointed out on HN that one should not follow this
- "This guide ignores many sane defaults in favor of a patchwork..., added over time by random people with no thought for threat modeling, that may even result in an increased attack surface."
- "This guide contains (at least) inaccurate statements. It's oversimplifying and omitting important things while putting emphasis on some exotic details where defaults would be sane enough."
- better alternatives suggested, both authored by `a13xp0p0v`
- Linux Kernel Defence Map - Security Hardening Concepts (on HN)
- Linux Kernel Hardening Checker (on HN)
- ComplianceAsCode/content: Security automation content in SCAP, Bash, Ansible, and other formats is also suggested
- it facilitates security policy content authoring
- along with ansible playbook/bash scripts to check or fix compliance
- When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal | Linux Journal
- Long Term Support for SQLite
- admirable efforts to support SQLite through the year 2050
- Live coding sucks | Mustapha Hadid
- "Live coding interviews measure stress, not coding skills"
- Comment by lapcat
- "something about strangers standing over my shoulder judging me, determining my financial future by providing or withholding a job, like the sword of Damocles, turns my stomach inside out"
- "A lot of commenters causally speak of "false negatives" as if they were random, but some people, myself included, are always the false negative."
- #tmux
- Replacing tmux in my dev workflow (on HN) (on lobste.rs)
- shpool + autossh(1)
- Customizing tmux
- lots of potentially useful comments on on HN
2025-07-31 [2025-07-31]
- July 28, 2025
2025-07-31 [2025-07-31]
- July 28, 2025
- #perf
- Benchmarks in CI: Escaping the Cloud Chaos
- Big O vs Hardware: Better Complexity ≠ Better Performance
- bu/doc/tim.md at main · c-blake/bu
- Snooping On Slow Builds (Using Syscalls)
- #browser
- I tried Servo, the undercover web browser engine made with Rust #rust
- "this approach of breaking down a web engine into independently usable modules with public APIs will make it easier for people to get involved in web engine development, and make it easier for people to create new web engines in future" (on HN)
- servo/stylo: CSS engine that powers Servo and Firefox
- servo/html5ever: High-performance browser-grade HTML5 parser
- DioxusLabs/taffy: A high performance rust-powered UI layout library
- DioxusLabs/blitz: A radically modular HTML/CSS rendering engine
- Orion Browser by Kagi
- Kagi believes that they need to offer a hollistic replacement for big tech for consuming the web, that includes search, browser and email (on HN)
- How we made JSON.stringify more than twice as fast
- #cg
- PixiEditor 2.0 – A FOSS universal 2D graphics editor (on HN)
- Raster, Vector, Animations, Procedural (VFX, effects, non-desctuctive editing)
- written in C#, copyleft
- alternatives
- G'MIC - GREYC's Magic for Image Computing: A Full-Featured Open-Source Framework for Image Processing - Main
- Kdenlive - Free and Open Source Video Editor
- Physically Based Shading in Theory and Practice
- 3D Line Drawings
- a 3d scene that can be posed and shows as a 2d line illustration
- based on Gaussian Splats
2025-07-29 [2025-07-29]
- July 28, 2025
2025-07-29 [2025-07-29]
- July 28, 2025
- #zig #perf
- Zig profiling on Apple Silicon | Bugsik
- mstange/samply
- a command line sampling CPU profiler which uses the Firefox profiler as its UI
- for macOS, Linux, and Windows
- verte-zerg/poop at kperf-macos
- a fork of poop to use kperf under Mac
- wolfpld/tracy: Frame profiler
- A real time, nanosecond resolution, remote telemetry, hybrid frame and sampling profiler for games and other applications
- C, C++, Lua, Python, Fortran, Rust, Zig, C#, OCaml, Odin, GPU
- Windows, Linux, Android, FreeBSD, WSL, OSX, iOS, QNX
- Generic Programming and anytype - Docs - Ziggit
- Using Zig allocator for C libraries (Alignment question)
- `Allocator.rawAlloc`/`.rawFree`
- `@alignOf(std.c.max_align_t)`
- ANDRVV/zprof: 🧮 Cross-allocator profiler for Zig
- battle-tested in raptodb/rapto: transposition-heuristic storage, low memory footprint and high-performance querying
- Writing memory efficient C structs (on HN)
- 10^19712 years to exhaust u65535
- u65535 is the integer type with the highest max value supported in Zig (from Zig doc)
- #physics
- Background independence
- #crypto
- Fintech dystopia (on HN)
- #perf
- Giving Benchmarks a Boat
- TPC-C is a benchmark for transactional databases that models an order system with goods spanning many warehouses
- Each warehouse comes with some set amount of data to be managed and some amount of query traffic that adheres to some specific distribution laid out in the spec
- they can account for
- what's the proportion of hot vs. cold data
- what's the ratio of transactions-per-minute to bytes stored
- what's the proportion of read-only queries, vs. simple, point writes, vs. complex read-write transactions
- what proportion of transactions go cross-shard
- The metric: "we sustained the workload at X warehouses with Y hardware at Z cost."
- #movie
- Nothing to watch – Experimental gallery visualizing 50k film posters
- #agent
- Show HN: A GitHub Action that quizzes you on a pull request (on HN) #aicr
> PR Quiz uses AI to generate a quiz from a pull request and blocks you from merging until the quiz is passed.
- Learn Rust by Reasoning with Code Agents #rust
- Principles for production AI agents (on HN)
- context
- modern LLMs just need direct detailed context, no tricks, but clarity and lack of contradictions
- structuring context so that the system part is large and static and user one is small and dynamic works great
- provide the bare minimum of knowledge in the first place, and the option to fetch more context if needed via tools
- context compaction tools can help avoiding logs and other artifacts from the feedback loop to bloat the context
- tools
- good tools typically operate on a similar level of granularity, and have a limited number of strictly typed parameters
- idempotency is highly recommended to avoid state management issues
- LLMs are very likely to misuse your loopholes, and that’s why you don’t want to have any loopholes
- v.s. human API users are more capable of reading between the lines, can navigate complex docs and find workarounds
- designing an agent to write some DSL (domain-specific language) code with actions rather than calling tools one by one is a great idea
- feedback loop
- actor-critic approach: where an actor decides on actions and a critic evaluates them
- allow actors to be creative, and critics to be strict
- error recovery
- a chain of bad fixes is not fixable anymore - just discard and try again
- agents try alternatives because the explicitly requested tool call failed with crucial ingredients
- tell them to ask for these ingredients before trying alternatives
- baseline agent + logs + LLM analysis = insights for improvments
- Q&A: Combining Math and LLMs
- Raw math/algos and LLM are both powerful tools in your modeling toolkit
- If you’re missing either tool from your toolkit, then that will severely hamstring your modeling abilities and many problems will remain inaccessible to you.
- Show HN: Companies use AI to take your calls. I built AI to make them for you
- top comment on HN introduced a great use case for LLM-back reception
- local plumbing business
- understand and repeated back the client's request in a slightly different, more professional way for confirmation
- asked a few more smart follow-ups
- the plumber called back and jumped straight into solutions, pricing, and his availability
- prefer to talk to LLM, if the issue can be quickly triaged to the right human who actually understand the situation
- synchronous interaction by bot
- can perform first level troubleshooting, ask for clarification, begin to form a plan and get your buy-in
- v.s. fire-and-forget email form
- incomplete reports, missing information, people who have no idea what they're talking about
- Show HN: Terminal-Bench-RL: Training Long-Horizon Terminal Agents with RL (on HN)
- Custom scaffolding (system prompt and tools) using Qwen3-32B achieved 13.75- The author has built an RL system, but it has not been used for anything due to cost limitations.
- Stop selling “unlimited”, when you mean “until we change our minds”
- the playbook
- launch with generous/unlimited limits
- build user dependency
- add caps targeting "less than 5- frame as "sustainability" or "fairness"
- that "5- power users with deep workflow integration
- early adopters who took platform risks
- team influencers who drive organizational adoption
- $200/month Claude Max subscribers doing serious work
- Tokens are getting more expensive
- Claude Code weekly rate limits
- The Rise of Vibeinsecurity
- a story about how devs lost their jobs over vibe apps, and vibe apps are hacked by vibe hackers immediately after deployment
- this is also an ad for a conference called HackAIcon
- It's rude to show AI output to people
- whenever you propagate AI output, you're at risk of intentionally or unintentionally legitimizing it with your good name, providing it with a fake proof-of-thought
- Agentic Coding Things That Didn’t Work
- #sec #privacy
- Tea app leak worsens with second database exposing user chats
- #idea
- Hyrum's Law
- "With a sufficient number of users of an API, it does not matter what you promise in the contract: all observable behaviors of your system will be depended on by somebody"
- "corollary: even if you explicitly deny a guarantee of a certain behavior in your contract, if you usually deliver that behavior, most of your customers will depend on it."
- Why Try When Others Could Do Better?
- Even the smartest, highest-agency people in the world are severely bandwidth constrained and don’t get around to doing most of the things they have the potential to do.
- Compound that over and over again in some niche and you get hundreds, thousands, millions of miles ahead of the fastest runners who aren’t running down that niche.
- Pragmatism in Programming Proverbs
- many interesting quotes
- Objects should shut up (on HN)
- I'm also deeply annoyed by unnecessary alarms
- Don’t Let Architecture Astronauts Scare You #system
- I'm rebelling against the algorithm
- Maybe writing speed actually is a bottleneck for programming
- #rust #metaprogramming
- Advanced Rust macros with derive-deftly
- rules_derive: deriving using macro_rules