Feeds to Scour
SubscribedAll
Scoured 5284 posts in 16.6 ms
The Abstraction Ratchet
write.as·1d·
Discuss: Hacker News
🔬Static Analysis
EsoLang-Bench: Evaluating LLMs via Esoteric Programming Languages
esolang-bench.vercel.app·1d·
Discuss: Hacker News
⚙️Compiler Design
ATOMiK: Delta-state algebra that replaces snapshots, event replay, and consensus
atomik.tech·1d·
Discuss: Hacker News
🔍CBMC
🦀 Statum: Zero-Boilerplate Compile-Time State Machines in Rust
reddit.com·1d·
Discuss: r/rust
🏗️Dune
Towards a Higher-Order Mathematical Operational Semantics
arxiv.org·6d
⚙Operational Semantics
How reactive streams could be rewritten using plain Java APIs
linkedin.com·7h·
Discuss: r/programming
💎Refinement Types
LLMs as Giant Lookup-Tables of Shallow Circuits
lesswrong.com·1d
🐫Embedded OCaml
Affine Space Types
videocortex.io·2d·
Discuss: Lobsters
🔢Algebraic Data Types
From 8086 to Z80: Building a NASM-Inspired SDK for 8-Bit Retro Computing
hackaday.com·1d
💾Retro Computing
OpenAI’s GPT-5.4 mini and nano are built for the subagent era
thenewstack.io·1d
🐳Containerization
In search of falsehood – using Opus 4.6 to prove False
tristan.st·5h·
Discuss: Hacker News
📐Hoare Logic
Constructing Weakly Terminating Interface Protocols
arxiv.org·20h
🌐NetworkProtocols
Cicikuş Classic Is Live
huggingface.co·13h·
Discuss: Hacker News
💻CS
The joy of reading the code
pdole.ga·1d·
Discuss: Lobsters
🎯GADT
Java 26 lands without an LTS badge. Here’s why developers should care anyway.
thenewstack.io·7h
🔄Reproducible Builds
Ternary RISC Processor Achieves Non-Binary Computing Via FPGA
hackaday.com·1d
🔧Microcontrollers
Context Broker for AI Coding Agents
packet28.dev·7h·
Discuss: Hacker News
🧩Parser Combinators
Vector, the Journal of the British APL Association
web.archive.org·4h·
Discuss: Hacker News
🧮Lambda Calculus
AI enhanecd development: the hard work is still in the requirements!
dev-log.me·15h·
Discuss: r/programming
🧮Lean4
Less-relevant results
Optimizing Models of Hybrid Quantum/Classical Computation [PDF] (2024)
repositorio-aberto.up.pt·2d·
Discuss: Lobsters
📐Linear Algebra

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help