Feeds to Scour
SubscribedAll
Scoured 185124 posts in 9.0 ms
Structured Outputs for LLMs
ternarysearch.blogspot.com·21h·
Discuss: Hacker News, ternarysearch.blogspot.com
🪜Recursive Descent
freest-lang/freest: A programming language for safe concurrency powered by context-free session types.
github.com·1d
📚Forth Compilers
A Foundation for Differentiable Logics using Dependent Type Theory
arxiv.org·23h
🏗️Calculus of Constructions
Lil' Fun Langs' Guts
taylor.town·2d·
Discuss: Lobsters, Hacker News, r/programming
🪆Embedded DSLs
Bridging the Semantic Gap in Neural Network Execution and Verification for Safety-Critical Systems
dev.to·8h·
Discuss: DEV
🗺️Region Inference
A language designed for machines to write
veralang.dev·1d
🎭Racket Modules
CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
arxiv.org·23h
🔍Type Inference
nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine
github.com·22h·
Discuss: Hacker News
🔢Algebraic Datatypes
A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices
coding-mischief.com·6h·
Discuss: Hacker News
🤐Zipper Structures
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
philipzucker.com·1d
🧮Theorem Provers
Implementing the 'Tools-First' Pattern in LangGraph
sitepoint.com·8h
⚙️Configuration Parsing
Maximally minimal specialization: always applicable impls
smallcultfollowing.com·15h
⚡Partial Evaluation
type++: Prohibiting Type Confusion with Inline Type Information
papers.cool·1d
🔮Type Inference Visualization
JLS Deep Dive: The Rules of the Language — Identifiers, Keywords, and the Underscore
eldritch.codes·15h·
Discuss: DEV
🎨DSL Design
The unreasonable effectiveness of S-Expressions
nim-lang.org·1d·
Discuss: Hacker News
📇Symbol Tables
TurboSparse Efficiency: Achieving 97% Parameter Sparsity in Mixtral-47B
hackernoon.com·1h
🚀Tokenizer Performance
Show HN: Turn – A compiled systems language for agentic computation
news.ycombinator.com·12h·
Discuss: Hacker News
✨Gleam
From scikit-learn to Production, Deploying ML Models That Actually Work
dev.to·14h·
Discuss: DEV
🌱Minimal ML
RL Training For Math Reasoning
research.perplexity.ai·7h
🪜Recursive Descent
extended C*-algebra in nLab
ncatlab.org·8h
🔗Category Theory

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