#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    - 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?
    - EU proposal to scan all private messages gains momentum (on HN)
    - 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