We're Counting Birbs Today
counting-stuff.comยท4hยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
Flag this post
Independently verifying Go's reproducible builds
golangweekly.comยท1d
๐Ÿ”„Reproducible Builds
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.orgยท3dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท5d
ฮปFunctional Programming
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท6d
ฮปFunctional Programming
Flag this post
[D] Moral Uncertainty Around Emerging AI Introspection
reddit.comยท1dยท
๐Ÿ”ฒCellular Automata
Flag this post
GTIG AI Threat Tracker: Advances in Threat Actor Usage of AI Tools
cloud.google.comยท11hยท
Discuss: Hacker News
๐Ÿ›ก๏ธmacOS Security
Flag this post
๐Ÿ“ข New Series: Neuro-Symbolic Wednesday
dev.toยท16hยท
Discuss: DEV
๐Ÿ“Linear Algebra
Flag this post
Revisiting Model Interpolation for Efficient Reasoning
dev.toยท2dยท
Discuss: DEV
๐ŸงฉSeparation Logic
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.orgยท1d
โš™๏ธCompiler Design
Flag this post
Using ensemble learning with hybrid graph neural networks and transformers to predict traffic in cities
arxiv.orgยท20h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠRuntime Verification
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.orgยท1d
๐ŸงฉParser Combinators
Flag this post
The Mind Was Never Meant to Be Debugged
dev.toยท19hยท
Discuss: DEV
๐ŸฉนSelf-Healing Systems
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.comยท1dยท
๐Ÿ’พRetro Computing
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.orgยท1d
๐ŸงฉParser Combinators
Flag this post
From user to implementer: My journey understanding coding agents
reddit.comยท1dยท
Discuss: r/programming
๐Ÿ”„Reproducible Builds
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠRuntime Verification
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠRuntime Verification
Flag this post