Feeds to Scour
SubscribedAll
Scoured 8856 posts in 118.8 ms
Recent Advances in LLMs for Mathematics
youtube.com·1d·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
arxiv.org·1d
🧠Symbolic AI
Preview
Report Post
meth: A Python library to parse and evaluate mathematical equations.
github.com·15h
🌱Minimal ML
Preview
Report Post
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
📐Type Theory
Preview
Report Post
computer graphics, maths, shaders, fractals, demoscene
iquilezles.org·23h
🌊Dataflow Languages
Preview
Report Post
Title: Show HN: SymDerive – A functional, stateless symbolic math library
news.ycombinator.com·3d·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
How Computers Work: Explained from First Principles
sushantdhiman.substack.com·2d·
Discuss: r/compsci, r/programming
🧠Memory Management
Preview
Report Post
Dark Alley Mathematics
blog.szczepan.org·1d·
Discuss: Hacker News
🧩Constraint Solvers
Preview
Report Post
Online Math Help And Learning Resources (video lessons, worksheets, examples and solutions)
onlinemathlearning.com·13h
🌱Minimal Schemes
Preview
Report Post
Logic for Programmers [Leanpub PDF/iPad/Kindle]
leanpub.com·11h
🧩Constraint Logic
Preview
Report Post
The Fax Numbers of the Beast, and Other Mathematical Sports: An Interview with Neil Sloane | Margaret Wertheim and Neil Sloane
cabinetmagazine.org·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
Preview
Report Post
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·13h·
Discuss: Lobsters, Hacker News, r/golang
🎨Domain-Specific Languages
Preview
Report Post
From Abstract to Contextual: What LLMs Still Cannot Do in Mathematics
arxiv.org·2d
∘Category Theory
Preview
Report Post
**Abstract:** This paper introduces a novel computational framework for rigorously verifying Goldbach’s Conjecture across extensive ranges of integers ...
freederia.com·3d
🧩Constraint Solvers
Preview
Report Post
🧑‍🚀 AI Layoffs, Future Uncertainty, & OpenAI’s Codex App
forwardfuture.ai·21h
🤖AI
Preview
Report Post
Floating-point accuracy visualization example: the ULP error for each math function coming with Julia
discourse.julialang.org·2d·
Discuss: Hacker News
🔮Type Inference Visualization
Preview
Report Post
Semantic Operators: Run LLM Queries Directly in SQL
tacnode.io·1d·
Discuss: Hacker News
🧠Semantic Parsing
Preview
Report Post
The Index and the Vector (Dan Cohen)
newsletter.dancohen.org·9h
🔍RAG
Preview
Report Post
Data Integration
databricks.com·14h
🔀Data Integration
Preview
Report Post
Probability, statistics, matrix algebra
statlect.com·2h
🎲Probabilistic Programming
Preview
Report Post

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