Feeds to Scour
SubscribedAll
Scoured 19522 posts in 628.9 ms
Style tips for less experienced developers coding with AI
honnibal.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation
arxiv.org·2d
✓Automated Theorem Proving
MatPy – Pure Python linear algebra library with ODE solvers
github.com·1d·
Discuss: Hacker News
📐Linear Algebra
Balancing FP8 Computation Accuracy and Efficiency on Digital CIM via Shift-Aware On-the-fly Aligned-Mantissa Bitwidth Prediction
arxiv.org·1d
🎯Emulation Accuracy
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
computer graphics, maths, shaders, fractals, demoscene
iquilezles.org·3d
📐Mathematical Art
ChatGPT vs. Logic: Why AI Code is Slower
dev.to·12h·
Discuss: DEV
🌊Streaming Algorithms
The Gumbel-Max Trick
blog.quipu-strands.com·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Three Factors Influencing Minima in SGD
dev.to·3d·
Discuss: DEV
🎯Arithmetic Coding Theory
Anthropic's Performance Take-Home: A 65x Optimization (For Dummies)
ikot.blog·3d·
Discuss: Hacker News
🖥️Hardware Architecture
As Rocks May Think
evjang.com·3d·
Discuss: Hacker News, r/programming
📼Tape Combinators
Formally Verifying PBS Kids with Lean4
shadaj.me·4d·
Discuss: Hacker News
⚔️Lean Tactics
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·3d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Dark Alley Mathematics
blog.szczepan.org·4d·
Discuss: Hacker News
📐Linear Algebra
Title: Show HN: SymDerive – A functional, stateless symbolic math library
news.ycombinator.com·6d·
Discuss: Hacker News
⚔️Lean Tactics
Untangling Literate Programming
quotenil.com·5d
🔗Concatenative Programming
TI-99/4A: Revisiting Implementation Strategies
bumbershootsoft.wordpress.com·6d·
Discuss: Hacker News
⚡Homebrew CPUs
**Abstract:** This paper introduces a novel computational framework for rigorously verifying Goldbach’s Conjecture across extensive ranges of integers ...
freederia.com·6d
🔢Reed-Solomon Math
Introduction to Algorithms and Machine Learning from Sorting to Strategic Agents
justinmath.com·6d·
Discuss: Hacker News
🔲Cellular Automata
Converting data to hexadecimal outputs quickly
lemire.me·4d·
Discuss: Hacker News
🚀SIMD Text Processing

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