Feeds to Scour
SubscribedAll
Scoured 4350 posts in 18.8 ms
Introducing Arcjet Guards: security inside the agent loop  ⚖️Copyleft
blog.arcjet.com·13h·Hacker News
Clojure us the future of AI coding, but you won't use it  🌳Tree-sitter
latypoff.com·1d·Hacker News
Porting microgpt to Futhark, Part I  ⚙️Language Implementation
kmjn.org·14h·Lobsters
The World's Most Advanced Team Scheduling Software  🐚Unix Philosophy
teamcal.ai·2d·Hacker News
Replacing probabilistic AI with deterministic math and Dafny formal verification  🚀JIT Compilation
gist.github.com·6d·Hacker News
Tans: Precomputing RANS  🖥️Computer Architecture
fergusfinn.com·12h·Hacker News
Why Your AI Agents Keep Breaking Your Workflows  🐚Unix Philosophy
keryxsolutions.substack.com·2d·Substack
Show HN: A programming language where the only token is the word "vibe"  ⚙️Language Implementation
wevibe.fyi·10h·Hacker News
Functional Programming in Lean - Functional Programming in Lean  🏗️Compiler Design
leanprover.github.io·3d·Hacker News
The Factory Must Grow (Part II): From Spaghetti AI Agent Orchestrator to a Main Bus  🚀JIT Compilation
blog.mariohayashi.com·2d·Hacker News
Soundness Failures in LaBRADOR Implementations from NTT -Friendly Rings  🔗Linkers
blog.zksecurity.xyz·18h·Hacker News, r/crypto
Agent Amnesia and the Case of Henry Molaison  🖥️Operating System Design
jumbocontext.com·2d·Hacker News
Ways in which GenAI has changed the way I write code so far  🚀JIT Compilation
lengrand.fr·14h·Hacker News
The model is still not the product  🐚Unix Philosophy
adlrocha.substack.com·4d·Substack
and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework  📈Developer Productivity
specdd.ai·16h·Hacker News
Graph-based software architecture platform  📈Developer Productivity
volcanic-dev.vercel.app·1d·Hacker News
Numbers No Machine Can Reach  🔤Text Algorithms
darkomulej.substack.com·6h·Substack
A breakthrough in C/C++ dependency management  ⚙️Language Implementation
lcamtuf.substack.com·5d·Substack, r/cpp
Agent-Augmented Meetings (2003)  🔬PLT
link.springer.com
·1d·Hacker News
Forging ZK proofs to mint arbitrary DUSK tokens  🌳Tree-sitter
osec.io·7h·Hacker News

No more posts from gagbo's subscribed feeds.

Scour all 24432 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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
Save / unsave
s
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