Feeds to Scour
SubscribedAll
Scoured 23300 posts in 353.1 ms
This [is/was] For Everyone
cogdogblog.com·2d
🏰Manuscript Networks
Convolutional Neural Networks using Logarithmic Data Representation
dev.to·3d·
Discuss: DEV
🧠Machine Learning
How to Use AI Hallucination to Generate Your Software Spec
dev.to·3d·
Discuss: DEV
⚡SMT Integration
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·3d
💨Cache Analysis
Intermediate Results on the Complexity of STRIPS$_{1}^{1}$
arxiv.org·1d
🎯Performance Proofs
Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
arxiv.org·1d
🗣️Domain-Specific Languages
SecretSpec 0.7: Declarative Secret Generation
devenv.sh·2d·
Discuss: Lobsters, Hacker News, r/NixOS, r/programming
🦠Parasitic Archives
parse human-friendly filter strings into structured queries
filtron.dev·2d·
Discuss: Hacker News
🧮Datalog
File based project management for AI agents
markdownprojects.com·2d·
Discuss: Hacker News
🤖Archive Automation
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·5d·
Discuss: Hacker News
💻Programming languages
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·3d·
Discuss: Hacker News
💻Programming languages
First Proof | Research-Level Math for AI Evaluation
1stproof.org·5d·
Discuss: Hacker News
🎯Performance Proofs
AI Workflows with human-in-the-loop
weavemind.ai·3d·
Discuss: Hacker News
⚡Incremental Computation
Code only says what it does
brooker.co.za·3d·
Discuss: Hacker News
📜Proof Carrying Code
eBPF Gives You Packets. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com·2d·
Discuss: Substack
🛡️eBPF Security
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.com·4d·
Discuss: Hacker News
🔮Proof Search
We recreated the Anthropic C compiler agent
vizops.ai·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
The Future of Software Engineering
poberezkin.com·2d·
Discuss: Hacker News
💻Programming languages
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·3d·
Discuss: Hacker News
⚖️Hoare Logic
dev-formata-io/limitr: An embedded monetization policy engine built on Stof.
github.com·23h·
Discuss: Hacker News
🌊Streaming Systems

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