AAS: The Metric for Monitoring DB Performance
kylehailey.comยท2hยท
Discuss: Hacker News
๐Ÿ“ŠDatabase Monitoring
Experimenting with ACL2 and Claude Code
mikedodds.orgยท16hยท
Discuss: Hacker News
๐Ÿ’ฌLanguage Servers
pgtricks โ€“ two tools for backing up PostgreSQL database dumps
github.comยท10hยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Replication
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท15hยท
Discuss: Hacker News
โ˜๏ธServerless Rust
Making GitHub Issues Search Suck Less with BigQuery, Vertex AI and CloudQuery
cloudquery.ioยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธAI Infrastructure
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Show HN: Realization Jsmn on a Pure Zig
github.comยท19hยท
Discuss: Hacker News
โ˜๏ธServerless Rust
Making performant Python bindings to compiled code
kylebarron.devยท3dยท
Discuss: Hacker News
๐ŸงฉWebAssembly
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท16hยท
Discuss: r/programming
๐Ÿ’ฌLanguage Servers
Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning
arxiviq.substack.comยท1dยท
Discuss: Substack
๐Ÿ—๏ธAI Infrastructure
A new breed of analyzers
daniel.haxx.seยท17hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”Static Analysis
Multi-Core By Default
rfleury.comยท1dยท
Discuss: Lobsters, Hacker News
โšกTokio
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.caยท6hยท
Discuss: Hacker News
๐ŸงฉLow-code
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.orgยท4d
๐Ÿ’ฌLanguage Servers
English - the hottest programming language of the future
dev.toยท11hยท
Discuss: DEV
๐ŸงฉLow-code
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท1d
ฮปFunctional Programming
A Detailed Workflow for Creating an MCP Server that Returns MySQL Schema Information Using Vibe Coding
dev.toยท2dยท
Discuss: DEV
๐Ÿ—ƒ๏ธdatabase engineering
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.ioยท4dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท1dยท
Discuss: Hacker News, r/programming
โœจvibe-coding