Feeds to Scour
SubscribedAll
Scoured 23840 posts in 1.66 s
Robotics Motion Learning: Training Linked Robot Arms with Kuramoto Models
hackernoon.com·8h
🌀Hyperbolic Geometry
Profinite trees, through Lawvere theories and the lambda-calculus
arxiv.org·1d
λLambda Encodings
What I’m Learning in Data Structures: The Algorithm Behind Compression (bzip, etc.)
dev.to·41m·
Discuss: DEV
📝Text Compression
Palantir: N Of 1, Industrializing Autonomy Via Zero-Marginal-Cost AI Integration
seekingalpha.com
·8h
🎯Proof Tactics
maja0027/xi-lang: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical completeness.
github.com·1d·
Discuss: Hacker News
💻Programming languages
Reducing Technical Debt: Top Five Coding Resources
loufranco.com·2d
📏Code Metrics
Functional Optics for Modern Java
blog.scottlogic.com·3d
💧Liquid Types
Fluent
mlajtos.github.io·19h·
Discuss: Lobsters
🔗Concatenative Programming
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·19h
🔗Concatenative Programming
Researchers Propose a Turing Test to Measure Whether AI Can Make Scientific Discoveries
hackernoon.com·11h
⚡Proof Automation
Python's Dynamic Typing Problem
whileforloop.com·1d·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·2d
⚔️Lean Theorem
miniKanren.org
minikanren.org·3d·
Discuss: Lobsters
🦀Rust Macros
RFC 9920: RFC Editor Model (Version 3)
rfc-editor.org·2h
📝ABNF Parsing
Part 1 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System
news.ycombinator.com·8h·
Discuss: Hacker News
🔮Proof Search
Using Databases Without Putting Domain Logic in Them (2023)
alexkondov.com·5h·
Discuss: Lobsters
🗄️Database Internals
CMU Flite: Speech Synthesizer
festvox.org·1h
🗣️CMU Pronouncing
No, dynamic type systems are not inherently more open
lexi-lambda.github.io·1d·
Discuss: Hacker News
🎯Gradual Typing
Rust Traits Deep Dive: Static vs. Dynamic Dispatch
dev.to·37m·
Discuss: DEV
🔒Type Safety
Verified developer portfolios using Code Complexity and AI
dev-proof-portfolio.vercel.app·2h·
Discuss: Hacker News
⚡Proof Automation

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