artjom's Top FindsLoading...
Fixed Points via Logically Contractive Maps
lightcapai.medium.com·3h·
Discuss: Hacker News
✅formal methods
Toit: A modern high-level language designed specifically for microcontrollers
toitlang.org·10h·
Discuss: Hacker News
🔄compilers
MCP vs SDK: Two Paths to LLM-Powered Extensibility
osada.blog·7h·
Discuss: Hacker News, r/programming
⚙️systems programming
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·1d·
Discuss: Hacker News
⚙️systems programming
Quacking Performance: DuckDB
mackle.io·1d·
Discuss: Hacker News
⚡query optimization
Why Tail-Recursive Functions Are Loops
kmicinski.com·1d·
Discuss: Hacker News
⚙️systems programming
Oops Safari, I Think You Spilled Something
blog.exodusintel.com·1d·
Discuss: Lobsters, Hacker News
🔄compilers
Redis 8.2 is GA and brings more performance, efficiency, and new commands
redis.io·3h·
Discuss: Hacker News
The Amazon DynamoDB data modeling MCP tool
aws.amazon.com·2d·
Discuss: Hacker News
🗄️databases
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·3d·
Discuss: Hacker News
⚙️systems programming
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
Why do we even need SIMD instructions ?
lemire.me·4h·
Discuss: Hacker News
🔄compilers
WIP: Nvidia Parakeet ASR mode inference in GGML
github.com·9h·
Discuss: Hacker News
🔄compilers
HRT's Python Fork: Leveraging PEP 690 for Faster Imports
hudsonrivertrading.com·1d·
Discuss: Hacker News
⚙️systems programming
Replacing Agent Prompt Templates with Trainable Control Modules in DSPy
viksit.substack.com·2d·
Discuss: Substack
⚙️systems programming
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com·2d·
Discuss: Hacker News
🐫ocaml
Running a Reliable Service on LLMs
fin.ai·11h·
Discuss: Hacker News
✅formal methods
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
The Welfare Costs of Low-Friction Idea Production
gojiberries.io·2h·
Discuss: Hacker News
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·1d·
Discuss: Hacker News
✅formal methods
GPT-5 vs. Sonnet: Complex Agentic Coding
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
⚙️systems programming