Feeds to Scour
SubscribedAll
Scoured 19465 posts in 158.7 ms
The control layer for AI
blog.dottxt.ai·12h·
Discuss: Hacker News
🔒WASM Capabilities
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
IESR:Efficient MCTS-Based Modular Reasoning for Text-to-SQL with Large Language Models
arxiv.org·1d
🧮Constraint SMT
Build a Compiler in Five Projects
kmicinski.com·2h
🔨Compilers
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·2h
🔗Concatenative Programming
Beyond the Chatbox: Engineering Your Prompts with the Trinity Framework
dev.to·7h·
Discuss: DEV
⚡Proof Automation
OSTEP Chapters 6,7
muratbuffalo.blogspot.com·1d·
Discuss: Blogger
⚡CPU Microarchitecture
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·16h
📋Document Grammar
Synthesizing scientific literature with retrieval-augmented language models
nature.com·1d
🔍Information Retrieval
**Abstract:** This paper introduces Hyperdimensional Semantic Alignment for Ancient Text Restoration and Contextualization (HASATRC), a novel framework lever...
freederia.com·2d
📜Palimpsest Analysis
Railway Oriented Programming
fsharpforfunandprofit.com·21h·
Discuss: Hacker News
🐚Shell Monads
Automatic Programming
notes.billmill.org·2d
⚡Proof Automation
Logic for Programmers New Release and Next Steps
buttondown.com·2d
⚙️Proof Engineering
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.com·16h·
Discuss: Hacker News
🔮Proof Search
The Human-Centric Stack: Why Logs Are the Great Equalizer in the Age of AI
loggly.com·1d
📝Log Parsing
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
stdlib v7.2
erlang.org·23h·
Discuss: Hacker News
🦀Rusty Databases
AL, Logical
mathhombre.blogspot.com·2d·
Discuss: mathhombre.blogspot.com
🏛️Isabelle HOL
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
outer measure in nLab
ncatlab.org·2d
🔢Denotational Semantics

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