Learning diary › Year 2025 › August, 2025 [2025-08]
Learning diary › Year 2025 › August, 2025 [2025-08]
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-08-24 [2025-08-24]
2025-08-24 [2025-08-24]
- #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 - #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 - 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]
2025-08-22 [2025-08-22]
- #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-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
2025-08-03 [2025-08-03]
2025-08-03 [2025-08-03]
- 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]
2025-08-02 [2025-08-02]
- #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]
2025-08-01 [2025-08-01]
- #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 - 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." - 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