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
The Maturing of QUIC
fastly.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Capture, Store, and Query Logs with Confidence: Building a Loki + Promtail + Grafana Pipeline
blog.devops.dev·1d
📦METS Containers
Flag this post
Verify enclave counterparties with reproducible builds and remote attestation
aws.amazon.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Learning How to Work in a Group
amirghofran.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
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
Information theory for complex systems scientists: What, why, and how
sciencedirect.com·4d·
Discuss: Hacker News
📡Information theory
Flag this post
Real-Time Strain Mapping in Smart Textiles via Integrated Piezo-Polymer Sensor Arrays and Dynamic Kalman Filtering
dev.to·20h·
Discuss: DEV
🔧Cassette Engineering
Flag this post
Tech With Tim: How to Write Production Python Code
dev.to·14h·
Discuss: DEV
📏Code Metrics
Flag this post
Building FatAdvisor: A .NET Nutrition AI Agent. Part 1: Building the Foundation
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Flag this post
Autonomous Anomaly Detection & Root Cause Isolation via Multi-Modal Causal Reasoning
dev.to·2d·
Discuss: DEV
👁️System Observability
Flag this post
Decoding the Brain: Turning Brainwaves into Actionable Insights by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🧠Neural Codecs
Flag this post
Tech With Tim: How to Build AI Agents in Python
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Thompson Sampling, Supercharged: LLMs Make Bandit Algorithms Easy by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
💻Local LLMs
Flag this post
Is Java Suitable for Competitive Programming?
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Automated Valuation of Illiquid Assets via Graph-Enhanced Bayesian Networks
dev.to·9h·
Discuss: DEV
🌳B-tree Archaeology
Flag this post
Automated Plasma Etching Process Optimization via Bayesian Neural Network Calibration
dev.to·3h·
Discuss: DEV
Precision Brewing
Flag this post
Some notes about the right usage of memoization in Python
dev.to·4d·
Discuss: DEV
Cache Theory
Flag this post
Tech With Tim: My top 5 python programming course recommendations
dev.to·2d·
Discuss: DEV
🪟Awesome windows command-line
Flag this post