#git #lean #neovim #os #sec #tla #zig
- Tools built on tree-sitter's concrete syntax trees
    - found ssr.nvim, Structural search and replace for Neovim, seems more convenient than `ast-grep`
    - should take a look at
        - GritQL
        - srgn
    - found mergiraf, a syntax-aware git merge driver
    - reviewed Quint, a modern and executable specification language, as "an updated take on TLA+"
- My experience so far with Zig – a Go dev’s journey
    - found backstage: an experimental implementation of an actor framework: a great example Zig project using libxev
    - found Zignite: Cross-Platform Graphics Engine
- tao's post on mathstodon.xyz
    - Tao launched a "Lean companion" to his real analysis undergraduate textbook "Analysis I" at teorth/analysis
    - blog post: A Lean companion to “Analysis I”
- Half Spectre, Full Exploit: Hardening Rowhammer Attacks with Half-Spectre Gadgets
    - ProbeHammer, the first crash-free end-to-end Rowhammer exploit that does not rely on templating or massaging
    - monitor a controlled victim’s physical memory activity at the cache line granularity
- found prose: Serve your blog using SSH
- learn 2 new formulas for Rubik's cube, see Test TwistySim and Test Twizzle

#agent #dspy #lean #os #rust
- found C++ to Rust Phrasebook
- Simpler backoff
- Consider Knitting
- Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
    - found Zipperposition
- found Programming Beyond Practices
- investigate DSPy
    - found Agenspy (Agentic DSPy)
    - found attachments
    - found Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering (code)
        - S*: Test Time Scaling for Code Generation
        - Advances and Challenges in Foundation Agents: From Brain-Inspired Intelligence to Evolutionary, Collaborative, and Safe Systems

#build #formal #rust
- found Grog: the mono-repo build tool for the grug-brained dev
    - then the configuration language Pkl: Configuration that is Programmable, Scalable, and Safe
    - The Grug Brained Developer (2022)
- Rust doesn't actually follow its Golden Rule (when it comes to async functions)
- Parse, don’t validate
    - Names are not type safety (2020)
- When was the last time you broke production and how?

- Why Your AI Coding Assistant Keeps Doing It Wrong, and How To Fix It
- workflows for ai coding
    - interesting take on human attention span
- Compiling a Neural Net to C for a 1,744× speedup

#agent #codegen #gpu #os #proof #render #web
- WebGPU Fluid Simulations: High Performance & Real-Time Rendering
- learn about uzi
    - from LLM Codegen go Brrr – Parallelization with Git Worktrees and Tmux
- A thought on JavaScript "proof of work" anti-scraper systems
- What a Difference a Faster Hash Makes

- found Effekt Language: Home
- The Three Kinds of Money
    - summarized with doubao, then inspired me to work on mermaid and markmap integration
- The two types of open source

#bevy #exif #formal #id3 #news #os #physics #racket #rust #software
- found F2, a bulk renaming tool that supports metadata such as EXIF, ID3 and more
- Idiomatic Rust
    - Don't Worry About Lifetimes
    - Don't Unwrap Options: There Are Better Ways
    - Thinking in Expressions
- found DumPy: NumPy except it's OK if you're dum
    - found einx
        - einx notation is inspired by einops, but introduces several novel concepts such as `[]`-bracket notation and full composability that allow using it as a universal language for tensor operations
- Against Curry-Howard Mysticism
- found Reinforcement Learning: An Overview
- found Modeling Nonlinear Dynamics from Equations and Data — with Applications to Solids, Fluids, and Controls
- found The Ultimate Guide to Fine-Tuning LLMs from Basics to Breakthroughs: An Exhaustive Review of Technologies, Research, Best Practices, Applied Research Challenges and Opportunities
- #game
    - found Pong Wars
        - maybe it's fun to rewrite it in Zig, or with Bevy, possibly in 3D
    - Car Physics for Games
    - Games That Love To Take Things Away From You
    - hammurabi: A Rust recreation of the classic 1968 BASIC game
- I made a font
- Someone rewrote my Zig CLI in Rust? Let's compare!
- found Transformer Copilot: Learning from The Mistake Log in LLM Fine-tuning
    - I've long wished for this kind of meaningful learning, instead of just fine-tuning weights according to loss
- thoughts on software
    - Design Pressure: The Invisible Hand That Shapes Your Code
    - Systematic design of multi-join GROUP BY queries
    - Reinvent the Wheel
    - How to Guarantee Your Red Team Will Fail
    - On File Formats
    - What Works (and Doesn't) Selling Formal Methods