jaens's Top FindsLoading...
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔧programming language design
Flag this post
HTB: Dump
0xdf.gitlab.io·13h
📲local-first software
Flag this post
How to Design Efficient Memory Architectures for Agentic AI Systems
pub.towardsai.net·4h
🔧programming language design
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·1d
🔧programming language design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2d·
Discuss: Hacker News
🔧programming language design
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·1d·
Discuss: DEV
🧰software development practices
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·6h·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·4d·
Discuss: Hacker News
🔧programming language design
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·1h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·23h
🧮Algebraic Effects
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·18h
🧮Algebraic Effects
Flag this post
Computation as a Game
arxiv.org·18h
🔄Functional Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·18h
🔧programming language design
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·8h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
reddit.com·12h·
Discuss: r/ClaudeAI
🔄Functional Programming
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
reddit.com·44m·
Discuss: r/compsci
🔄Functional Programming
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.com·2h·
Discuss: r/golang
🦀Borrow Checker
Flag this post