🧩 programming

smalltalk, forth, pascal, c, c++, go rust, scheme, lisp, ruby, erlang, prolog

Microspeak: turn into a pumpkin
devblogs.microsoft.com·1d·
Discuss: Hacker News
🖥️operating systems
Flag this post
Accelerating AI inferencing with external KV Cache on Managed Lustre
cloud.google.com·1d
🎰Bytecode VMs
Flag this post
Ask HN: Where to Begin with "Modern" Emacs?
news.ycombinator.com·10h·
Discuss: Hacker News
💾vintage computing
Flag this post
Ghosts in the Compilation
predr.ag·2d·
Discuss: Lobsters, Hacker News, r/rust
🎰Bytecode VMs
Flag this post
Gaperon: A Peppered English-French Generative Language Model Suite
arxiv.org·2d
⚙️Compilers
Flag this post
Minecraft HDL, an HDL for Redstone
github.com·2d·
Discuss: Hacker News
🔱plan 9
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·2d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
📐Language Theory
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·12h·
Discuss: Lobsters, Hacker News, Hacker News
🎰Bytecode VMs
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·1d
⚙️Compilers
Flag this post
Can LLMs Estimate Cognitive Complexity of Reading Comprehension Items?
arxiv.org·2d
📐Language Theory
Flag this post
Empowering RepoQA-Agent based on Reinforcement Learning Driven by Monte-carlo Tree Search
arxiv.org·1d
🎰Bytecode VMs
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·1d
📐Language Theory
Flag this post
Perfetto: Swiss Army Knife for Linux Client Tracing
lalitm.com·1d·
Discuss: Lobsters, Hacker News, r/linux
🎰Bytecode VMs
Flag this post
How We Found 7 TiB of Memory Just Sitting Around
render.com·2d·
Discuss: Lobsters, Hacker News
🎰Bytecode VMs
Flag this post
Teaching Probabilistic Machine Learning in the Liberal Arts: Empowering Socially and Mathematically Informed AI Discourse
arxiv.org·2d
📐Language Theory
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
📐Language Theory
Flag this post
Disasters I've seen in a microservices world, part II
world.hey.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🎰Bytecode VMs
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·1d
📐Language Theory
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
📐Language Theory
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·2d
📐Language Theory
Flag this post