Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Status update, 17/10/2025
samthursfield.wordpress.com·1d
🔌Operating system internals
Flag this post
You Are Not Your Values
overcomingbias.com·2h·
Discuss: Hacker News
Minimalism
Flag this post
Redesigning a Base Fee for Monad
category.xyz·4d·
Discuss: Hacker News
Incremental Computation
Flag this post
The Maturing of QUIC
fastly.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Branching in a Sapling Monorepo
engineering.fb.com·2d·
🌳Git Internals
Flag this post
Claude 4.5 Haiku does not appreciate my attempts to jailbreak it
minimaxir.com·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
Flag this post
New model inspired by forest fires could explain why some ideas go viral
thebulletin.org·20h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The work of AI today is writing a Rust parser for a 20-year-old sensor
physical-ai.ghost.io·5d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
[P] Control your house heating system with RL
reddit.com·1d·
Circuit Verification
Flag this post
I Rewrote My CLI in Zig — and Didn’t Miss the Borrow Checker Once
hackernoon.com·2d
🦀Rust Borrowing
Flag this post
Krish Naik: OpenAI Agentkit Is Lit- Automate Workflows With Ease
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Pkij: Single-file, zero-dependency CLI tool designed for managing monorepos
github.com·1d·
Discuss: Hacker News
📦Package Managers
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.to·1d·
Discuss: DEV
🎬WebCodecs
Flag this post
Dynamic Hyperfrequency Thermal Ablation Profiling via Adaptive Resonance Theory
dev.to·20h·
Discuss: DEV
📄Document Digitization
Flag this post
Leveraging Wireless Sensor Networks for Real-Time Monitoring and Control of Industrial Environments
arxiv.org·1d
🏠Home Automation
Flag this post
Krish Naik: 5-Getting Started With Agentic RAG With Detailed Implementation Using LangGraph
dev.to·16h·
Discuss: DEV
🔗Constraint Handling
Flag this post
Go Network Programming: A Practical Guide to Network Models and Protocols
dev.to·3d·
Discuss: DEV
📡Network Protocol Design
Flag this post
The Curious Case of Factual (Mis)Alignment between LLMs' Short- and Long-Form Answers
arxiv.org·4d
🧠Intelligence Compression
Flag this post
Data Provenance Auditing of Fine-Tuned Large Language Models with a Text-Preserving Technique
arxiv.org·4d
🧪Archive Fuzzing
Flag this post
ACADATA: Parallel Dataset of Academic Data for Machine Translation
arxiv.org·3d
🚀SIMD Text Processing
Flag this post