Feeds to Scour
SubscribedAll
Scoured 24795 posts in 25.6 ms
KripkesBeard/programming-for-philosophers: Startings of a textbook which teaches declarative programming for applications in philosophy.  💻Programming languages
github.com·2d·Hacker News
A Foundation Model for Zero-Shot Logical Rule Induction  🌳Context free grammars
arxiv.org·5d
Ask HN: What kind of computer language will LLM use?  📝Concrete Syntax
news.ycombinator.com·3d·Hacker News
The Logic of Paradox as a substructural logic  🔲Proof Irrelevance
consequently.org·21h
Relational modeling and APL ⁑ Dercuano  📊APL Heritage
dercuano.github.io·2d·Lobsters
Ancient soil temperatures may have steered millet farming across Neolithic East Asia  📰RSS Archaeology
phys.org·4d
North Korea revises constitution to drop references to unification with South  📝ABNF Parsing
the-independent.com·6d
Bounding Fixed Points of Non-Monotone Processes: Theory to Practice  🎯Performance Proofs
arxiv.org·1d
Predicate pushdown, a planner perspective  🔗Constraint Handling
floedb.ai·4d·Hacker News
Bridging the Programming Language Gap: Constructing a Multilingual Shared Semantic Space through AST Unification and Graph Matching  🔢Denotational Semantics
arxiv.org·1d
North Korea drops unification goal with South Korea in major constitution update  📝ABNF Parsing
the-independent.com·6d
North Korea drops references to unification from constitution  📝ABNF Parsing
channelnewsasia.com·6d·Hacker News
ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor  🤖Grammar Induction
arxiv.org·5d
From 0-Order Selection to 2-Order Judgment: Combinatorial Hardening Exposes Compositional Failures in Frontier LLMs  🧮Z3 Solver
arxiv.org·1d
Large Language Models are Universal Reasoners for Visual Generation  🌳Context free grammars
arxiv.org·6d·r/StableDiffusion
Behavior Cue Reasoning: Monitorable Reasoning Improves Efficiency and Safety through Oversight  📏Linear Logic
arxiv.org·1d
Rethinking Dense Sequential Chains: Reasoning Language Models Can Extract Answers from Sparse, Order-Shuffling Chain-of-Thoughts  🧮Prolog Parsing
arxiv.org·1d
Continuations and Completeness in Proof-theoretic Semantics  🏗️Constructive Logic
arxiv.org·5d
Rose-SQL: Role-State Evolution Guided Structured Reasoning for Multi-Turn Text-to-SQL  🧮Datalog Systems
arxiv.org·6d
Algebraic Semantics of Datalog with Equality  🧮Datalog
arxiv.org·5d

No more posts from matmat's subscribed feeds.

Scour all 24963 feedsLearn more about Feeds

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