Feeds to Scour
SubscribedAll
Scoured 24557 posts in 16.5 ms
On the Expressive Power of Contextual Relations in Transformers  📐Binary Grammars
arxiv.org·3d·
Abstract Semantic Graph  🔢Denotational Semantics
en.wikipedia.org·1d·Hacker News·
Parsing a Chinese Poem as a Formal System That Runs  🌲Parse Trees
jimiwen.substack.com·2d·Substack·
A programming language specifically for AI code generation  🦀Rust Macros
aria-lang.com·6d·Hacker News·
Embeddable Common Lisp 26.3.27 release  🧠Lisp Dialects
ecl.common-lisp.dev·5d·Hacker News·
Programming languages for AI  💻Programming languages
blog.ploeh.dk·3d·
Quadratic Micropass Type Inference  🔍Type Inference
articles.luminalang.com·6d·Hacker News·
Show HN: UBPE – a universal BPE tokenizer, optimized and rethought  📐Binary Grammars
github.com·4d·Hacker News·
Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents  👑Isabelle/HOL
arxiv.org·1d·
A tree interpretation of arc standard dependency derivation  🌲Parse Trees
arxiv.org·2d·
Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic  ⏱️Interval Parsing
arxiv.org·2d·
Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries  ✓Automated Theorem Proving
arxiv.org·1d·
Inference-Time Structural Reasoning for Compositional Vision-Language Understanding  📝Parsing Grammars
arxiv.org·2d·
Efficient Inference of Large Vision Language Models  📊Quantization
arxiv.org·2d·
Compiling Code LLMs into Lightweight Executables  🦀Rust Borrowing
arxiv.org·1d·
A Graded Modal Dependent Type Theory with Erasure, Formalized  🔠Type-Level Programming
arxiv.org·1d·
Shuffles of Context-Free Languages along Regular Trajectories  ⚙️Syntactic Monoids
arxiv.org·3d·
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra  🧮SMT Solvers
arxiv.org·1d·
Absolute convergence and Taylor expansion in web based models of Linear Logic  🔮Proof Search
arxiv.org·6d·
"What don't you understand?" Language games and black box algorithms  🔲Cellular Automata
arxiv.org·3d·

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