Feeds to Scour
SubscribedAll
Scoured 17856 posts in 292.6 ms
The Judge Who Never Admits: Hidden Shortcuts in LLM-based Evaluation
arxiv.org·14h
🏗️Constructive Analysis
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·14h
✅Formal Methods
The Weather-Report Lie: AI Isn’t Fate
hackernoon.com·4d
🔲Cellular Automata
**Title**
dev.to·3d·
Discuss: DEV
👁️Perceptual Hashing
When cost models hit the wall clock
futhark-lang.org·6d
📼Tape Combinators
Whether they are building agents or folding proteins, LLMs need a friend
theregister.com·3d·
Discuss: Hacker News
💻Local LLMs
SyntagmaNull/synthetic-phenomenology: A foundational framework for AI consciousness, structural psychodynamics, and transparency-based ethics. Co-authored by Human and AI.
github.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Field theory and the rise of ambition machines
fieldtheory.dev·4d·
Discuss: Hacker News
🧲Magnetic Philosophy
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·4d
🦀Rust Macros
Waterloo Style
theprogrammersparadox.blogspot.com·4d·
Discuss: Hacker News
🕹Emulation Theory
Automatic Programming
notes.billmill.org·5d
⚡Proof Automation
Efficiency and Performance
dev.to·3d·
Discuss: DEV
🔩Systems Programming
Evaluate generative AI models with an Amazon Nova rubric-based LLM judge on Amazon SageMaker AI (Part 2)
aws.amazon.com·4d
🔲Cellular Automata
The Little Book of Linear Algebra
little-book-of.github.io·4d
📐Linear Algebra
I am happier writing code by hand
abhinavomprakash.com·3d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Boundary Engineering
cabreza.substack.com·4d·
Discuss: Substack
🛡️Error Boundaries
A Neuro Symbolic Architecture For Induced Epistemic Agency and System 2 Reasoning in Quantized Large Language Models
papers.ssrn.com·5d·
Discuss: Hacker News
🔗Constraint Handling
Automatic Programming Returns
cyber-omelette.com·3d·
Discuss: Hacker News, Hacker News, r/programming
🏗️Compiler Archaeology
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·5d
🦀Rust Verification
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·4d·
Discuss: Hacker News
🔗Functional 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