Feeds to Scour
SubscribedAll
Scoured 19454 posts in 247.4 ms
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org·1d
📋Document Grammar
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Linear Regression: An Overview
dev.to·1d·
Discuss: DEV
🧠Machine Learning
GPT-5.3-Codex
dev.to·1d·
Discuss: DEV
📜Manuscript Workflows
HealthQL: SQL for Apple HealthKit
grantisom.com·6d
💾SQLite
Wrapping immutable objects
grahamdumpleton.me·6d
🔬Refinement Types
Recent Advances in LLMs for Mathematics
youtube.com·4d·
Discuss: Hacker News
✅Formal Methods
Evaluating Large Language Models on Agentic Workspace Bootstrapping
nightshift.sh·4d·
Discuss: Hacker News
⚡Proof Automation
Algebraic Effects for the Rest of Us
overreacted.io·4d
✨Algebraic Effects
Easy FunctionGemma finetuning with Tunix on Google TPUs
developers.googleblog.com·4d
💧Liquid Types
Building a Hybrid Esports Pick'em App with Astro and Firebase
lautarolobo.xyz·5d·
Discuss: Hacker News
📰Feed Readers
(1) Demystifying SKOS for Practitioners: A Practical Guide to Controlled Vocabularies
moderndata101.substack.com·5d·
Discuss: Substack
🏷️Metadata Standards
DTensor Erasure
blog.ezyang.com·5d·
Discuss: Hacker News
✨Effect Handlers
Calling Lean Functions As Python Functions
philipzucker.com·5d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
LLMs as the new high level language
federicopereiro.com·5d·
Discuss: Lobsters, Hacker News
🧩WASM Components
sathvikc/omni-db: Thin database orchestration library for Node.js - manage multiple connections with health monitoring and failover
github.com·4d·
Discuss: Hacker News
🌊Streaming Databases
iree-org/wave: Wave: Python Domain-Specific Language for High Performance Machine Learning
github.com·4d·
Discuss: Hacker News
🚀SIMD Parsing
If You Tell AI Not to Do Something, It’s More Likely to Do It
unite.ai·4d·
Discuss: Hacker News
🔗Constraint Handling
Bjarne’s Last Stand: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·4d·
Discuss: Substack, r/cpp
🦀Rust Borrowing
A TypeScript Interactive Fiction Platform
sharpee.net·6d·
Discuss: Hacker News
🎯Gradual Typing

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