Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.org·1d
🧠Memory Ordering
Flag this post
Scala 3 / HOCON Parsing
alexn.org·1d
🔗Lexical Scoping
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
I Tried Beating LeetCode Like a Game. It Actually Worked.
dev.to·9h·
Discuss: DEV
🌳Tree Walking
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·11h·
Discuss: Hacker News
✨Gleam
Flag this post
Oops, My UUIDs Collided
alexsci.com·11h·
Discuss: Hacker News
🔗Hash Functions
Flag this post
interpreter? hmm...
dev.to·12h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·10h·
Discuss: Hacker News
🏁Language Benchmarks
Flag this post
IPAB Workshop - 6/11/25
informatics.ed.ac.uk·1d
🎯Finite Automata
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🪄C Metaprogramming
Flag this post
Circular dependency check in Python
dev.to·6h·
Discuss: DEV
📦Dependency Analysis
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·1d
⚡Partial Evaluation
Flag this post
Why Partial<Type> is an extremely useful TypeScript feature?
event-driven.io·3d
🌊Gradual Typing
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·20h·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Flag this post
Milestones in open weights AI: what models shaped your journey?
reddit.com·7h·
Discuss: r/LocalLLaMA
🌱Minimal Interpreters
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔗Weak References
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post
What we didn't get in C++
pvs-studio.com·1d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Just released @leglaine/node-types – A lightweight, flexible type-checking library for Node.js
reddit.com·2d·
Discuss: r/node
✅Type Checking
Flag this post