jaens's Top FindsLoading...
essential spectrum
ncatlab.org·15h
🔄Functional Programming
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔧programming language design
Flag this post
Limitations of a two-pass assembler
boston.conman.org·23h
🔧programming language design
Flag this post
HTB: Dump
0xdf.gitlab.io·16h
📲local-first software
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·10h·
Discuss: Hacker News
🔧programming language design
Flag this post
How to Design Efficient Memory Architectures for Agentic AI Systems
pub.towardsai.net·7h
🔧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
OSS updates September and October 2025
blog.michielborkent.nl·2d
🔧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
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·3h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·1d
🧮Algebraic Effects
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·21h
🧮Algebraic Effects
Flag this post
Computation as a Game
arxiv.org·21h
🔄Functional Programming
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·10h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·21h
🔧programming language design
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·8h·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
reddit.com·14h·
Discuss: r/ClaudeAI
🔄Functional Programming
Flag this post