Feeds to Scour
SubscribedAll
Scoured 19450 posts in 371.0 ms
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org·1d
📋Document Grammar
Build a Compiler in Five Projects
kmicinski.com·5h
🔨Compilers
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
DCP-o-matic • CPL as compositions and multiple CPLs
dcpomatic.com·1d
✅CDDL Validation
A Neuro Symbolic Architecture For Induced Epistemic Agency and System 2 Reasoning in Quantized Large Language Models
papers.ssrn.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Building a Simple “Chat with Your Documents” GenAI App (End-to-End)
dev.to·9h·
Discuss: DEV
🤖Archive Automation
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔍RegEx Engines
Gradually Compacting Large Language Models for Reasoning Like a Boiling Frog
arxiv.org·1d
🌳Context free grammars
Logic for Programmers New Release and Next Steps
buttondown.com·3d
⚙️Proof Engineering
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·17h·
Discuss: Hacker News
⚙️Parser Generators
Synthesizing scientific literature with retrieval-augmented language models
nature.com·1d
🔍Information Retrieval
Weeknotes #362
andrewdoran.uk·1d
📰Feed Readers
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·19h
📋Document Grammar
CodeSOD: A Percise Parser
thedailywtf.com·4d
🌳Incremental Parsing
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🐚Shell Monads
Rewriting pycparser with the help of an LLM
eli.thegreenplace.net·2d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
learning by reverse engineering
clymup.com·59m
🔓Reverse engineering
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·23h
🤝Consensus Protocols
Let Lambda Come Over
yamlscript.org·10h
⬆️Lambda Lifting
Mechanistic Interpretability: Peeking Inside an LLM
towardsdatascience.com·2d
💻Local LLMs

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