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ยท7hยท
Discuss: Hacker News
โš™๏ธDIY Electronics
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.usยท15hยท
Discuss: Hacker News
๐Ÿ“กRSS Automation
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.aiยท5hยท
Discuss: Hacker News
โšกPerformance Mythology
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.comยท21hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.comยท2hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Mathematical Art
Flag this post
Balanced Multimodal Learning via Mutual Information
arxiv.orgยท20h
๐Ÿ“ˆMutual Information
Flag this post
LLM Judges arenโ€™t the shortcut you think
softwaredoug.comยท3dยท
Discuss: Hacker News
๐Ÿง Learned Indexing
Flag this post
Building a Scalable API Event Logger using Pub/Sub, and BigQuery
dev.toยท1dยท
Discuss: DEV
โšกgRPC
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.comยท8hยท
๐Ÿ—„๏ธPostgreSQL WAL
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.comยท1dยท
โš”๏ธLean Tactics
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.orgยท20h
๐Ÿ”Information Retrieval
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท20h
๐ŸงฎKolmogorov Complexity
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.orgยท20h
๐Ÿ“ŠLearned Metrics
Flag this post
Augmenting learning in neuro-embodied systems through neurobiological first principles
arxiv.orgยท20h
๐Ÿ”ฒCellular Automata
Flag this post