Feeds to Scour
SubscribedAll
Scoured 17169 posts in 413.5 ms
How to write your first obfuscator of Java Bytecode
blog.quarkslab.com·5d
📜Proof Carrying Code
Practical Refinement Session Type Inference (Extended Version)
arxiv.org·1d
🔄Session Type Inference
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·4d
🧠Separation Logic
Building Scalable AI Applications: Architecture Patterns That Actually Work
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
Building a “Bflix-Style” Streaming Backend with Python (FastAPI + Async Magic)
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
A Quick Introduction to OxCaml
noelwelsh.com·5d·
Discuss: Hacker News
💧Liquid Types
Micro-Front Ends in 2026: Architecture Win or Enterprise Tax?
iocombats.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Rewriting pycparser with the help of an LLM
eli.thegreenplace.net·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/Compilers
📝Concrete Syntax
Opus 4.5 really changed things
kylerush.org·1d·
Discuss: Hacker News
📚MARC Evolution
The Five Types of Programmers (2010)
stevenbenner.com·1d·
Discuss: Hacker News
🔩Systems Programming
How WebAssembly and Web Workers prevent UI freezes
thenewstack.io·2d
🛡️WebAssembly Security
How Meta turned the Linux Kernel into a planet-scale Load Balancer. Part I
softwarefrontier.substack.com·2d·
Discuss: Substack
🤖Network Automation
Show HN: EdgeAI-OS – Air-gapped Linux distro where AI is a system primitive
news.ycombinator.com·23h·
Discuss: Hacker News
🔌Operating system internals
Java UI in 2026: an overview of current frameworks and approaches
robintegg.com·2d·
Discuss: Hacker News
🌐Web Standards
Build Systems and Build Philosophy
abseil.io·4d·
Discuss: Lobsters
🔄Reproducible Builds
LlamaLib: A cross-platform C++/C# library for local LLMs based on llama.cpp
github.com·3d·
Discuss: Hacker News
💻Local LLMs
Extracting Xcode's Claude Code Prompt
jackpearce.co.uk·2d·
Discuss: Hacker News
🌳Incremental Parsing
Architecture for Flow • Susanne Kaiser & James Lewis • GOTO 2026
youtube.com·4d
⚡Incremental Computation
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·4d·
Discuss: Hacker News
🔗Functional Compilers
Code only says what it does
brooker.co.za·2d·
Discuss: Hacker News
📜Proof Carrying Code

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