Another way of doing big O notation
alok.github.io·2d
🧮Algebraic Effects
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·1d
🔧programming language design
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·2h
🔧programming language design
Flag this post
Branched Signature Model
arxiv.org·2h
🔧programming language design
Flag this post
original ↗
raymondcamden.com·1d
🔧programming language design
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·1d
🔧programming language design
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·2h
🔧programming language design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2h
🧮Algebraic Effects
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·2h
🔧programming language design
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·17h·
Discuss: Hacker News, r/cpp
🔧programming language design
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·1d
🧮Algebraic Effects
Flag this post
When will `type A = impl Trait` where A is associated type become stable?
github.com·3h·
Discuss: r/rust
🔧programming language design
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·1d·
Discuss: Substack
🔧programming language design
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·13h·
Discuss: DEV
🔧programming language design
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·2h
🔧programming language design
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·8h·
Discuss: DEV
🧰software development practices
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·1d·
Discuss: r/LLM
🧮Algebraic Effects
Flag this post