Doing a bit of stress work on a new HDD
dan.langille.org·29m
📝SQLite WAL
#0181: Why Elixir?
matthewsinclair.medium.com·2d
🌊Apache Kafka
3 best practices for building software in the era of LLMs
about.gitlab.com·19h
⚡Proof Automation
On the UI of Coding Assistants And Agents
lmika.org·1d
✨Effect Handlers
AI Programming Paradigms: A Timeline
kau.sh·1d
⚡Proof Automation
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·23h·
Discuss: Hacker News
⚡Incremental Computation
Galois field instructions on 2021 CPUs
corsix.org·8h·
Discuss: Hacker News
🔐RISC-V Cryptography
guile lab notebook: on the move!
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Understand CPU Branch Instructions Better
chrisfeilbach.com·4d·
Discuss: Hacker News, r/programming
🦾ARM Assembly
The Right Approach to Authorization in RAG
osohq.com·19h·
Discuss: Hacker News
🧬PostgreSQL Forensics
**8 Python Metaprogramming Techniques for Dynamic Code Generation and Runtime Flexibility**
dev.to·1d·
Discuss: DEV
🦀Rust Macros
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·1d
⟷Bidirectional Programming
Announcing egui 0.32.0 - Atoms, popups, and better SVG support
reddit.com·4h·
Discuss: r/rust
🦀Rust Macros
The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence from GitHub Copilot
arxiv.org·15h
🔓Open Source Software
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
📺VT100
Parameter Passing in Golang: The Ultimate Truth
dev.to·19h·
Discuss: DEV
⬆️Lambda Lifting
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·7h·
Discuss: Substack
🔄Language Evolution
Re-Emergent Misalignment: How Narrow Fine-Tuning Erodes Safety Alignment in LLMs
arxiv.org·2d
🔨Compilers
Machine Learning Fundamentals: cross validation tutorial
dev.to·3h·
Discuss: DEV
🌊Stream Processing
I Changed My Mind: AI Will Replace Us
medium.com·42m·
Discuss: Hacker News
⚡Proof Automation