Feeds to Scour
SubscribedAll
Scoured 9013 posts in 67.6 ms
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
arxiv.org·23h
🔀Galois Connections
Towards Term-based Verification of Diagrammatic Equivalence
arxiv.org·23h
📝Term Rewriting
(Re)Discovering Natural Laws
lesswrong.com·6h
🎯Hindley-Milner
Paper: Prompt Optimization Makes Misalignment Legible
lesswrong.com·8h
✓Automated Theorem Proving
Lessons from Zig
vinniefalco.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Formal Methods Practice and Theory
adacore.com·2d·
Discuss: Hacker News
🔍Formal Verification
Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009)
scholarworks.iu.edu·4d·
Discuss: Lobsters
📦Opam
The Timeless Way of Programming (2022)
tomasp.net·6h·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
Results from the Advent of FPGA Challenge
blog.janestreet.com·23h·
Discuss: Hacker News
🐫Embedded OCaml
ai;dr
0xsid.com·10h·
Discuss: Hacker News
🔲Cellular Automata
Building Chess in about 350 lines of Clojure
sammystraus.com·1d·
Discuss: Hacker News
🎮Verification Games
How We Built the Fastest Kimi K2.5 on Artificial Analysis
baseten.co·1d·
Discuss: Hacker News
🧠Automated Reasoning
A stack-buffer-overflow exercise with AddressSanitizer and PostgreSQL
enterprisedb.com·2h·
Discuss: Lobsters, Hacker News
🎯GADT
The Observer Lemma
zenodo.org·1d·
Discuss: Hacker News
👁️Observability
OpenAI sidesteps Nvidia with unusually fast coding model on plate-sized chips
arstechnica.com·5h·
Discuss: Hacker News
🔀OCaml Multicore
An async HTTP server in ~80 lines of modern C++ (coroutines)
vixcpp.com·20h·
Discuss: Hacker News
🌐Network Protocols
From 34% to 96%: The Porting Initiative Delivers
hologram.page·1d·
Discuss: Hacker News
🌐NetworkProtocols
Scripting on the JVM with Java, Scala, and Kotlin
mill-build.org·17h·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
EyesOff: Why Some Models Quantize Better Than Others
ym2132.github.io·1d·
Discuss: Hacker News
🧮SMT Solvers
Defining Technologies of Our Time: AI
aspendigital.org·7h·
Discuss: Hacker News
🧠Automated Reasoning

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