Feeds to Scour
SubscribedAll
Scoured 184392 posts in 9.6 ms
A Foundation for Differentiable Logics using Dependent Type Theory
arxiv.org·1d
🏗️Calculus of Constructions
Neat representation of polymorphic data types
gist.github.com·2h·
Discuss: r/C_Programming
🧮Combinator Calculus
Extending Formal Verification to Sequential Circuits (U. of Bremen)
semiengineering.com·18h
📈Monotonic Logic
BankStrategy/SOEL: An open-ended semantic programming language with no formal syntax
github.com·1h·
Discuss: Hacker News
🪆Embedded DSLs
Maximally minimal specialization: always applicable impls
smallcultfollowing.com·22h
⚡Partial Evaluation
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
philipzucker.com·1d
🧮Theorem Provers
RalphMAD – Autonomous SDLC Workflows for Claude Code (BMAD and Ralph Loop)
news.ycombinator.com·2h·
Discuss: Hacker News
🎭Program Synthesis
type++: Prohibiting Type Confusion with Inline Type Information
papers.cool·1d
🔮Type Inference Visualization
Structured Outputs for LLMs
ternarysearch.blogspot.com·1d·
Discuss: Hacker News, ternarysearch.blogspot.com
🪜Recursive Descent
Deterministic vs. idempotent
unsung.aresluna.org·14m
🎭Delimited Continuations
A language designed for machines to write
veralang.dev·1d
🎭Racket Modules
Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
arxiv.org·6h
📡Channels
A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices
coding-mischief.com·12h·
Discuss: Hacker News
🤐Zipper Structures
Lean and AI caught a bug in my 2-year-old TLA+ spec
medium.com·1d·
Discuss: Hacker News
🎯Symbolic Execution
*Lisp
en.wikipedia.org·1h·
Discuss: Hacker News
🐍lisp
Lytok 2.0: A New Way to Handle Data Structures in JS/TS
dev.to·7h·
Discuss: DEV
🌈Gradual Languages
Implementing constexpr parameters using C++26 reflection (kind of)
godbolt.org·5h·
Discuss: r/cpp
🔗Lexical Scoping
Show HN: Sabela – A Reactive Notebook for Haskell
datahaskell.org·1d·
Discuss: Lobsters, Hacker News
⚡functional programming
Source-available projects and their AI contribution policies
theconsensus.dev·1d
🎭Program Synthesis
Show HN: Btrc – I built a language with AI in a few weeknights that outputs C11
github.com·17h·
Discuss: Hacker News
🧸Toy Compilers

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