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

I Went on a ‘Dark Retreat’ and Spent Three Days in Total Darkness
nytimes.com·2h
Time Crystals
Flag this post
Thoughts on P3858R0 `restart_lifetime`
quuxplusone.github.io·3d
🔒Type Safety
Flag this post
DIY conversion of old laptop into portable Server Crashcart/KVM Console/Lapdock
instructables.com·18h·
Discuss: Hacker News
🔌Single Board PC
Flag this post
Why UUIDs won't protect your secrets
alexsci.com·12h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Word Processing: Heavy Metal Style
hackaday.com·18h
🗃️Punched Cards
Flag this post
Speculations on arenas and non-trivial destructors
nullprogram.com·4d·
🔒Type Safety
Flag this post
The last few months have been devastating for LLM dreams
garymarcus.substack.com·2d·
Discuss: Substack
🧠Intelligence Compression
Flag this post
Coding with LLMs: we can talk to computers and we're complaining about it
coding-with-ai.dev·2d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Model your interactions, not your messages
goto-code.com·3d·
Discuss: Hacker News
Effect Handlers
Flag this post
Traefik across machines
reddit.com·1h·
Discuss: r/homelab
gRPC
Flag this post
Could This be the Year of Algol?
hackaday.com·5d·
Discuss: Hacker News
📊APL Heritage
Flag this post
Really Simple Licensing(RSL) Editor
github.com·2h·
Discuss: Hacker News
🔓Open Source Software
Flag this post
Parrot – fused array operations using CUDA/Thrust
github.com·3d·
Discuss: Hacker News
🖥️Modern Terminals
Flag this post
Certifying optimal MEV strategies with Lean
arxiv.org·4d
⚔️Lean Tactics
Flag this post
RAG Architecture for HR Applications: Building Context-Aware Interview Systems
dev.to·2d·
Discuss: DEV
🔄Archival Workflows
Flag this post
Optimized CellPassage Prediction for AAV Bioreactor Stability via Dynamic Bayesian Network
dev.to·14h·
Discuss: DEV
🧬Copy Number Variants
Flag this post
What Questions Should Robots Be Able to Answer? A Dataset of User Questions for Explainable Robotics
arxiv.org·7h
🤖AI Curation
Flag this post
Schema for In-Context Learning
arxiv.org·4d
🤖Grammar Induction
Flag this post
MAFA: A Multi-Agent Framework for Enterprise-Scale Annotation with Configurable Task Adaptation
arxiv.org·4d
Incremental Computation
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.to·3d·
Discuss: DEV
🎙️Whisper
Flag this post