Defining Types for a Simple HTTP Server
mmhaskell.com·1d
🔧Binary Parsing
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
The Dumpster Dive Principle
ninjasandrobots.com·1h·
Discuss: Hacker News
⚙️DIY Electronics
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·9h·
Discuss: Hacker News
📡RSS Automation
Flag this post
Brooks's Law
en.wikipedia.org·22h·
Discuss: Hacker News
🔄Lens Laws
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·15h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
A Project Is Not a Bundle of Tasks
secondthoughts.ai·18h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·14h
🎯Arithmetic Coding Theory
Flag this post
Automated Discovery of Conservation Laws via Hybrid Neural ODE-Transformers
arxiv.org·14h
🌀Differential Geometry
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·14h
🔄Language Evolution
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
💻Local LLMs
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·1d·
Discuss: DEV
📐Mathematical Art
Flag this post
Balanced Multimodal Learning via Mutual Information
arxiv.org·14h
📈Mutual Information
Flag this post
LLM Judges aren’t the shortcut you think
softwaredoug.com·2d·
Discuss: Hacker News
🧠Learned Indexing
Flag this post