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

OpenAI's 'Embarrassing' Math
science.slashdot.org·1d
🧮SMT Solvers
Flag this post
Using RAII to remedy a defect where not all code paths performed required exit actions, follow-up
devblogs.microsoft.com·4d
🐚Shell Monads
Flag this post
On dealing with GPT results, or, Pots, Kettles And Hallucinations
ebellani.github.io·3d·
Discuss: Hacker News
🔲Proof Irrelevance
Flag this post
AI bro introduces regressions in the LTS Linux kernel
xcancel.com·16h·
Discuss: r/programming
❄️Nix Flakes
Flag this post
Anthropic brings its Claude Code tool to the browser
the-decoder.com·8h
🚀Indie Hacking
Flag this post
I used a hybrid NER pipeline to find the most loved chef knives on Reddit
news.ycombinator.com·2d·
Discuss: Hacker News
🔍Information Retrieval
Flag this post
Software is now eating itself
devpg.substack.com·2d·
Discuss: Substack
🔄Language Evolution
Flag this post
You think you have data lineage, but you probably don't
news.ycombinator.com·4d·
Discuss: Hacker News
🔗Data Provenance
Flag this post
AI Generalist Evaluator Remote Job $35-$40/hr
dev.to·5h·
Discuss: DEV
Proof Automation
Flag this post
GPU 101 and Triton kernels
reddit.com·1d·
💻Local LLMs
Flag this post
Tech With Tim: My top 5 python programming course recommendations
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Dynamic Resource Orchestration via Predictive Workload Holography in Edge-Native Cloudlets
dev.to·1d·
Discuss: DEV
Performance Mythology
Flag this post
Capturing Head Avatar with Hand Contacts from a Monocular Video
arxiv.org·16h
📐Projective Geometry
Flag this post
A Simple Method for PMF Estimation on Large Supports
arxiv.org·1d
🧮Kolmogorov Bounds
Flag this post
The future of Python web services looks GIL-free
blog.baro.dev·2d·
🌊Stream Processing
Flag this post
Processing 10 Million Records with AI on a $1,500 Budget
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Flag this post
Tech With Tim: How to Write Production Python Code
dev.to·18h·
Discuss: DEV
📜Proof Carrying Code
Flag this post
MILES: Modality-Informed Learning Rate Scheduler for Balancing Multimodal Learning
arxiv.org·16h
📊Learned Metrics
Flag this post