The last bookstore in the Upper East
advait.live·1h·
Discuss: Hacker News
💾Retrocomputing
Thundering Herd Problem: Preventing the Stampede
distributed-computing-musings.com·1d
⚡Concurrency
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·13h·
Discuss: Hacker News
🎲Probabilistic Programming
Newscast : BBCNEWS : August 26, 2025 12:30am-1:00am BST
archive.org·10h
🤖Sci-Fi
Beyond Vector Databases: RAG Architectures Without Embeddings
digitalocean.com·22h
🔗Parser Combinators
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·15h·
Discuss: Hacker News
🔧Compiler Design
Avoiding feature creep in electronics projects: a DHT20 example
blog.a1w.ca·13h
🛡️IoT Security
How To Argue With An AI Booster
wheresyoured.at·18h·
Discuss: Hacker News
🧩Theorem Proving
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·19h·
Discuss: Hacker News
✅Formal Verification
Long Shot: augmenting COCONUT with a working memory
github.com·16h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
Reconciling Communication Compression and Byzantine-Robustness in Distributed Learning
arxiv.org·5h
🎲Probabilistic Programming
Cognitive Agents Powered by Large Language Models for Agile Software Project Management
arxiv.org·5h
🎲Probabilistic Programming
Linguistic Neuron Overlap Patterns to Facilitate Cross-lingual Transfer on Low-resource Languages
arxiv.org·5h
🧮Programming Language Theory
SSFO: Self-Supervised Faithfulness Optimization for Retrieval-Augmented Generation
arxiv.org·5h
🔗Parser Combinators
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·5h
🎲Probabilistic Programming
ChartMaster: Advancing Chart-to-Code Generation with Real-World Charts and Chart Similarity Reinforcement Learning
arxiv.org·5h
🎲Probabilistic Programming
MSNav: Zero-Shot Vision-and-Language Navigation with Dynamic Memory and LLM Spatial Reasoning
arxiv.org·5h
🔗Parser Combinators
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·3d·
Discuss: Hacker News
🧩Theorem Proving
Benchmarking the Medical Understanding and Reasoning of Large Language Models in Arabic Healthcare Tasks
arxiv.org·1d
🔗Parser Combinators
Programmable k-local Ising Machines and all-optical Kolmogorov-Arnold Networks on Photonic Platforms
arxiv.org·5h
🔐Cryptography