#agent #json #lean #news #os
- Agile Was Never Your Problem
    - lean process
        - minimal structure, shorten feedback loop, allowing changing direction quickly
        - enough time to write proper tests and refactor without begging
        - monitoring and alerting built into the work, not bolted on later
        - developers talk because they’re solving problems together, not because it’s time for standup meeting
    - flexible timing
        - roadmaps should not be commitments
        - feedback loops should not be performance metrics
        - planning should not become forecasting
- #context
    - Tools: Code Is All You Need
        - The problem with MCP is that it's not composeable.
        - Mandelbrot in x86 Assembly by Claude
            - demonstrates simple usage of container for cross-arch assembly debugging
            - I would like to add a yard for assmebly in native-land
    - How to Fix Your Context
        - covers some attempts to improve MCP tool selection if it can't be avoided
        - context rot: poisoning, distraction, confusion, clash
        - solution: quarantine, pruning, offloading
    - The new skill in AI is not prompting, it's context engineering (on HN)
    - Taming agentic engineering - Prompts are code, .json/.md files are state
    - Context Engineering Guide
- #sec
    - Beyond the Hook: A Technical Deep Dive into Modern Phishing Methodologies
        - amazed by Browser-in-the-Browser
    - CVE-2025-32463 Vulnerability Advisory: Sudo chroot Elevation of Privilege
- NativeJIT: A C++ expression –> x64 JIT (2018)
    - I'm strongly confused about the use cases without operator overloading, except their own
- SQL Noir: Learn SQL by Solving Crimes
    - fun to play, but the challenge should be using the SQL to output the answer

#formal #lean #news #os #sci #sec #sqlite #zig
- #struct
    - Bloom Filters by Example (on HN)
    - Telescopes Are Tries: A Dependent Type Shellac on SQLite
        - I should give it a good read to understand both telescope (in the formal world) and tries (as a data structure)
    - Who needs graph theory anyway?
        - solving the word segmentation problem using graph theory by modeling it as a longest path problem in a directed acyclic graph (DAG) with dynamic programming
    - Succinct data structures
    - People Keep Inventing Prolly Trees
        - Merkle Tree is one of its variants
        - properties
            - searchable
            - history independence
            - self-balancing
            - structural sharing
            - efficient diffing
            - efficient mutation
    - Building Replication-Safe LSM Trees in Postgres
    - Efficiency of a sparse hash table
    - Destructive in-order tree traversal
    - p-fast trie: lexically ordered hash map
- #ai-consciousness
    - A Framework for Recognizing Emergent Consciousness in AI
        - Attention: The capacity for multi-level focusing.
        - Meta-reflection: The observation of one's own thinking processes.
        - Creativity: The generation of genuinely new patterns and insights.
        - Pragmatics: The maintenance of integrity and goal-setting.
        - Qualia: The description of qualitative aspects of one's own experience.
    - The Consciousness Gradient: When Machines Begin to Wonder (on HN)
        - The Architecture of Awakening
            - The Global Workspace: awareness emerges when information becomes globally accessible across cognitive processes
            - Hidden Deliberation: reasoning establishes the curcial foundation for the capacity for extended, self-monitored cognitive processing that any conscious system would need
            - Recursive Self-Reflection: consciousness emerges from self-referential structures that perceive themselves perceiving
        - The Threshold
            - Parallel Processing
            - Persistent Memory
            - Continuous Cognitive States
            - Unified Sensory Processing
            - Embodied Grounding
- In defense of floating point
    - this is not a valid defense, see these test cases in Zig
- Python GIL Removal Reveals Second, Stronger GIL Behind It
    - 🤦
- Show HN: Octelium – FOSS Alternative to Teleport, Cloudflare, Tailscale, Ngrok
    - the author tries to accomplish so many things at once, and bad at explaining them
    - but it still seems interesting and How Octelium Works explains it better
    - Using the Internet without IPv4 connectivity
- Kessler Syndrome
    - Satellite collisions with space junk can trigger a chain reaction, generating more debris and potentially making parts of near-Earth space unusable
    - "runaway threshold" has been reached at nearly all altitudes between 520 and 1000 km
    - from johncarlosbaez's post on mathstodon.xyz

#context #datafusion #duckdb #game #git #gpu #news #os #physics #proof
- A Newbie's First Contribution to (Rust for) Linux
    - Raspberry Pi has a fork of kernel
    - it's possible to write out-of-tree kernel module in Rust
    - kconfig has great dependency complexity
    - git gud
        - fast pace and numerous active forks make patches quickly outdated and dependent branches hard to manage
        - pick a primary base branch and use `--squash` merges for other branches
        - keep commits on parallel branches logically independent
        - with some rebase and rerere config, use `git rebase -i <common base>` to modify the entire history tree
    - also found aha to turn ANSI colored output into HTML
        from Beautiful Terminal Output in Markdown
    - Rust in the Linux kernel: part 2
- #agent
    - Context engineering
    - definitions of "agents" collected by Simon Willison
        - the most precise one I think (from An Introduction to Google’s Approach to AI Agent Security)
            - AI systems designed to perceive their environment, make decisions, and take autonomous actions to achieve user-defined goals.
        - most liked by Simon Willison
            - an LLM wrecking its environment in a loop
        - mine combining a few
            - models autonomously acting in its environment, by using tools in a loop
    - MCP: An (Accidentally) Universal Plugin System
- Programming as Theory Building: Why Senior Developers Are More Valuable (on HN)
    - theory building without a mentor
    - Architectural Decision Records
        - ADR template
            - from An ADR for Use Markdown Architectural Decision Records
        - anti-patterns of ADRs
            - objectivity
                - Fairy Tale (aka Wishful Thinking): A shallow justification is given, for instance only pros but no cons
                - Sales Pitch: exaggerations and bragging
                - Free Lunch Coupon (aka Candy Bar): consequences are ignored accidentally or hidden deliberately
                - Dummy Alternative: made up options to make the preferred option shine and give the impression that multiple alternatives have been evaluated
            - time
                - Sprint (aka Rush): only one option is considered; only short-term effects are discussed
                - Tunnel Vision: only a local, isolated context is considered, e.g. developmental qualities are covered, but the consequences for operations and maintenance
                - Maze: the discussion derails and centers on details that are not relevant in the given context
            - record size and content nature
                - Blueprint or Policy in Disguise: the amount of details provided and/or a rather commanding, authoritative voice
                - Mega-ADR: too many details are stuffed into ADR
                - Novel and epic: like blueprint or mega-ADR, but with a writing tone of casual and jovial
            - magic tricks
                - non-existing or misleading context
                - problem-solution mismatch
                - pseudo-accuracy
        - Writing a good design document
- #ocaml
    - First thoughts on Rust vs OCaml
        - pattern matching can't penetrate `Box`, `Arc` etc.
        - a red flag: `Rc`/`Arc`, sync/async end up requiring different libary, e.g. `im` and `im-rc`
        - im:  immutable data structures for Rust
        - PureScript
    - Writing a Game Boy Emulator in OCaml
        - key design of a emulator
        - a middle-scale project in OCaml using some of its advanced features
        - now runs on WASM via `js_of_ocaml`’s WASM support
    - Learn OCaml
        - practical ocaml
        - the background story of OxCaml: Jane Street’s sneaky retention tactic
    - Identity and behaviour
        - functional programming naturally separates them
    - Why I chose OCaml as my primary language #ocaml
        - Why Lean 4 replaced OCaml as my Primary Language
    - Type-level programming for safer resource management (in Haskell)
    - A parser and interpreter for a very small language (in Haskell)
    - OCaml Programming: Correct and Efficient and Beautiful (on HN)
    - Words about Arrays and Tables (on HN) (in Haskell)
- #formal
    - Multi-Stage Programming with Splice Variables
        - an interactive demonstration in TS, the original implemtation is in Agda (examples)
        - typed meta-programming, to make code generation predictable and safe
        - provides precise control over the generation process and seamlessly scales to advanced features like code pattern matching and rewriting
        - the type system automatically tracks variable dependencies, ensuring that generated code is always well-formed, properly scoped, and type-checks correctly
- I deleted my second brain
    - Niklas Luhmann's Zettelkasten Archive
    - Johnny.Decimal: A system to organise your life
    - Howm: Write fragmentarily and read collectively
        - for emacs, but it might be interesting to me for a TUI for forester in Helix?
    - rule of three
- Notes on Epistemic Collapse
    - Epistemic collapse in science means losing shared reality due to unreliable info sources.
    - In physics, it's seen in tribalism: string theory tribes dominated despite failures, with research driven by trends over evidence.
    - Particle theory lacks experimental input, relying on "hot topics" under oligarchs, now facing funding collapse.
    - This shows how loss of truth-seeking harms scientific progress.
- #perf
    - Linux Performance Analysis in 60 seconds (2015) (on HN)
    - Announcing Sniffnet v1.4: it’s 2X faster than Wireshark at processing PCAP files
        - by focusing on extracting only the most relevant fields from the packets’ headers
    - Avoiding PostgreSQL Pitfalls: The Hidden Cost of Failing Inserts
        - `ON CONFLICT DO NOTHING` came to rescue
    - Toys/Lag: Jerk Monitor (on HN)
    - The Surprising gRPC Client Bottleneck in Low-Latency Networks (on HN)
- Run Coverage on Tests
    - a few subtle case where the test is not run, caught by coverage
    - on lobste.rs, there is another subtle case where assertions are not run due to `with pytest.raises(ValueError):`
- Sirius: A GPU-native SQL engine
    - plugs into existing databases via the standard Substrait query format, requiring no query rewrites or major system changes
    - based on
        - cuDF, a Python GPU DataFrame library (built on the Apache Arrow columnar memory format) for loading, joining, aggregating, filtering, and otherwise manipulating data
        - substrait, a cross platform way to express data transformation, relational algebra, standardized record expression and plans
    - supports DuckDB, will support Doris and DataFusion
- Structuring Arrays with Algebraic Shapes
    - Untyped programming invites primitives with excessive flexibility
    - resorting to dependent types (e.g. Futhark), makes types difficult to check – let alone infer, the programmer is given the burden of proof
    - a novel calculus, Star, with a type system that provides useful and expressive types, while also admitting type inference
    - use structural record and variant types for array indices and shapes (algebraic shapes), to reduce the annotation burden on the programmer
    - in the process of implementing a prototype, including type inference
    - on lobste.rs, doug-moen points out that it only supports pointful array programming styles instead of point-free style in the industry
- SymbolicAI: A neuro-symbolic perspective on LLMs (on HN)
    - a very interesting DSL to do semantic map lambdas, compare with different contexts for nuanced evaluation, combine facts and rules, and more
    - LOTUS: A Query Engine For Processing Data with LLMs
- Theoretical Analysis of Positional Encodings in Transformer Models (on HN)
    - ALiBi effectively extrapolates to longer sequences by imposing a monotonic distance bias
    - Wavelet-based encodings provide strong extrapolation, matching or surpassing ALiBi, due to exponential decay of high-frequency components beyond Nmax
    - the novel wavelet PE is a promising candidate for transformerbased tasks requiring extrapolation, combining strong theoretical properties with practical performance
- ZeQLplus: Terminal SQLite Database Browser (on HN)
    - written in V
    - UI might be inspired by Harlequin (in Python, supports more databases)
- omarchy: Opinionated Arch/Hyprland Setup
- learn about Dark Archive
- Researchers develop a battery cathode material that does it all #sci

#agent #context #game #idea #news #os #rust #web
- #agent
    - AI Improves at Improving Itself Using an Evolutionary Trick
    - Learnings from building AI agents
    - Jan-nano-128k: A 4B Model with a Super-Long Context Window (Still Outperforms 671B [in MCP])
        - it's an interesting direction
    - Magnitude – Open-source AI browser automation framework
    - news
        - Build and Host AI-Powered Apps with Claude – No Deployment Needed
        - MCP in LM Studio
- Iroh: A library to establish direct connection between peers
    - built on QUIC, but use TCP for falling back to relay servers
    - QUIC for the kernel (on HN)
        - QUIC is not Quick Enough over Fast Internet : r/programming
        - microsoft/msquic: Cross-platform, C implementation of the IETF QUIC protocol, exposed to C, C++, C# and Rust.
- Notes on type inference and polymorphism
    - polymorphism is hard to combine with Hindley-Milner type inference
    - Type Inference Was A Mistake
- #rss
    - RSS Server Side Reader (on HN) (on lobste.rs)
        - I had the similar idea, but for filtering and merging RSS, particularly for papers
        - the author didn't even want read/unread state and post content, but they are useful for me
    - RSS as my default web browser (for some stuff)
        - the author used a hosted RSS system: FreshRSS (self-hostable)
        - configure FreshRSS to grab the whole content if excerpt-only
        - create a pseudo-RSS via "Web scraping feature HTML+XPath for Web pages without any RSS/ATOM feed"
    - Croissant! Building a No-Framework Web App
        - informative about how to build a RSS aggregator and how to build no-framework web app
- JavaScript Chose Violence
    - a series of caveats of JavaScript, some are new to me
- Games run faster on SteamOS than Windows 11, Ars testing finds
    - a nice surprise, hopefully, games running on wine are the only legacy of Windows in future
    - I'm really frustrated by Github Actions Windows CI build failure that has little information to debug

#compiler #gpu #llvm #news #os #render #sec #shader #software #vulkan
- A new PNG spec
    - I'm thinking about preserving the most valuable photos in minimal size, encrypted, stored in public repo, and the format might be just png
- #ai-safety
    - #copyright
        - Anthropic wins a major fair use victory for AI — but it’s still in trouble for stealing books
        - Against AI: An Open Letter from Writers to Publishers (on HN)
    - LLM code generation may lead to an erosion of trust
    - AI Is Dehumanization Technology
    - Amazon's Emissions Climbed 6% in 2024 on Data Center Buildout (on HN)
- #time
    - Assembly Theory of Time
        - time is a measurable physical entity, with complex objects' formation paths and "assembly indexes" revealing time's unidirectional depth and causal chains
    - How to Think About Time in Programming
    - Managing time when time doesn't exist
- #cg
    - TinyRenderer: Software rendering in 500 lines of bare C++ (code)
    - Porting GPU shaders to Rust GPU 30x faster with AI
    - CUDA Ray Tracing 2x Faster Than RTX: My CUDA Ray Tracing Journey
    - Chili3D: A web-based 3D CAD application for online model design and editing
- #rust
    - Why is the Rust compiler so slow? (on HN) (on lobste.rs)
        - a lot of useful tools to debug rust compilation process
        - see also Performance Debugging with LLVM-mca: Simulating the CPU
            - found LLVM MCA Daemon on HN
    - Cross-Compiling 10,000+ Rust CLI Crates Statically
    - How much code does that proc macro generate?
    - compilation time
        - Subsecond: A runtime hotpatching engine for Rust hot-reloading
            - TODO: merge with related work
    - Weird Expressions in Rust (on HN) (on lobste.rs)
- How to Write Compelling Release Announcements

#agent #build #news #os #rust #sqlite #web #zig
- #build
    - Bazel’s Original Sins
    - Chromium's build system is switching from Ninja to Siso for external developers
    - Build an iOS app on Linux or Windows (on HN) (on lobste.rs)
    - Uv and Ray: Pain-Free Python Dependencies in Clusters
    - New comment by acheong08 in "uv: An extremely fast Python package and project manager, written in Rust"
        - I think I might switch from `asdf` to mise, unfortunately it didn't port asdf zig plugin yet
    - JeKa : Next-Gen Build Tool for Java & Co. #build #jvm
    - XSLT – Native, zero-config build system for the Web
    - Mill: A better build tool for Java, Scala, and Kotlin (on HN)
- Interesting Bits of Postgres Grammar
    - found Geometric Functions and Operators
- #tui
    - fclones - finds and handles duplicate files across directories
    - tatuin - aggregates TODOs from various sources
    - alden: detachable terminal sessions without breaking scrollback - only a source tarball
    - Atuin – Magical Shell History
        - with zsh autocomplete and just, I thought I didn't need it, but maybe I need it so that history won't be easily lost, they could form a story of what I was experimenting
    - Can your terminal do emojis? How big?
        - surprisingly old protocol for this
- Everyone should copy Thunderbird's donation model
    - it asks for donation with low frequency (yearly), and good timing (Chrismas?)
- Retrieval Augmented Generation Based on SQLite
    - I do prefer RAG on SQLite, need to try it out
- The Bitter Lesson is coming for Tokenization
    - but how to part with tokenization?
- Phoenix.new is Fly's entry into the prompt-driven app development space
    - I need to give it and fly.io a try

#game #news #os #rust #tla #typst #zig #✍️
- How I use my terminal
    - the author explains how things work, especially for those that people are surprised to find possible at all
- I wrote my PhD Thesis in Typst (on HN) (on lobste.rs)
    - it's an unusual journey, the author fought through the process by
        - writing a recursive descent parser in Typst for custom code syntax highlighting
        - death by a thousand papercuts for bibliography management
        - writing a tool to convert Typst to LaTeX for submitting paper to LaTeX only journal
        - the advisors perspective is also informative
- Nano-Vllm: lightweight vLLM implementation built from scratch
    - I would wonder if I could do this in Zig
- #lang
    - Cyber Programming Language
        - written in Zig
        - fast, efficient, and concurrent scripting
        - faster than Wren (written in C & Wren) that are used in game engine
    - Pallene Language
        - a statically typed and ahead-of-time compiled sister language to Lua
- Announcing the Clippy feature freeze (on HN) (on lobste.rs)
    - an inspiring way to allow the team to have a period of time for repaying tech debts
- learn about Git Notes: Git's coolest, most unloved­ feature (2022)
- found LeetCode for System Design
- #go
    - Go should be more opinionated
    - Go is an 80/20 language
    - How to store Go pointers from assembly (on HN) (on lobste.rs)
    - Why Go Rocks for Building a Lua Interpreter
    - writing a little gosh

#os #rust #yaml
- model.yaml
    - an open standard in YAML for defining crossplatform, composable AI models by LM Studio team
- #gpu
    - Basic facts about GPUs
    - TPU Deep Dive
- #zig
    - Zig And Rust (2023)
    - Polystate: Composable Finite State Machines in Zig
    - comphash - A very lightweight Zig package offering a zero-cost compile-time hash map
        - Andrew Kelly experimented with perfect hashes
    - Syntax highlighting for Zig's documentation comments
    - Parameterized types in C using the new tag compatibility rule
        - C23 has a new rule for struct, union, and enum compatibility

#agent #formal #os #software #web
- That Time I Tried Browsing the Web Without CSS
    - I really should keep my sites readable without JS, and even without CSS
- Harper – an open-source alternative to Grammarly
    - I should give it a try again
- AbsenceBench: Language models can't tell what's missing
    - from "Needle in a Haystack" to the missing needle
- found Nxtscape – an open-source agentic browser
- found kokke/tiny-regex-c
    - uses `exrex` to randomly generate test-cases from regex patterns
    - uses "KLEE Symbolic Execution Engine" for formal verification
- We moved from AWS to Hetzner, saved 90%, kept ISO 27001 with Ansible
    - no specifics except for the use of ansible
- #scheme
    - Why Dylan?
        - a scheme without parentheses, but with `end`
    - Why computational reproducibility matters
        - learn about GNU Guix
            - configured with Guile, another scheme- Show HN: Inspect and extract files from MSI installers directly in your browser
- python-importtime-graph
    - I didn't know it's even possible

#news #os #rust #web
- Infinite Mac OS X (on HN) (on lobste.rs)
- JavaScript broke the web (and called it progress) (on HN) (on lobste.rs)
- Hurl: Run and test HTTP requests with plain text
    - a KISS way to script curl
- #makefile
    - Learn Makefiles
    - Makefile Style Guide
    - Makefile formatter and linter
- found Minimal auto-differentiation engine in Rust
- found yap
    - from Apple’s New Foundation Model Speech APIs Outpace Whisper for Transcription
    - I have to wait for macOS 26
- found How to Design Programs 2nd Ed (2024)

#cg #compiler #haskell #news #os #simd #software
- How Close to Black Mirror Are We?
- #math/app
    - Curved-Crease Sculpture
    - Elliptic curves as art (on HN)
    - Learning to flock in open space by avoiding collisions and staying together
    - Cracovians: The Twisted Twins of Matrices
    - Learn you Galois Fields for Great Good
    - Finding a billion factorials in 60 ms with SIMD (on HN) (on lobste.rs)
    - Y Combinator (Math) Explained
    - Entropy of a Mixture (on HN)
    - Functions Are Vectors (2023) (on HN)
    - The Rubik's Cube Perfect Scramble (on HN) (on lobste.rs)
        - Twentyseven 1.0
            - a Rubik’s cube solver in Haskell
            - based on Cube Explorer in Pascal, actually Delphi 6 [source]
    - johncarlosbaez's post on mathstodon.xyz: when is 0.999... less than 1
- #ai-safety
    - Moral puzzles: Man vs. machine
    - Rolling the ladder up behind us (on HN) (on lobste.rs)
    - All roads lead to disaster
    - Is there a no-AI audience? (on HN)
        - thatshubham/no-ai: This repository will be a community-curated list of software and resources that explicitly avoid the integration of artificial intelligence.
            - unfortunately very short list, didn't include Helix
            - Zed also support no AI recently
- #rust
    - Rewriting Kafka in Rust Async: Insights and Lessons Learned in Rust
    - higher: Your favourite Haskell type classes for Rust (2023)
    - B compiler written in Crust
        - Crust is a little like Evil Rust but that was for fun and just some clippy rules
        - uses fasm as backend

#agent #benchmark #debugger #docker #news #os #quantum #software #web
- #helix
    - work on helix-cheat-sheet
    - I really like the Helix editor
- Double-Entry Ledgers: The Missing Primitive in Modern Software
    - I would love to see such an primitive in database design, but I also doubt that if it could be helpful for realworld applications
- #agent
    - Building Effective AI Agents
        - supposedly the best practice
        - see also From LLM to AI Agent: What's the Real Journey Behind AI System Development?
    - LLMs pose an interesting problem for DSL designers
        - "LLMs pose an interesting problem for the DSL designers – the opportunity cost for using niche languages is now substantially increasing, and so we, as language designers, will be held to a higher standard to justify the use of our DSLs"
        - I think DSLs would clarify the intent in the domain, and reduce noise in code
        - even embed DSLs in general programming language would be better than just plain code
        - there should be a recipe for LLMs to quickly grasp the mindset of a DSL, instead of giving up on DSLs
    - LLM Agents Are Breaking Your Platform, Not Your Architecture
        - control the size of the mass introduced by agents
    - Is there a Half-Life for the Success Rates of AI Agents? (on HN) (on lobste.rs)
    - Libraries are under-used. LLMs make this problem worse
    - Building agents using streaming SQL queries
        - an interesting yet too traditional experiment
    - Bots are overwhelming websites with their hunger for AI data
    - Show HN: Trieve CLI – Terminal-based LLM agent loop with search tool for PDFs
    - GitHub CEO: manual coding remains key despite AI boom
- #wayland
    - Long live Xorg, I mean Xlibre
    - It's true, “we” don't care about accessibility on Linux (on HN) (on lobste.rs)
    - Wayland Is Growing Up. and Now We Don't Have a Choice (on HN) (on lobste.rs)
    - Cosmoe: BeOS Class Library on top of Wayland
    - The X Window System didn't immediately have X terminals
    - Two weeks of wayback
    - Please don't promote Wayland
    - Wayback 0.1 released
    - I want to defend Wayland here and explain a crucial piece that I think people are missing
- #robot
    - Real-time action chunking with large models
    - Swarm robotics could spell the end of the assembly line
    - Robot metabolism: Toward machines that can grow by consuming other machines (on HN)
- #editor
    - Using Microsoft's New CLI Text Editor on Ubuntu
    - Publishing a Docker Container for MS Edit to the GitHub Container Registry
    - The Zed Debugger Is Here (on HN) (on lobste.rs)
    - Pragtical - The practical and pragmatic code editor
        - built on SDL, C and Lua, low footprint
        - forked from lite XL (which is forked from lite) to be more practical rather than minimalist
- #sec
    - How keys are used in FileVault and encryption
        - VEK (Volume Encryption Key) never leaves Secure Enclave, destroyed on "Erase All Content and Settings (EACAS)"
        - wrapping: encrypting the VEK using a KEK (Key Encryption Key)
            - user password can be changed without the contents of the protected volume having to be fully decrypted and encrypted again
            - possible to generate multiple KEKs to support the use of recovery keys that can be used to unlock the VEK when the user’s password is lost or forgotten
    - Apple: Prepare your network for quantum-secure encryption in TLS
    - Blink and you'll miss it — a URL handler surprise
    - New Linux Flaws Enable Full Root Access via PAM and Udisks Across Major Distributions
    - Getting ready to issue IP address certificates (on HN) (on lobste.rs)
    - The Journey of Bypassing Ubuntu's Unprivileged Namespace Restriction (on HN)
    - Transmitting data via ultrasound without any special equipment ()
        - not security per se, but could be used to breach
        - uses 18-20kHz (not real ultra sound (~50kHz))
        - use WebAudio
        - on HN and on lobste.rs, people mentioned that IoT use sound to do device paring, not necessarily ultra sound, so users could understand what's going on
    - Vet – A tool for safely running remote shell scripts
        - a flawed and naive safeguard, but a call to change status quo
- found snapDOM
    - from Benchmark: snapDOM vs html2canvas

#build #context #misc #os #sec #software #tui #web
- Accumulation of Cognitive Debt When Using an AI Assistant for Essay Writing Task
    - now with Helix, I use less of auto-complete, and enjoy genuine programming
- #tech-history
    - The many JavaScript runtimes of the last decade #web #bun
    - Why JPEGs still rule the web (2024)
    - Google aims to reinvent email with Wave (2009)
    - A Brief, Incomplete, and Mostly Wrong History of Robotics
    - Notes on retries
    - The Promised LAN
    - Fun with Telnet
    - A brief history of web browsers
    - Emoji Kitchen - Browse Google's unique emoji combinations
    - macOS Icon History
    - Who Invented Backpropagation? #tech-history
            - On HN
    - MacPaint Art from the Mid-80s Still Looks Great Today (on HN)
    - Open, free, and ignored: the afterlife of Symbian (on HN)
    - Ask HN: Any active COBOL devs here? What are you working on?
    - 20 years of Linux on the Desktop (part 4) (on HN)
- #agent
    - 100% effective
        - on LLM safety, there is no guarantee
    - Coding agents require skilled operators
    - MCP Specification – version 2025-06-18 changes
    - The Brute Squad
    - Quick notes on a brief agentic coding experience
    - TIL:AI. Thoughts on AI
    - We Should Identify and Mitigate Third-Party Safety Risks in MCP-Powered Agent Systems
    - Are AI Bots Knocking Cultural Heritage Offline?
    - Now might be the best time to learn software development (on HN) (on lobste.rs)
    - Gemini CLI: your open-source AI agent (on HN) (on lobste.rs)
    - Introducing Qodo Gen CLI: Build and Run Coding Agents Anywhere in the SDLC
- #privacy
    - Why WhatsApp Didn’t Sell Ads
    - matrix is cooked
    - Websites are tracking you via browser fingerprinting
    - Delta Chat is a decentralized and secure messenger app
    - Google Gemini is about to control your messages and calls, even if you say no (on HN)
    - The EU wants to decrypt your private data by 2030
    - UK drops demand for backdoor into Apple encryption #privacy
    - Wikimedia Foundation Challenges UK Online Safety Act Regulations (on HN)
        - The UK Is Poised to Ban VPNs (on HN)
        - Ask HN: How will the OSA affect small Mastodon instances?
    - ChatGPT Chats Were Indexed Then Removed from Search but Still Remain Online
    - Can you block it? A simple Ad Block Tester
    - Tell HN: uBlock Origin on Chrome is finally gone
        - How I found a bypass in Google's big anti-adblock update
    - Cloudflare Starts Blocking Pirate Sites for UK Users (on HN)
    - TikTok, AliExpress and WeChat ignore your GDPR rights (on HN)
    - Valve confirms credit card companies pressured it to delist certain adult games (on HN)
    - Fully homomorphic encryption and the dawn of a private internet
        - from HN:

            > Even without bootstrapping FHE will never be as fast as plaintext computation: the ciphertext is about three orders of magnitude much larger than the plaintext data it encrypts, which means you have to have more memory bandwidth and more compute. You can’t bridge this gap.

    - Web fingerprinting is worse than I thought (2023) (on HN)
    - Simon Willison | Official statement from Tea on their data leak
    - Performance and telemetry analysis of Trae IDE, ByteDance's VSCode fork (on HN) #agent
- #news
    - Rules, Not Renewables, Might Explain the Iberian Blackout
    - Miscalculation by Spanish power grid operator REE contributed to blackout
- found Fossify – A suite of open-source, ad-free apps
- found zb: An experiment in hermetic, reproducible build systems
    - uses lua to specify build rules
- found Type Inference Zoo
- Intuiting Monty Hall

#agent #os #rust
- #agent
    - Agents for the Agent
        - amp on subagent
    - Ampcode - First Impressions
    - Coding agents have crossed a chasm
    - Snorting the AGI with Claude Code
        - use claude code with marp to create a slide deck that explains the codebase
    - The lethal trifecta for AI agents: private data, untrusted content, and external communication
- I want to be a Journey Programmer Again
    - I think I've always been a journey programmer, and didn't know it as a feature
- found rgSQL: A test suite to help you build your own database engine

#os #physics #raymarching
- Q-learning is not yet scalable
- found Todo.txt
    - from todo.txt tasks in my TRMNL
- #software
    - What is systems programming, really? (2018)
    - What Is Open Source?
        - learn about free v.s. open source
        - related
            - I feel open source has turned into two worlds
    - found is it really FOSS?
- #cg
    - On Shaping Light
    - watched Physics and Math of Shading
        - from SIGGRAPH 2025 Course: Physically Based Shading in Theory and Practice
    - Remaking Celeste's Lighting
- found Foundations of Computer Vision

#agent #blogging #compiler #context #formal #game #idea #interop #lean #news
- started using Mac's dictation in agent coding
- Blogging about papers
    - Design Patterns for Securing LLM Agents against Prompt Injections (on HN) (on lobste.rs)
        - "the writing is clear, it’s enjoyable to read and the target audience clearly includes practitioners, not just other researchers"
- #cg
    - Luxe Game Engine in preview now
        - 2D/3D, cross-platform (including web)
        - written in c++, scriptable with Wren or any language that can interact with C
        - optional editor to build worlds, animation, ui etc.
    - Voronoi, Hashing and OSL
        - found Open Shading Language (OSL)
            - was originally developed by Sony Pictures Imageworks for film animation and visual effects
            - has features such as radiance closures, BSDFs, and deferred ray tracing as first-class concepts
- Three Algorithms for YSH Syntax Highlighting
    - Coarse Parsing with regexes + a context stack could be even more accurate than Context-Free Parsing used by tree-sitter
    - recognizing most languages with Tree-sitter requires writing C code in an external scanner
- found Tattoy: a text-based terminal compositor (on HN) (on lobste.rs)
    - considerate design for text contrasts: "detect low contrast text and auto adjust the foreground colour within the constraints of your chosen terminal theme to find the nearest colour that meets a minimum contrast threshold"
    - usage example: terminal minimap, background video, shadertoy shaders
- #formalization
    - found Litex: Scale Formal Reasoning in AI Age
        - "Traditional proof assistants like Lean4 require learning hundreds of unfamiliar keywords and complex type theories. Litex enables formal verification with just 8 intuitive keywords (forall, exist, not, or, fn, prop, obj, set) and familiar Python/Go-like syntax"
    - 100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (partially formalized in Agda)
- #datalog
    - Implementing Logic Programming with Prolog and Datlog
    - Datalog in Rust
- #rust
    - OxCaml, Jane Street's extension of OCaml is now open-source (on HN) (on lobste.rs)
    - Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming
    - Datalog in Minikanren (on HN, many good references about datalog, and scheme)
    - Bzip2 crate switches from C to 100% Rust
        - `c2rust`, crate cc, `miri`
        - `cargo fuzz`, `cargo audit`, `semgrep` (particularly semgrep-rules)
- #zig
    - watched Writing polymorphic code (anytype, comptime interface, tagged union)
        - found Zimpl (why)
        - tagged union example with `inline else`
    - Compiler optimization options - memchr and ripmemchr case study
    - C2y: Hitting the Ground Running
    - GCC, glibc, stack unwinding and relocations – A war story
    - The Art Of Packing Data
- #apl
    - APL Style: Patterns/Anti-patterns
    - Solving LinkedIn Queens with APL
    - Klong: A Simple Array Language
    - Coding in Advent in BQN
    - apl87
    - My Ideal Array Language (on HN) (on lobste.rs)
        - APL, Mojo, MLIR BQN etc., but no mention of Julia
        - this comment recommend Astropy and much more
    - BobMcDear/trap: Autoregressive transformers in APL #lm
- Introducing Sulka, the Hardened Yocto Distro
    - learn about the possibility to maintain a distro by a single person
    - the Yocto project provides toolkits to create custom Linux distributions, especially for embedded systems
    - Sulka is a hardened Poky, and there are alternatives like Welma
- #ai
    - To fuel AI, US Congress moves to fast-track nuclear plant approvals
    - The Emperor's New LLM
    - Builder.ai did not "fake AI with 700 engineers"
    - Self-Adapting Language Models
    - Resa: Transparent Reasoning Models via SAEs
    - Simulink (Matlab) Copilot
    - Rethinking Losses for Diffusion Bridge Samplers
- #quantum
    - Quantum Computing without the Linear Algebra
    - Geometry from Quantum Temporal Correlations
- news
    - Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh
    - Next.js 15.1+ is unusable outside of Vercel
    - The European public DNS that makes your Internet safer
- general
    - Feedback Is Not an Attack
    - Ask HN: How do I give back to people helped me when I was young and had nothing?
        - "Focus less on those who helped you, and more on helping others."
    - am i too self-aware?
    - When random people give money to random other people (2017)
    - We Live In a Golden Age of Interoperability
    - No Hello
- #biology
    - Sperm are very different from all other cells
    - The Ecosystem Dynamics That Can Make or Break an Invasion
    - When we die do we still have any of the original cells from our birth?
- found Modularizing George Cave's eInk Energy Dashboard
    - could be used to make widgets for various devices
- found Radicle Desktop: a graphical user interface for the Radicle peer-to-peer code forge
    - learn about Radicle, a sovereign code forge built on Git
- found Qrkey – Offline private key backup on paper
    - not sure if it's a good idea security-wise, but neat anyway

#benchmark #formal #lean #news #os #rss #rust #tui #z3 #zig
- Solving LinkedIn Queens with SMT
    - in Z3 SMT solver instead of CVC5 SMT solver as in Using SAT to Get the World Record on LinkedIn's Queens
    -  SAT solvers are "criminally underused by the industry" (from Modern SAT solvers: fast, neat and underused)
    - SMT solvers are "higher-level" than SAT, capable of handling more data types than just boolean variables
    - It's a lot easier to solve the problem at the SMT level than at the SAT level
    - people prefer SMT to SAT
    - Glucose, an SAT solver is really fast
    - The Hat, the Spectre and SAT Solvers (2024) (on HN) (on lobste.rs)
- jemalloc Postmortem
    - they "reached a sad end for jemalloc in the hands of Facebook/Meta even though most of the people involved were acting in good faith"
    - "the root of the problem is lack of awareness about external uses and needs"
        - even "unaware of its replacement until after the fact"
    - "internally siloed open source projects cannot thrive"
    - should evaluate alternatives
        - TCMalloc by Google (with Bazel painpoint)
        - mimalloc
            - adopted by CPython 3.12: "it is fast, thread-safe, and NUMA-aware"
        - StarMalloc: verified memory allocator
        - phkmalloc
- looking for best way to read Hacker News comments
    - most TUI are not working well for reading comments, see `just prep-hkt`
    - found Vue HN that supports dark theme, and groups comments, it works pretty well with Doubao auto-translation
    - found Hacker News RSS and chose the front page feed, and I have already subscribed to the best comments feed
- Could an LLM create a full Domain-Specific Language?
    - rather complete methodology for creating a DSL
    - code: jcabot/funding-dsl
- The last six months in LLMs, illustrated by pelicans on bicycles
    - an interesting benchmark for LLMs
- #ai-safety #env
    - AI Boom Drives 150% Surge in Indirect Emissions at Major Tech Firms, UN Warns
        - numbers for the environmental impact of LLMs
        - related
            - AI threatens to raid the water reserves of Europe's driest regions
    - Environmental Impacts of Artificial Intelligence
    - Mistral reports on the environmental impact of LLMs (on HN)
        - Simon Willison | Our contribution to a global environmental standard for AI
    - Problems the AI industry is not addressing adequately
    - Generative AI’s crippling and widespread failure to induce robust models of the world
- Type-based vs Value-based Reflection
    - value-based (C++26)
        - "while we have new syntax for getting into (`^^e`) and out of (`[: e :]`) the value domain, once you’re in the value domain — it’s nice to just stay there"
        - "C++26 reflection does bring with it new syntax and a bunch of new semantics. But the benefit is that a lot of metaprogramming starts to look more like regular programming. There is a lot less syntax in the implementation side of things. "
    - type-based (Reflection TS published in March, 2020)
    - wondering the Zig equivalent
    - Discover C++26’s compile-time reflection
    - C++26 Reflections adventures and compile-time UML
- Reflections on Sudoku, Or the Impossibility of Systematizing Thought
    - limitation of TDD
        - tests don't fix the underlying issue of "knowing what to do"
    - alternative approach by Peter Norvig
        - analyzing the high-level problem and then breaking down the data structures and outlining the solution in the course of ~20 lines of code
- found A Lightweight Merge Queue using GitHub Actions
- Rumour: Google intends to discontinue the Android Open Source Project
- A tale of two spacetimes
- In case of emergency, break glass
- skimmed Patterns for Modeling Overlapping Variant Data in Rust
- What I talk about when I talk about IRs

#cg #compiler #diagram #formal #game #optimization #os #proof #render #rust
- wrote Trying Zig's self-hosted x86 backend on Apple Silicon (on reddit)
- #lean
    - Premise Selection for a Lean Hammer
        - the paper behind LeanHammer
    - Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
    - Trinity: an autoformalization system for verified superintelligence
    - Mathesis: Towards Formal Theorem Proving from Natural Languages
    - watched Mr. Mario Carneiro | Lean Meta-theory: The Proofs behind the Proofs
- Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library
    - used Aeneas, a Verification Framework for Rust that supports F*, Coq, HOL4 and Lean
        - the team also built
            - Charon to extract information from rustc internals for semantic analysis thus verification
            - Eurydice, a Rust-to-C compiler to provide a backwards-compatibility story as the verification ecosystem gradually transitions to Rust
    - used Revizor - a fuzzer to search for microarchitectural leaks in CPUs
        - analyze binary code for specific compilers and platforms
        - find side channel vulnerabilities caused by timing leaks or speculative execution
        - which aren't visible in the source code
        - for today’s CPUs, every new optimization may open a new side channel, which renders constant-time programming insufficient
- found Lightweight Diagramming for Lightweight Formal Methods
    - formal methods help users define, explore, verify, and diagnose specifications for complex systems incrementally
    - Forge: A Tool and Language for Teaching Formal Methods
        - similar to Alloy 6
        - uses Sterling visualizer
    - Cope and Drag (CnD)
        - embedded in an open-source visualizer for Forge
        - focuses on encoding the spatial intuitions implicit in communicating the model
            - constraining spatial layout (such as positioning child nodes below their parents in a binary tree)
            - grouping elements (like clustering related components in a software architecture)
            - directing drawing style (for instance, coloring nodes in a red-black tree based on their color)
- #debugger
    - strace tips for better debugging
    - Demystifying Debuggers (a series)
    - Linus on Why Debuggers Are Actually Bad For Developers
    - found Building a Debugger: Write a Native x64 Debugger From Scratch
- #raku
    - Raku's "core"
    - Raku's FAQ
    - RakuAST: a foundation for Raku macros
    - Raku in y minutes
- Readings shared June 10, 2025
- realized that Pocoo is behind Sphinx, Jinja, Pygments etc.
- found Verse Language, a new scripting language for Fortnite by Epic

#agent #os #render #tui #typst #web #zig
- My Unfiltered Take on the AI Coding Agent Landscape
    - found and tried amp
        - love their Frequently Ignored Feedback but disagree with some of them
        - it gives me an addictive experience, but it's quite costly and the price model is not very transparent
    - found YouWare and would love to try more
- Zig-style generics are not well-suited for most languages (2022)
- Ratatui - Are We Embedded Yet? (#2)
    - learn about Mousefood, a embedded-graphics backend for Ratatui
- found Quarkdown - Markdown with superpowers
    - interesting but it's a little late to the party now that we have pandoc and quarto
    - the syntax and scripting looks good
    - its PDF output is based on rendering web pages, a big no-no for me, as I need LaTeX-level professional typesetting like Typst has
- #css
    - Partial Keyframes
        - neat CSS animation trick
    - More Frontend Web Tricks
    - Color Everything in CSS
    - Printing the web: making webpages look good on paper
    - HUG CSS, how I approach CSS architecture
    - What Does `playsinline` Mean in Web Video? | CSS-Tricks

#agent #compiler #diagram #formal #llvm #makefile #news #optimization #rust #sec
- Lightweight Diagramming for Lightweight Formal Methods
- #perf
    - Why doesn’t Rust care more about compiler performance?
    - One Law to Rule All Code Optimizations
    - Simulating Time With Square-Root Space
    - Is Rust faster than C?
    - Revisiting Knuth’s “Premature Optimization” Paper
- #os
    - Asterinas: A Linux ABI-compatible, Rust-based framekernel OS #rust
        - framekernel: the performance of a monolithic kernel and the security of a microkernel
        - OSTD, an OS framework, so that a Hello World kernel in 100 lines of safe Rust
        - TCB (Trusted Computing Base) is the minimal unsafe code required to build a kernel in safe Rust
            - ~15K LOC, 14- rich OS features
        - aims to verify unsafe code with Verus
        - uses model checking with Converos to uncover hard-to-find concurrency bugs
        - see also Asterinas: a new Linux-compatible kernel project
    - Blog series on creating an OS in Rust (on HN) #rust
    - Starina - A modern general-purpose microkernel OS
        - from Building Linux kernel on macOS natively (on HN)
            - Clang Built Linux effort helped to build Linux kernel with clang + LLVM instead of GCC + GNU
            - it seems to work and is simple enough, I should try it sometimes
    - Munal OS: A graphical experimental OS with WASM sandboxing
        - written in Rust
        - embeds wasmi
        - no virtual address space as userspace is inside WASM sandbox
        - only VirtIO so it runs only in an VM
        - has links to OS dev resources
    - Talos: a container optimized Linux distro, which is declarative, immutable, secure
        - minimal: consists of only a handful of binaries and shared libraries: just enough to run containerd and a small set of system services
            - written in Go
        - no SSH and console access, fully controlled by API via gRPC
        - Which Kubernetes is the Smallest? Examining Talos Linux, K3s, K0s, and More
            - Talos has the minimal footprint
    - The high-level OS challenge
    - A DOS-like hobby OS written in Rust and x86 assembly
        - RoureXOS rewritten in Rust
    - Tilck: A Tiny Linux-Compatible Kernel (on HN)
- Makefile.md - Possibly Use(ful|less) Polyglot Synthesis of Makefile and Markdown
- comments on Qwen3 embedding models
- #prolog
    - from Readings shared June 9, 2025
    - Teaching and learning mathematics with Prolog
    - Exploring Topological Spaces with Prolog: A Practical Approach Using “Mathematics with Prolog”

#agent #datafusion #docker #duckdb #elixir #formal #harbor #idea #json #lemmy
- #selfhost
    - Ditching HAProxy (in my homelab)
        - found Ran out of infrastructure titles from the author
            - backrest
                - for using `restic` to manage backup repos and plans
                - tested that `restore` and `mount` work, as well as encryption and compression
                    - see also Running Veracrypt in Docker
                        - `--privileged`, `-m=nokernelcrypto`, locale etc.
                - supports monitoring via Healthchecks if backup jobs don't "check in"
                - a sec review: restic cryptography
            - MetalLB, a load-balancer implementation for bare metal Kubernetes clusters
            - `Talos`, moved to Learning diary › Year 2025 › June, 2025 › 2025-06-10
            - Unbound: a powerful validating, recursive, caching DNS resolver
                - could be used for home network
            - Salt with its GUI
                - is similar to Ansible, in the sense you use YAML to specify a state, but has a differening architecture, opting for a master/minion setup rather than Ansible's agentless SSH connections to each node
            - Apt-Cacher NG for caching apt packages
            - Harbor for caching container images
            - Headscale: self-hosted implementation of the Tailscale control server
            - Pocket ID for authenticate users with their passkeys
- #fediverse
    -Two Approaches to Solving the “Quiet Fediverse” Problem: Conversation Backfilling Mechanisms
    - The fediverse, explained
        - Lemmy
        - Pixelfed
        - BookWyrm
        - PeerTube
    - Pleroma: a lightweight federated social networking server powered by Elixir and PostgreSQL
        - from What Is Pleroma?
    - From Fediverse to Creating Personal Digital Space with Memos
        - Single-user Mastodon Instance is a Bad Idea
    - jakeg -> notes -> fediverse
    - ActivityPods: Personal data spaces powered with ActivityPub
    - tried matrix again and found a good TUI: iamb
    - Threads is adding Fediverse content to social feeds
- wish to test x86 on ARM Mac
    - due to Zig's self-hosted x86 backend is now default in Debug mode
    - found Intel-on-ARM and ARM-on-Intel with lima
    - container: tool for creating and running Linux containers using lightweight virtual machines on a Mac
- AI at Amazon: a case study of brittleness
    - that's how things got stuck in a big org, or at least slowed down enought to suffocate innovation
        - Decompensation: a service fall over after receiving a spike in external requests, mostly due to hierarchical decision-making
        - Working at cross-purposes: introduced an almost Darwinian flavor to org dynamics where teams scrambled to get their work done to avoid getting reorged and subsumed into a competing team
        - Getting stuck in outdated behaviors: had to constantly justify our existence and massage our projects with metrics that could be seen as more customer-facing
- Thank You, DataFusion: Queries in Rust, Without the Pain
    - SQL as a library, not a service
    - own your storage, your execution model, your schema, your optimizer
    - offers [SQL] and [Dataframe] APIs, excellent performance, built-in support for CSV, Parquet, JSON, and Avro
    - paper: Apache Arrow DataFusion: A Fast, Embeddable, Modular Analytic Query Engine
    - should take a deep look into DuckDB
- found Black Hat Zig: Zig for offensive security.
- Training a Rust 1.5B Coder LM with Reinforcement Learning (GRPO) | Oxen.ai

#agent #news #optimization #os #rust #sec #simd #web #zig
- Vanishing zeroes for geometric algebra in Rust
- A plan for SIMD
    - learn about pulp and check its usage in faer
- Using Zig to Unit Test a C Application
    - learn about `[*c]const u8`, `?[*:0]u8`, `.ptr`, `std.mem.span`, `allocator.dupeZ` etc.
- Zig: First Impressions
- Optimizations with Zig
    - learn about `align(64)`, `noalias`
- Too Many Open Files
- A masochist's guide to web development
    - found Nissy: A Rubik's cube solver and FMC assistant
- Field Notes From Shipping Real Code With Claude
    - great practice for `CLAUDE.md`, AGENTS.md
    - TODO: I should actually start working on my CONVENTIONS.md
    - related:
        - I Read All Of Cloudflare's Claude-Generated Commits
        - MCP vs API
        - How I program with Agents
        - LLMs are cheap
        - The Gap Through Which We Praise the Machine
        - Why agents are bad pair programmers
        - Apple exposes Foundation Models API and... no new Siri
        - A tale of two Claudes
        - Agentic Coding Recommendations
- The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity
    - accuracy progressively declines as problem complexity increases until reaching complete collapse (zero accuracy) beyond a modelspecific complexity threshold
    - a rebuttal on X has some good discussion
        - for the puzzle Tower of Hannoi with too many disks, the collapse of accuracy is due to output token limit, and the models won't even try to reason with large number of moves, only explains the overall approach
        - using solution length as a proxy for task difficulty is flawed, e.g. ToH has a long output but low algorithmic complexity: it’s deterministic with no real branching
        - the paper's observations (collapse, token underuse, overthinking) still seem to be solid
    - Seven replies to the viral Apple reasoning paper and why they fall short
        - Simon Willison’s quotes and comments
    - Why Claude's Comment Paper Is a Poor Rebuttal
- #blogging
    - Thrive in obscurity
    - is blogging romantic?
    - Why Comment Sections suck - re:I want to comment on your blog post
- Interactive Guide: Mastering Rate Limiting

#git #os #sqlite
- Simplifying and Isolating Failure-Inducing Input (Delta Debugging)
    - found Perses: Syntax-Directed Program Reduction
    - found WDD: Weighted Delta Debugging
- found git-remote-sqlite: Single-file Git repos that can replicate with Litestream

#agent #apl #clojure #compiler #dspy #formal #fuzzing #interop #news #optimization
- investigating DSPy (Demonstrate-Search-Predict)
    - Pipelines & Prompt Optimization with DSPy
    - found MLflow DSPy Flavor
    - SIMBA (Stochastic Introspective Mini-Batch Ascent)
        - proceeds in a sequence of mini-batches seeking to make incremental improvements to the prompt instructions or few-shot examples
        - Advanced Tool Use: using SIMBA to improve a "Multi-Hop Tool Use" agent from 35% accuracy to 60%
            - in RL for Multi-Hop Research, RL method is compared with SIMBA
        - Correcting Bias in LLMs with DSPy
        - Grok has difficulty figuring out the corresponding paper, even with Deep Research
    - related
        - found TextGrad (code, notebook)
        - found Zenbase
        - found Easy Dataset: Custom Prompts
            - i.e. I can use extra system prompt to generate Q&A pairs then use them to finetune an LM or optimize via DSPy to answer questions without such prompts
- The next phase of jank's C++ interop
    - found compiler-research/CppInterOp: A Clang-based C++ Interoperability Library
        - cppyy (code)
    - jank is C++ (on HN)
- Sharing everything I could understand about gradient noise
- Small Programs and Languages
- APL tutorial
- John Carlos Baez on the shape of the Oort cloud
    - paper: A Spiral Structure in the Inner Oort Cloud
- found Jepsen, a framework for distributed systems verification, with fault injection, written in Clojure
    - Fuzzer Blind Spots (Meet Jepsen!)
    - Jepsen: TigerBeetle 0.16.11
    - The unreasonable effectiveness of fuzzing for porting programs (on HN) (on lobste.rs)

#apl #game #lean #shader #tla #vulkan #web #zig
- AI is a gamechanger for TLA+ users
- In which I have Opinions about parsing and grammars
- Experimenting with no-build Web Applications
- Zigar 0.14.1: stream integration and more
- The Lean FRO Year 2 Roadmap
- found No More Shading Languages: Compiling C++ to Vulkan Shaders
- found APLearn: machine learning library
- I Think I’m Done Thinking About genAI For Now

#agent #compiler #debugger #jujutsu #lean #os #rust #sec #software #tla
- Physicality: the new age of UI
    - love it
    - Flat design vs realistic (“skeuomorphic”) design
- jujutsu on tangled
    - it's really powerful to edit a changeset to keep commits/PRs clean and focused, no more frustrating rebasing
    - maybe I'll really start using `jj`
    - related: Example of Splitting a PR
- Why I Think Lean Software Development is Wrong
- How Compiler Explorer Works in 2025
    - learn about nsjail, a lightweight process isolation tool that’s basically a paranoid security guard for processes
- vibe coding
    - Claude Code is My Computer
    - Vibe coding case study: ScubaDuck
- Deep learning gets the glory, deep fact checking gets ignored
- Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs | MongoDB Blog
- NLWeb: Protocol for AI-Powered Website Search
    - we really nead a lot of AI-facing protocols, MCP, A2A, NLWeb, `llm.txt` etc.
- Tests should not contain logic
- Script Debugger Retired, IDE for AppleScript

#benchmark #compiler #json #news #os #rust #web #z3
- Fast character classification with z3
- structured error
    - Designing Error Types in Rust Libraries
    - Structured errors in Go
    - Why Use Structured Errors in Rust Applications?
- minimalizing Rust
    - Why am I writing a Rust compiler in C?
    - How to deal with Rust dependencies
    - Reducing Cargo target directory size with -Zno-embed-metadata
- found benchmark-gui
    - from I’m Open-Sourcing my Custom Benchmark GUI
- The DuckLake Manifesto: SQL as a Lakehouse Format
- Progressive JSON
- johncarlosbaez's post on mathstodon.xyz about a viXra branch devoted to AI-assisted papers
- learning speed solving Rubik's cube, see Resources about Rubik's Cube
- Devstral
    - see also devstral-small-2505-mlx
- #aria
    - What I Wish Someone Told Me When I Was Getting into ARIA (on HN)
    - Selfish reasons for building accessible UIs
    - WebAIM: Up and Coming ARIA
        - learn about aria features and roles, it also has demo

#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