asparagui

4 ms·

1.
Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean(twitter.com)
3 points by asparagui 3mo ago|0 comments
2.
by asparagui 3mo ago
Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE. https://github.com/brettkoonce/lean4-mlir
3.
by asparagui 4mo ago
https://brettkoonce.github.io/lean4-mlir/blueprint/ https://github.com/brettkoonce/lean4-mlir I (w/ Claude) have built a framework for writing neural networks in Lean 4 that compiles to
4.
by asparagui 5mo ago
I was going to call my project that but Claude said that wasn't professional. rip "a delightful mixture of lean"
5.
Show HN: Verified Deep Learning with Lean 4(brettkoonce.github.io)
6 points by asparagui 5mo ago|0 comments
6.
Image Recognition with Lean 4(github.com)
5 points by asparagui 5mo ago|0 comments
7.
Mnist-Lean4(github.com)
2 points by asparagui 6mo ago|0 comments
8.
DJI is >96% of RemoteID usage in the US [video](youtube.com)
4 points by asparagui 7mo ago|0 comments
9.
by asparagui 7mo ago
No, DJI is going to be banned in the US going forward (geopolitics). I am building a NDAA-compliant stack!
10.
by asparagui 7mo ago
https://loiter.ai Building software to control drones for mapping.
11.
Towards Robust Mathematical Reasoning [pdf](aclanthology.org)
1 points by asparagui 11mo ago|0 comments
12.
ROCm 7.0(rocm.docs.amd.com)
7 points by asparagui 1y ago|0 comments
13.
Google loses appeal in antitrust battle with Fortnite maker(japantoday.com)
2 points by asparagui 1y ago|0 comments
14.
A Search for Planet Nine with IRAS and Akari Data(arxiv.org)
3 points by asparagui 1y ago|0 comments
15.
Trump to Rescind Chip Curbs After Debate over AI Rules(investing.businessweek.com)
1 points by asparagui 1y ago|0 comments
16.
AI Avatars Escape the Uncanny Valley(a16z.com)
27 points by asparagui 1y ago|62 comments
17.
Trump administration can avoid a strategic misstep in the AI race(blogs.microsoft.com)
3 points by asparagui 2y ago|0 comments
18.
by asparagui 2y ago
Cool idea! This is a really clever way to demo a real-world circuit!
19.
Project Stargate(politico.com)
4 points by asparagui 2y ago|0 comments
20.
A neuroscientist who taught rats to drive(theconversation.com)
3 points by asparagui 2y ago|0 comments
21.
MLPerf v4.1 Results(mlcommons.org)
1 points by asparagui 2y ago|0 comments
22.
John Ousterhout: My Favorite Sayings(web.stanford.edu)
3 points by asparagui 2y ago|0 comments
23.
by asparagui 2y ago
previous discussion: https://news.ycombinator.com/item?id=41784591
24.
AMD Instinct MI325X in Q4 2024, 288GB of HBM3E(ir.amd.com)
82 points by asparagui 2y ago|50 comments
25.
2080ti 22G(2080ti22g.com)
1 points by asparagui 3y ago|0 comments
26.
AMD Ryzen Threadripper 7000 Series: <=96 Cores, DDR5 Rdimm, Pro and HEDT(phoronix.com)
20 points by asparagui 3y ago|3 comments
27.
AMD adds support for PyTorch development on select RDNA 3 GPUs with ROCm 5.7(community.amd.com)
65 points by asparagui 3y ago|8 comments
28.
by asparagui 3y ago
Hallway | Remote | Full-time joinhallway.com Avatars are a reflection of our true selves, allowing people to choose how they present themselves to the world. We combine AI and ML with off-the-shelf hardware to empower 3D content and creativ
29.
by asparagui 3y ago
Hallway | Remote | Full-time joinhallway.com Avatars are a reflection of our true selves, allowing people to choose how they present themselves to the world. We combine AI and ML with off-the-shelf hardware to empower 3D content and creativ
30.
by asparagui 4y ago
Hallway | Remote/Columbia, Missouri, USA | Full-time joinhallway.com Avatars are a reflection of our true selves, allowing people to choose how they present themselves to the world. We combine AI and ML with off-the-shelf hardware to e

More ›