Rust-Written Redox OS Enables Multi-Threading By Default
lxer.comยท16h
๐ŸŒช๏ธV8 Pipeline
Logitech G515 Rapid TKL keyboard review: Smooth magnetism
shacknews.comยท2h
๐ŸŒŠGradual Typing
Bonito.jl โ€“ A flashy Julia web framework
makie.orgยท16hยท
Discuss: Hacker News
๐ŸŒ™Lua
New Straight-Line Extractable NIZKPs for Cryptographic Group Actions
eprint.iacr.orgยท4d
๐Ÿ”€SSA Construction
Cronosonics: When Essays Sing
blog.mycal.netยท1d
๐Ÿ”—Concatenative Theory
What If Life Is Just Another Kind of Computer?
zmescience.comยท18h
๐Ÿ›๏ธElm Architecture
original โ†—
danq.meยท3d
๐ŸŒฑTiny Languages
Creating a Live Budget App on a Budget
ai.darefail.comยท1dยท
Discuss: Hacker News
โšกLive Coding
The Inverse Matrix problem
talesfrom.devยท2d
๐Ÿš‚Error Propagation
Breaking decompilers with single-function, and no-main() C codebases
joshua.huยท5dยท
Discuss: Hacker News
๐ŸšชFunction Prologues
Built a small Rust-based LC-3 linter & formatter โ€” feedback welcome!
reddit.comยท1dยท
Discuss: r/rust
๐Ÿš‚Cranelift Backend
My Everyday Keyboard From Logitech Is 20% Off Today
howtogeek.comยท8h
๐Ÿ“Text Editors
DSPy-ReAct-Machina: An Alternative Multi-Turn ReAct Module for DSPy
dev.toยท1dยท
Discuss: DEV
๐Ÿ›๏ธElm Architecture
Thinking About Switching to Omarchy โ€” Is It Worth It?
dev.toยท2hยท
Discuss: DEV
๐Ÿ’ฌSmalltalk VMs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.orgยท23h
โœ…Type Checking
๐ŸŽ™๏ธ Building an AI-Powered Interview Analyzer on GCP
dev.toยท1dยท
Discuss: DEV
๐Ÿš€Tokenizer Performance
The Future of Code Is Negotiation, Not Instruction.
dev.toยท19hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
"Intelligence" -> "Relentless, Creative Resourcefulness"
lesswrong.comยท1d
๐Ÿš‚Error Propagation
Taylor Swift reveals why she wasn't interested in Super Bowl halftime: 'I'm just too locked in'
nytimes.comยท11h
๐Ÿ indieweb
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.orgยท23h
๐ŸŒฑMinimal ML