Feeds to Scour
SubscribedAll
Scoured 77890 posts in 494.3 ms
weitianxin/Awesome-Agentic-Reasoning
github.com·56m
🤖Abstract Machines
Preview
Report Post
Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
arxiv.org·1d
🧩Prolog
Preview
Report Post
A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems
arxiv.org·1d
🎨Graph Coloring
Preview
Report Post
From logical reasoning to code in C and PHP
dev.to·22h·
Discuss: DEV
📋Datalog
Preview
Report Post
Rainbow Query Language
rbql.org·1d
📊Query Optimizers
Preview
Report Post
Solved yet stuck
kevinsdias.com·11h
🧩Prolog
Preview
Report Post
On Learning Elixir
denvaar.dev·1d
🚂Error Propagation
Preview
Report Post
Binary Algorithms
exystence.net·1d
📡Binary Protocols
Preview
Report Post
Accessibility Input Protocol (`a11y_input_v1`) (#149) · Issues · wayland / wayland-protocols
gitlab.freedesktop.org·22h·
Discuss: Hacker News
🌉Language Bindings
Preview
Report Post
Constraints Not Loops: Building Features in Reverse
coey.dev·1d
🔗Parser Combinators
Preview
Report Post
Self-hosted AI data workflow: DB and Ollama and SQL
exasol.github.io·17h·
Discuss: Hacker News
🔄Incremental Lexing
Preview
Report Post
Amazon shopping automation without vision: verification gate+local model (3B)
news.ycombinator.com·18h·
Discuss: Hacker News
🏰Capability Machines
Preview
Report Post
Making a Language
thunderseethe.dev·11h
🔬programming language theory
Preview
Report Post
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·2d
🧩SAT Solvers
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·17h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Software as clay on the wheel
dri.es·1d
💬Interactive REPLs
Preview
Report Post
Implementing Dino from Scratch
logits.bearblog.dev·1d·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees
dev.to·12h·
Discuss: DEV
🚂Error Propagation
Preview
Report Post
🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...
freederia.com·1d
🎨Domain-Specific Languages
Preview
Report Post

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