Feeds to Scour
SubscribedAll
Scoured 3669 posts in 15.0 ms
NARE – A framework that "crystallizes" LLM reasoning into fast Python scripts  ✅Formal Verification
github.com·4d·Hacker News, Hacker News
Haskell: Debugging  ✅Formal Verification
wiki.haskell.org·7h·Hacker News
Two Heads Are Better Than One: Async Knowledge Injection for Speech AI with Tandem Architecture  🔢Homomorphic Encryption
pub.sakana.ai·1d·Hacker News
From Navigator to Cartographer — The Path to Strong AI  🧬Cognitive Science
pavelvoronin.com·1d·Hacker News
MathDuels: Evaluating LLMs as Problem Posers and Solvers  ✅Formal Verification
arxiv.org·6d·Hacker News
A Sputnik-era plan to teach kids advanced math lives on  📊Mathematics
ssmcis-columbia.github.io·2d·Hacker News
Replacing probabilistic AI with deterministic math and Dafny formal verification  ✅Formal Verification
gist.github.com·6d·Hacker News
The Pragmatic Prompter  🎯Game Theory
liameveryday.substack.com·2d·Substack
LLMs are the worlds most powerful autocomplete  🗣️Linguistics
alfredvc.no·1d·Hacker News
Functional Programming in Lean - Functional Programming in Lean  ✅Formal Verification
leanprover.github.io·3d·Hacker News
What Claude Shannon Knew In 1950 That We’re Pretending Is New  🤖Machine Learning
thecontentwrangler.com·2d·Hacker News
Vector, the Journal of the British APL Association  📊Mathematics
web.archive.org·5d·Hacker News
Ask HN: Exploring spaces without traversal or feedback (500KB prototype)  🔢Homomorphic Encryption
news.ycombinator.com·1d·Hacker News
Why the same LLM gives different answers in different environments  ✅Formal Verification
johndwade.substack.com·2d·Substack
Dotcl: Common Lisp Implementation on .NET  ✅Formal Verification
github.com·9h·Hacker News
Building a Hamiltonian Path Puzzle  ⚛️Quantum Computing
4rknova.com·3d·Hacker News
Structured Generation for Tool Calling  🔍Reverse Engineering
blog.dottxt.ai·1d·Hacker News
Verifying Humans Without Surrendering Identity: A Case Against Government-Issued Online Verification  👁️Biometrics
blog.trintler.me·1d·Hacker News
Justice-in-Becoming: The Universal Grammar of Stability Under Uncertainty  🌐Complex Systems
mountaineagle.net·3d·Hacker News
Versioned, portable LLM prompts as a spec  ✅Formal Verification
promptpack.org·1d·Hacker News

No more posts from bassam_exe's subscribed feeds.

Scour all 24432 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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
Save / unsave
s
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