Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
🔧programming language design
Flag this post
Fourier Transforms
continuummechanics.org·6h·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·15h
🦀Borrow Checker
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·1h·
Discuss: Hacker News
🔧programming language design
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·8h·
Discuss: Hacker News, r/programming
🔧programming language design
Flag this post
DeepL Unveils Next-Gen Language AI tools and Game-Changing Agentic Productivity Solution
prnewswire.com·11h
📲local-first software
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·2d·
Discuss: Substack
🔧programming language design
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.com·1d·
Discuss: DEV
🦀Borrow Checker
Flag this post
Co-Optimizing GPU Architecture And SW To Enhance Edge Inference Performance (NVIDIA)
semiengineering.com·6h
🧮Algebraic Effects
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔧programming language design
Flag this post
I ace CS exams but can’t code my way out of a loop — and my profs still picked me for competitive programming 😭 What do I do?
reddit.com·11h·
Discuss: r/AskProgramming
🔧programming language design
Flag this post
Branched Signature Model
arxiv.org·1d
🔧programming language design
Flag this post
The Art of the Meta: A Journey into JavaScript Proxies
dev.to·2d·
Discuss: DEV
🔧programming language design
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·2d·
Discuss: Lobsters, Hacker News
🔧programming language design
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·19h
🧮Algebraic Effects
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
Cj: a tiny no-deps JIT in C for x86-64 and ARM64
reddit.com·5h·
Discuss: r/programming
🔧programming language design
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·1d
🔧programming language design
Flag this post
10 Smart Performance Hacks For Faster Python Code
blog.jetbrains.com·13h
🔧programming language design
Flag this post
Automated REST API Anomaly Detection via Graph Neural Network-Driven Causal Inference
dev.to·5h·
Discuss: DEV
📲local-first software
Flag this post