Feeds to Scour
SubscribedAll
Scoured 185038 posts in 19.4 ms
A Foundation for Differentiable Logics using Dependent Type Theory
arxiv.org·23h
🏗️Calculus of Constructions
Completing the formal proof of higher-dimensional sphere packing
math.inc·9h·
Discuss: Hacker News
🧮Combinator Calculus
Tsonnet #31 - Taking back control of equality
dev.to·8h·
Discuss: DEV
🔗Lexical Scoping
Maximally minimal specialization: always applicable impls
smallcultfollowing.com·16h
⚡Partial Evaluation
G\"odel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
arxiv.org·23h
🔬Hindley-Milner
Lytok 2.0: A New Way to Handle Data Structures in JS/TS
dev.to·1h·
Discuss: DEV
🌈Gradual Languages
Provably Unlearnable Data Examples
papers.cool·1d
⚡Fusion Laws
A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices
coding-mischief.com·6h·
Discuss: Hacker News
🤐Zipper Structures
Error Handling Strategies for Probabilistic Code Execution
sitepoint.com·8h
🚂Error Propagation
Differential Logic • 15
inquiryintoinquiry.com·10h
🧩Constraint Logic
extended C*-algebra in nLab
ncatlab.org·8h
🔗Category Theory
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
Custom Data Structures in E-Graphs
uwplse.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔢Algebraic Datatypes
Pareto Principles Fail for Infinite Worlds
avramhiller.substack.com·12h·
Discuss: Substack
⚡Fusion Laws
Structured Outputs for LLMs
ternarysearch.blogspot.com·21h·
Discuss: Hacker News, ternarysearch.blogspot.com
🪜Recursive Descent
Lil' Fun Langs' Guts
taylor.town·2d·
Discuss: Lobsters, Hacker News, r/programming
🪆Embedded DSLs
xraymemory/vibetheory: A mathematical model of aesthetic vibe, based on Peli Grietzer's Theory of Vibe (2017, 2025). Implements both VAE and diffusion/manifold models to derive the vibe of a given text.
github.com·5h·
Discuss: Hacker News
💫Effect Systems
The unreasonable effectiveness of S-Expressions
nim-lang.org·1d·
Discuss: Hacker News
📇Symbol Tables
SOLID in FP: Liskov Substitution, or The Principle That Was Never About Inheritance
cekrem.github.io·1d·
Discuss: Hacker News, r/programming
🚀Hindley-Milner+
Detecting and Editing Visual Objects with Gemini
medium.com·12h
🔍Lens Libraries

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