Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท3dยท
Discuss: Hacker News
๐Ÿ“Type Theory
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.comยท19hยท
๐Ÿ”€SIMD Programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Dependent Types
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.devยท1dยท
Discuss: Hacker News
๐ŸŒฟTrie Structures
Flag this post
Reverse Engineering Googles BotGuard
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”“Binary Exploitation
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.comยท2dยท
๐ŸงฎVector Databases
Flag this post
Getting Started with Generative AI Models: Concepts and Building Blocks
pub.towardsai.netยท6h
๐ŸŽจCreative Coding
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.orgยท2d
๐Ÿ”RAG
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.comยท10hยท
Discuss: Hacker News
๐ŸŽจDesign Systems
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ฌNatural Language Processing
Flag this post
๐ŸŒ€ Brent's Algorithm Explained โ€“ Faster Cycle Detection for Beginners
dev.toยท4dยท
Discuss: DEV
๐ŸŒฒSegment Trees
Flag this post
Beyond the "Vibe Check": How to Use the Web Codegen Scorer to Master AI-Generated Code
dev.toยท15hยท
Discuss: DEV
โš™๏ธJIT Compilation
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.orgยท6h
โˆ˜Category Theory
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.orgยท1d
๐Ÿ’ฌPrompt Engineering
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.orgยท6h
๐Ÿ“Parsing
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.orgยท2d
โš›๏ธQuantum Computing
Flag this post
A Criminology of Machines
arxiv.orgยท6h
๐Ÿค–Cyberpunk
Flag this post