SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·4h·
Discuss: Hacker News
🧮Algorithms
Flag this post
Go Generics: Use Cases and Patterns
dev.to·10h·
Discuss: DEV
💻Programming Languages
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
💻Programming Languages
Flag this post
Reasoning with Sampling: Your Base Model Is Smarter Than You Think
aakaran.github.io·3h·
Discuss: Hacker News
🏗Datastructures
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧮Algorithms
Flag this post
<p>**Abstract:** This paper proposes a novel framework, CodeRefactorAI, for automated code refactoring and quality enhancement within large-scale microservice a...
freederia.com·1h
💻Programming Languages
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·5h·
Discuss: Hacker News
🧮Algorithms
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·8h·
Discuss: r/golang
💻Programming Languages
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
💻Programming Languages
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🧮Algorithms
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·21h
🧮Algorithms
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🏗Datastructures
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
devblogs.sh·1d·
Discuss: r/programming
💻Programming Languages
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·8h·
Discuss: DEV
🏗Datastructures
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🧮Algorithms
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·2h·
Discuss: Hacker News, r/rust
💻Programming Languages
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
💻Programming Languages
Flag this post
Moonshot's Kimi K2 Thinking emerges as leading open source AI, outperforming GPT-5, Claude Sonnet 4.5 on key benchmarks
venturebeat.com·2h
💻Programming Languages
Flag this post
map-of-shame - Unsafe operations on type-erased maps (Experimental)
github.com·13h·
Discuss: r/golang
🏗Datastructures
Flag this post
News for October 2025
ptreview.sublinear.info·2d
🧮Algorithms
Flag this post