🎁 Monads

Functors, Applicatives, Bind Operation, Do Notation

Headless PHP – as far as I understand the landscape
blog.fortrabbit.com·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·9h·
Discuss: Hacker News
🎯Complexity Classes
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·2d·
Discuss: Lobsters, Hacker News
🛡️macOS Security
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
A Close Look at a FastAPI Example Application
realpython.com·11h
🔌APIs
Flag this post
Magisterium
isaacbowen.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·22h·
Discuss: Hacker News
🔧DevOps
Flag this post
🛡️ Fortify - AI-Powered Security Analysis Platform
dev.to·6h·
Discuss: DEV
🔧DevOps
Flag this post
FOCUS: Efficient Keyframe Selection for Long Video Understanding
arxiv.org·20h
📚Automata Learning
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·2h
🔬Unikernels
Flag this post
Does AI Need to Be Conscious to Care?
towardsdatascience.com·3h
🩹Self-Healing Systems
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·20h
📚Automata Learning
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·1d·
Discuss: Hacker News
🔤Language Design
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·6h·
Discuss: Substack
🔧DevOps
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·15h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Rdza – Rust Programming, in Polish
github.com·3d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Down with template (or not)!
cedardb.com·4d·
Discuss: Hacker News, r/cpp, r/programming
🎯GADT
Flag this post
Smaller Surfaces
nrempel.com·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post