Coroutines in C
hackaday.com·3d
🔩Systems Programming
This “smart coach” helps LLMs switch between text and code
news.mit.edu·17h
💻Local LLMs
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·13h·
Discuss: Hacker News
🏛Digital humanities
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·14h·
Discuss: Substack
💻Programming languages
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d
⚡Proof Automation
Measuring the latency that GIL introduces to Python applications
coroot.com·2d·
Discuss: Hacker News
🔍eBPF
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·14h
📜Proof Carrying Code
Generating Production-Ready MCP Servers
withcoherence.com·6h·
Discuss: Hacker News
🔌Interface Evolution
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·9h
🌊Stream Processing
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
NixOS: Declarative Management, Imperative Privilege Escalation
labs.snyk.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Three unrelated thoughts about working with LLMs
henrycourse.com·22h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Zig's new Writer
openmymind.net·21h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Cheeky Python Shell Script
leontrolski.github.io·1d·
Discuss: Hacker News
🐚Shell scripting
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·17h
🗂️Vector Databases
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·3d·
Discuss: r/programming
✅Format Verification
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·1d
🌳Context free grammars
Python Fundamentals: build
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·17h
🔐Quantum Security