Learning diary › Year 2025 › August, 2025 [2025-08]
Learning diary › Year 2025 › August, 2025 [2025-08]
2025-W35 [2025-W35]
2025-W35 [2025-W35]
🔗 [2025-W35-links]
🔗 [2025-W35-links]
2025-08-25 [2025-08-25]
2025-08-25 [2025-08-25]
- #zig
- zg: Unicode text processing for Zig projects
- Zig; what I think after months of using it
> Focus on debugging your application rather than debugging your programming language knowledge.
> A structure has two sizes: its bit-size, and its byte-size.
> A regular value T coerces to E!T, and an error type E coerces to E!T
> You can iterate on the contents of c with an inline for at comptime to transform functions the way you want.
- Packaging Zig as Python packages #py #pkg
- The Python Package Index Should Get Rid Of Its Training Wheels #py
- Zig Parser #disect
- Retro Rogue-Like: Modular Programming in C
- Looking for examples of clean zig APIs
- vrischmann/zig-sqlite: zig-sqlite is a small wrapper around sqlite's C API, making it easier to use with Zig.
- Mario-SO/ohlcv: OHLCV library in zig
- (266) Code Guild
- #lean
- Lean Game Server
- Doing Lean Dirty: Lean as a Jupyter Notebook Replacement
- https://types.pl/@sandmouth/114813276765190938
- tooling
- Enforce Proper direnv Setup #mise
- #helix
- Helix Plugins
- Are any of these features available in Helix? · helix-editor helix · Discussion #3156
- feat: support using Yazi in Helix directly without Zellij or tmux by sxyazi · Pull Request #2461 · sxyazi/yazi
- try to use yazi inside of helix
- helix-editor/helix#1125: automatic reload when file changes externally
- #mac/wm
- nikitabobko/AeroSpace: AeroSpace is an i3-like tiling window manager for macOS
- AeroSpace
- #tui
- habedi/chilli: A microframework for creating command-line applications in Zig
- Todomvc tui
- helix/helix-tui at master · helix-editor/helix
- #typst
- The Math Mode Problem | Laurenz's Blog
- The (Typst) Math Mode Problem | Laurenz's Blog : r/typst
- #cpp/interop
- robertoraggi/cplusplus: A compiler front end for the C++ language
- shedskin/shedskin: Shed Skin is a restricted-Python-to-C++ compiler. Read the introduction below to learn about the restrictions.
- Are "w/o", "w/", "b/c" common abbreviations in the US? #natlang
- Tommaso Gagliardoni's Homepage #qc
- a reply to *Replication of Quantum Factorisation Records with an 8-bit Home Computer, an Abacus, and a Dog*
- A Diagrammatic Calculus for a Functional Model of Natural Language... #diagram #paper
2025-W34 [2025-W34]
- August 18, 2025
2025-W34 [2025-W34]
- August 18, 2025
🔗 [2025-W34-links]
- August 18, 2025
🔗 [2025-W34-links]
- August 18, 2025
2025-08-24 [2025-08-24]
- August 18, 2025
2025-08-24 [2025-08-24]
- August 18, 2025
- #sovereign
- #kb
- Writing Documentation and Prose in Markdown Using Helix
> :reflow is Helix’s version of hard wrap and makes permanent changes to your formatting. The line length can be set with text-width in your config.
> Type [ to automatically create a pair using automatic pair completion, then type the image link text inside it.
> Press Tab to skip over the closing ] using the smart tab feature.
> Marksman helps you quickly find and jump to specific headings or anchor tags in a document.
> Open the Symbol Picker: Press Space s.
> Vale stands out by enforcing custom style guides for technical writing alongside spell checking, though its grammar checking is less advanced. Its newly introduced language server is still basic.
- Reading and writing notes with yazi and helix #helix
- xwmx/nb: CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script. #tui
- Building Bluesky Comments for My Blog
- Raindrops | API Documentation
- Switching to Obsidian
- from Notion
- Allow me to introduce the two-sentence journal #design
> A daily journal entry could be as simple as "[description of occurrence] + [its upshot]," adapted as necessary.
> an interesting thing happens when you present a reader with only two sentences: Somehow, a narrative logic appears.
- The append-and-review note (on HN)
- Heynote
- Observable Notebooks 2.0 Technology Preview | Observable #nb
- Apache ECharts 6
- ECharts is my go-to libary for visualization of data for better interpretability
- Ask HN: What Pocket alternatives did you move to?
- Obsidian Web Clipper
- Home - Readeck
- Ghost 6.0
- #kb/dataview
- Codeblock Reference - Dataview
- blacksmithgu/datacore: Work-in-progress successor to Dataview with a focus on UX and speed.
- dsebastien/obsidian-dataview-serializer: Obsidian plugin that gives you the power of Dataview, but generates Markdown, making it compatible with Obsidian Publish, and making the links appear on the Graph.
- Enveloppe
- "Burning out" dataviews · Issue #42 · blacksmithgu/obsidian-dataview
- Support for Dataview JS Snippets · Issue #102 · jackyzha0/quartz
- 7sedam7/krafna: Obsidion dataview plugin-like tool for command line.
- #selfhost/data
- embedpdf/embed-pdf-viewer: A PDF viewer that seamlessly integrates with any JavaScript project
- What Exif Data Reveals About Your Site #privacy
- houqp/kiorg: A hacker's file manager with VIM inspired keybind
- Watchman - A file watching service | Watchman
- pascalkuthe/filesentry: A reliable and performant cached directory tree in rust that can notify changes without dropping events
- #selfhost/data #sec
- I'm Archiving Picocrypt (on HN)
- hashcat - advanced password recovery
- Brute-Force VeraCrypt Encryption – CodeOnBy
- trufflesecurity/trufflehog: Find, verify, and analyze leaked credentials
- #forge
- GitHero
- GitHub is no longer independent at Microsoft after CEO resignation | Hacker News
- On HN
- Give Up GitHub - Software Freedom Conservancy
- #ci
- bahdotsh/wrkflw
- On lobste.rs
- from https://this-week-in-rust.org/blog/2025/08/13/this-week-in-rust-612/
- The best developer experience in CI/CD - RWX
- Reverse Engineering the GHA Cache to Improve Performance (on HN)
- Reverse engineering GitHub Actions cache to make it fast | Blacksmith
- Using Radicle CI for Development (on HN) (on lobste.rs)
- #openweb
- Mac Open Web, by Brian Warren
- Reeder
- Kill the Newsletter!
- pocketbase/pocketbase: Open Source realtime backend in 1 file #stack
- #browser
- Ok... even I think that's a bit of a stretch... : r/diabrowser
- Text browsers · TecharoHQ anubis · Discussion #418
- Arc still going good, btw windows! : r/ArcBrowser
- Deta Surf
- Orion is the first WebKit browser to feature an Arc-like navigation logic for vertical tabs : r/ArcBrowser
- How are Dia and Arc team the same ? : r/diabrowser
- #oss
- "This is a Low Maintenance Project"
- Open Source is Not About You
- My FOSS Story - Andrew Gallant's Blog
- Geomys, a blueprint for a sustainable open source maintenance firm (2024)
- In the long run, GPL code becomes irrelevant (2015) (on HN)
- NIH is cheaper than the wrong dependency (on HN) (on lobste.rs)
- NPM 'accidentally' removes Stylus package, breaks builds and pipelines
- Simon Willison | Introducing OSS Rebuild: Open Source, Rebuilt to Last #sec
> the Google Security team have announced OSS Rebuild, their project to provide build attestations for open source packages released through the NPM, PyPI and Crates ecosystom
- #agent/idea
- LLM Daydreaming
- LLMs aren’t world models
- openai burns the boats #biz
- Why Does AI Feel So Different? - nilenso blog
> - Thinking by questioning (Socrates)
> - Thinking by logic (Aristotle)
> - Thinking by observing: Empiricism / Scientific Method (Bacon)
> - Thinking by heuristics and biases: System 1 and 2 (Kahneman)
> - Thinking by… augmentation? (AI)
2025-08-22 [2025-08-22]
- August 18, 2025
2025-08-22 [2025-08-22]
- August 18, 2025
- #rust
- rosefromthedead/effing-mad: Algebraic effects for Rust #pl
- Memory Safety is a Red Herring #go #cpp
- Lessons learned from implementing SIMD-accelerated algorithms (ChaCha20 / ChaCha12) in pure Rust #asm
- async-recursion #async
- rust-lang/rust-bindgen #cpp/interop
- krabby: a highly optimized Rust compiler
- https://sr.ht/~bal-e/krabby/
- Krabby: a WIP high-performance Rust compiler
- from https://this-week-in-rust.org/blog/2025/08/13/this-week-in-rust-612/
- Building an Asynchronous FUSE Filesystem in Rust
- Lessons learned from implementing SIMD-accelerated algorithms (ChaCha20 / ChaCha12) in pure Rust #asm
- bliki: Yagni #idea
- from parasyte/task-webapp: Stop Web App Bloat! #web
- #gleam
- Gleam, coming from Erlang
- Using use in Gleam
- Why Elixir? Common misconceptions (on HN) #elixir
- Who Will Maintain Vim? A Demo of Git Who #tui
- #py #pkg #biz
- pyx: a Python-native package registry, now in Beta
- Simon Willison | pyx: a Python-native package registry, now in Beta
> What I want to do is build software that vertically integrates with our open source tools, and sell that software to companies that are already using Ruff, uv, etc. Alternatives to things that companies already pay for today.
> stays true to Charlie's promises to carefully design the incentive structure to avoid corrupting the core open source project that the Python community is coming to depend on
- #design
- How to make absolutely any app look like a macOS app—Martian Chronicles, Evil Martians’ team blog
- font-size-adjust Is Useful
- Why Racket? Why Lisp? | Butterick’s Practical Typography
- Choosing typeface
- I'm Worried It Might Get Bad #idea
- Blog | Fabián's Journal
- #struct #crdt
- Welcome to Automerge | Automerge CRDT
- CRDT: Text Buffer - Made by Evan #struct
- Automerge 3.0
- Ethersync: Peer-to-peer collaborative editing of local text files
- A CRDT-based Messenger in 12 Lines of Bash Using a Synced Folder
- how about an editor? edits can't be dealt with in the same manner
2025-W32 [2025-W32]
2025-W32 [2025-W32]
🔗 [2025-W32-links]
🔗 [2025-W32-links]
2025-08-06 [2025-08-06]
2025-08-06 [2025-08-06]
- #idea
- Digital hygiene: Emails
- Digital hygiene: Notifications
- Ollama Turbo (on HN)
- Ollama's cloud is a new way to run open models using datacenter-grade hardware.
- ggml.ai
- soupault #ocaml
> Soupault is not like other static site generators — it works on the HTML element tree level. Most SSGs treat HTML as an opaque format that can be generated with templates but cannot be read or manipulated.
>
> Soupault treats HTML as a first-class format and that enables many use cases and features that are impossible for other SSGs.
- Plain Text. With Lines (on HN)
- JSON Canvas — An open file format for infinite canvas data.
- Markdeep Documentation and Feature Demo
- Quickshell, building blocks for your desktop
- a toolkit for building status bars, widgets, lockscreens, and other desktop components using QtQuick
- can be used alongside a wayland compositor or a window manager to build a complete desktop environment
- Simon Willison | Claude Opus 4.1
- Simon Willison | No, AI is not Making Engineers 10x as Productive
- Simon Willison | OpenAI's new open weight (Apache 2) models are good (on HN)
- Software Rot (on HN)
- Spotting base64 encoded JSON, certificates, and private keys (on HN) (on lobste.rs)
- The Amaranth hardware description language (on HN)
- The how and why of GitHub to Codeberg
- Why hx-boost is actually the most important feature of htmx
- Write like nobody's watching
- You can now uv run a GitHub gist (on HN)
- Zig Error Patterns (on HN) (on lobste.rs)
- Zigzag Number Spiral
- cloctui
- cosmopolitan: build-once run-anywhere c library
- exosphere
- introducing spindle
- johncarlosbaez's post on mathstodon.xyz
- the horror of too many readers
2025-08-05 [2025-08-05]
2025-08-05 [2025-08-05]
- Simon Willison | Cloudflare Crawler Hints triggers crawls from Yandex and Bingbot - nothing to do with ChatGPT Agent - it's actually Crawler Hints by Cloudflare - Content-Aware Spaced Repetition - FSRS is both Content-agnostic as well as Deck-agnostic, it might underfit a lot (from HN) - Diagrams For Yourself - the author doesn't want to use something off-the-shelf like Mermaid or TikZ, and want it to look bespoke, something homemade with a slightly distinctive style - #qa - Getting Started with Randomised Testing - Property-Based Testing - describe a range of values - sample from the range - checks if any trigger your assertions - Code Factor - e.g. Code Factor | habedi/chilli - Overview - from habedi/chilli: A microframework for creating command-line applications in Zig - Expressive test assertions without testify/assert #go - New comment by backprop1989 in "Tell HN: Anthropic expires paid credits after a year" - Accounting rules: If the credits last indefinitely, any unused credits cannot be counted as revenue. - Open Sourcing Shaper: Minimal Data Platform for Embedded Analytics - built on top of DuckDB and NATS.io – Cloud Native, Open Source, High-performance Messaging - Qwen-Image: Crafting with Native Text Rendering - 5 percent of the training data was data "synthesized through controlled text rendering techniques", ranging from simple text through text on an image background up to much more complex layout examples - #formal - What I Wish I Knew When Learning Picat - My Picat page - Practical Static Analysis for Privacy Bugs - Binding Application in Idris
2025-08-04 [2025-08-04]
2025-08-04 [2025-08-04]
- #rust
- Perhaps Rust needs "defer"
- an example that using defer idiom rarely gets past the borrow checker
- showcases well how working in Rust with lots of FFI interop feels like
- `miri` used in iterations
- from comments of A deep dive into Rust and C memory interoperability
- The Generativity Pattern in Rust
- DrawAFish.com Postmortem
- used childhood 6-digit password when creating the website
- set up Google Auth, then used it ever after
- forgot that the password remained
- which was previously leaked
- God created men; Sam Altman made them equal
- hyperstition: a cultural self-fulfilling prophecy
- pessimism is an anti-myth that makes Mutual Destruction inevitable. Pessimism is a luxury we can no longer afford.
- the future is unavoidable, but we are always writing its prologue.
- techno-optimistism is now a necessity
- Malcolm Gladwell's cardinal categories of Law & Order provide a compass for tech-induced power redistribution:
- Western
- there’s no system
- AI evades law
- movies
- Ex Machina
- 2001: A Space Odyssey
- Transcendence
- Her
- Blade Runner
- Neuromancer
- Ghost in the Shell
- Northern
- there’s a system and it’s fantastic
- AI enforces law
- movies
- Person of Interest
- RoboCop
- Iron Man
- Knight Rider
- The Machine
- Southern
- the system has to be reformed from the outside
- outsiders against AI
- movies
- The Matrix trilogy
- Eagle Eye
- Alita: Battle Angel
- Free Guy
- The Terminator
- Hackers
- Johnny Mnemonic
- eXistenZ
- Eastern
- the system is reformed from within
- insiders against AI
- movies
- Short Circuit
- Minority Report
- Sneakers
- I, Robot
- Westworld
- War Games
- A.I. Artificial Intelligence
- Wall-E
- Governance in GNOME
- A “bottom up” approach, over-reliance on personal projects and taste, to be sublimated into a shared vision
- options for maintainers
- make yourself indispensable, so that everything ends up passing through you, and everyone has to defer to your taste, opinion, or edict
- replicate your toughts, taste, and opinions into the minds of the people using the API you design
- reimplement the entirety, a reflection of your taste, commitment, and ethos
- governance
- a structure for people to know what to expect and how to navigate the decision making process inside the project
- responsibility is not something to hoard: it’s something to distribute
- random GitLab issues should not be the only place where people can be informed that some decision was taken
- individuals should be able to contribute to a decision without necessarily becoming responsible for a whole project
- a single person responsible for multiple modules should not be able to design and commit on their own
- a lightweight but well-defined process
- discussion: present to the stakeholders, for iteration and consensus
- documentation: for reference to the decision-making process and resolution during implementation and on-going developments
- reminds me of ADR
- HTMX is hard so let's get it right
- many alternatives are suggested on HN
- Maybe the Fastest Disk Usage Program on macOS
- healeycodes/dumac: 🗃️ Very fast alternative to 'du -sh' for macOS that uses getattrlistbulk.
- in #rust, with tokio::task
- macOS has a syscall called getattrlistbulk(2) which allows you to read multiple directory entries and their metadata in one go. It's like a combined "readdir + stat" that returns a batch of file names along with requested attributes like file type, size, etc.
- inspired by the Linux equivalent 201984/dut: A disk usage calculator for Linux - Codeberg.org
- Modern Node.js Patterns
- most of them are news to me, it's glad to learn that nodejs has aquired so many desirable features
- wonder if they apply to Bun as well
- #agent/idea
- Does the Bitter Lesson Have Limits? (on HN)
- The Bitter Lesson
- trying to build knowledge into agents plateaus and even inhibits further progress in the long run
- breakthrough progress eventually arrives by an opposing approach based on scaling computation by search and learning
- four major blows to the human ego
- The Copernican Revolution: we weren’t the center of the universe.
- Darwinian thought: we weren’t separate from animals.
- Freud’s ideas of the unconscious: we weren’t in full control of our selves.
- Cyborgs, robots, and automatons: non-humans could do the work of humans.
- Garbage Can Model
- organizations as chaotic “garbage cans” where problems, solutions, and decision-makers are dumped in together
- decisions often happen when these elements collide randomly, rather than through a fully rational process
- represents a world where unwritten rules, bespoke knowledge, and complex and undocumented processes are critical
- issues of the bitter lesson
- dependent on high-quality data
- adding compute is often not practical nor optimal
- Read your code (on HN)
- The Future Of Software Is Small
- Typed languages are better suited for vibecoding (on HN)
- Rust, Python, and TypeScript: the new trifecta
- Bag of words, have mercy on us
- Model Collapse and the Need for Human-Generated Training Data (on HN)
2025-W31 [2025-W31]
- July 28, 2025
2025-W31 [2025-W31]
- July 28, 2025
🔗 [2025-W31-links]
- July 28, 2025
🔗 [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