💥 Recursion in Java: Unlock the Power
dev.to·15h·
Discuss: DEV
🪢Rope Data Structures
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·8h
🔍Refinement Types
SWE-Bench Failures: When Coding Agents Spiral into 693 Lines of Hallucinations
surgehq.ai·9h·
Discuss: Hacker News
🔧Error Recovery
Trade-offs in designing DSLs (in Rust)
forgestream.idverse.com·1d·
Discuss: r/rust
🪆Embedded DSLs
We have outgrown the Process model
sidhion.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯Ring Buffers
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·2d
📜Proof Languages
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·2d·
Discuss: r/rust
🦀Rust Macros
GPU Accelerated Zero-Knowledge Proving by Developerayo
blog.shodipoayomide.com·6h·
Discuss: Hacker News
💾Cache-Oblivious Algorithms
Reworking Memory Management in CRuby
railsatscale.com·2d·
Discuss: Hacker News
🧠Memory Allocators
What’s Next for JavaScript: Upcoming Features, Trends, and Tooling
dev.to·1d·
Discuss: DEV
🌈Gradual Languages
Swift 6.2 advances the language meaningfully
victorwynne.com·2d·
Discuss: Hacker News, r/programming
🦉Swift Interpreters
Issue 490
haskellweekly.news·18h
⚡functional programming
GTA -- An ATSP Method: Shifting the Bottleneck from Algorithm to RAM
arxiv.org·1d
⏲️Embedded GC
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·20h·
Discuss: DEV
🌊Gradual Typing
SQL Rewriting vs. Indexing: How AI-Powered Structural Optimization Achieves 20x Scalability Gains
dev.to·1d·
Discuss: DEV
🗃️Query Compilation
Compiling with Continuations
swatson555.github.io·2d·
Discuss: Hacker News
🔬programming language theory
Researchers argue that 'at least 40%' of the bloated x86 ISA could be removed and emulated to improve CPU efficiency
pcgamer.com·1d
🔧RISC-V
[Python tool] Anti bot text obfuscator
discuss.privacyguides.net·6h
📝Rope Editors
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩Constraint Solvers
Prompt analytics without the complexity (or vendor lock-in)
testune.xyz·16h·
Discuss: DEV, Hacker News
💬Interactive REPLs