Feeds to Scour
SubscribedAll
Scoured 23324 posts in 524.4 ms
Backdoors With Manners: When AI Writes Clean Code That Turns Malicious Later
hackernoon.com·2d
🕵️Vector Smuggling
Convolutional Neural Networks using Logarithmic Data Representation
dev.to·3d·
Discuss: DEV
🧠Machine Learning
**Title**
dev.to·4d·
Discuss: DEV
👁️Perceptual Hashing
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·3d
📝Concrete Syntax
Are Reasoning LLMs Robust to Interventions on Their Chain-of-Thought?
arxiv.org·1d
🧠Computational Logic
PBLean: Pseudo-Boolean Proof Certificates for Lean 4
arxiv.org·1d
⚔️Lean Tactics
Why you should consider F#
asfaload.com·5d·
Discuss: Hacker News
🔒Type Safety
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·4d·
Discuss: Hacker News
🔲Proof Irrelevance
Soft Delete Is a Workaround
docs.eventsourcingdb.io·2d·
Discuss: Hacker News
⛏️SQL Archaeology
gRPC deep dive: from service definition to wire format
kreya.app·2d·
Discuss: Hacker News
⚡gRPC
I Wrote a Scheme in 2025
maplant.com·2d·
Discuss: Lobsters, Hacker News
🐚Bash Combinators
parse human-friendly filter strings into structured queries
filtron.dev·2d·
Discuss: Hacker News
🧮Datalog
SecretSpec 0.7: Declarative Secret Generation
devenv.sh·2d·
Discuss: Lobsters, Hacker News, r/NixOS, r/programming
🦠Parasitic Archives
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·4d·
Discuss: Hacker News
🦀Rust Macros
I vibecoded a production grade internationalization library in 2 days
sklivvz.com·2d·
Discuss: Hacker News
🌀Brotli Internals
AI Orchestrators Decision Table
gist.github.com·2d·
Discuss: Hacker News
⚡Proof Automation
File based project management for AI agents
markdownprojects.com·2d·
Discuss: Hacker News
🤖Archive Automation
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·3d·
Discuss: Hacker News
💻Programming languages
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·5d·
Discuss: Hacker News
💻Programming languages
Building the Future with AI That Acts
devxt.com·3d·
Discuss: Hacker News
🏠Homelab Orchestration

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