"Moloch's bargain"?
languagelog.ldc.upenn.eduยท5h
๐Ÿ”ฒCellular Automata
More on Carmichael
johndcook.comยท3dยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
I Built an AI Flood Forecasting System with Next.js 15 &
future.forem.comยท7hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Experimenting with ACL2 and Claude Code
mikedodds.orgยท2dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
**Nue 2.0:** The UNIX of the web
nuejs.orgยท2dยท
Discuss: Hacker News
๐ŸŒWeb Standards
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.comยท1dยท
๐Ÿ›ก๏ธByzantine Fault Tolerance
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.ioยท1dยท
๐ŸŽ™๏ธWhisper
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.ioยท6dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Just use Llama.cpp
markjgsmith.comยท7h
๐Ÿ”—Lisp
Counterfactual Identifiability via Dynamic Optimal Transport
arxiv.orgยท2d
๐Ÿ”Vector Forensics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠQuantization
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.toยท3dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Build a Private AI Chatbot for Your PDFs with Genkit and Gaia
dev.toยท15hยท
Discuss: DEV
๐Ÿ“„Document Streaming
Security Affairs newsletter Round 545 by Pierluigi Paganini โ€“ INTERNATIONAL EDITION
securityaffairs.comยท7h
๐Ÿ”“Hacking
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท2dยท
Discuss: r/programming
๐Ÿง Lisp Dialects
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.toยท2dยท
Discuss: DEV
๐ŸŒWASI
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.orgยท5d
๐ŸŽฏPerformance Proofs
Addressing the ID-Matching Challenge in Long Video Captioning
arxiv.orgยท3d
๐Ÿ“Vector Similarity