Academic Philosophy - My quixotic quest
notes.billmill.org·1d
🏛️Philosophy
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·44m
🧠Machine Learning
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·18h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
Notes on Autograd
aschrein.github.io·10h·
Discuss: Hacker News
⚡Incremental Computation
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·58m·
Discuss: Hacker News
🔐Homomorphic Encryption
A critique of philosophical objectivity
lapcatsoftware.com·14h
🏛️Philosophy
Architecting Beliefs for a Contested World
vasily.cc·15h·
Discuss: Hacker News
⚙️systems theory
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·44m
🔧Hardware Verification
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·14h·
Discuss: Hacker News
✅Format Verification
Being Kind Isn't Always Being Safe: Diagnosing Affective Hallucination in LLMs
arxiv.org·44m
⬌Bidirectional Typing
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·3h·
Discuss: Substack
🔩Systems Programming
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·14h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Build a baby Claude Code using Python
siddharthbharath.com·14h·
Discuss: Hacker News
⚡Proof Automation
Refactoring 032 - Apply Consistent Style Rules
dev.to·1d·
Discuss: DEV
📐Delta Encoding
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·16h
🌊Stream Processing
how to decide on the sequence of computable numbers
academia.edu·5d·
Discuss: Hacker News, r/compsci, r/programming
🎞️Tape Combinatorics
Custom slash commands in Claude Code
boliv.substack.com·2d·
Discuss: Substack
⚔️Lean Tactics