Hacker News: asparagui

Show HN: Verified Deep Learning with Lean 4

asparagui — Tue, 21 Apr 2026 16:03:05 +0000

Article URL: https://brettkoonce.github.io/lean4-mlir/blueprint/

Comments URL: https://news.ycombinator.com/item?id=47850688

Points: 6

# Comments: 0

Image Recognition with Lean 4

asparagui — Fri, 10 Apr 2026 23:07:08 +0000

Article URL: https://github.com/brettkoonce/lean4-mlir/

Comments URL: https://news.ycombinator.com/item?id=47724929

Points: 5

# Comments: 0

Mnist-Lean4

asparagui — Thu, 19 Mar 2026 15:00:44 +0000

Article URL: https://github.com/brettkoonce/mnist-lean4

Comments URL: https://news.ycombinator.com/item?id=47440659

Points: 2

# Comments: 0

DJI is >96% of RemoteID usage in the US [video]

asparagui — Fri, 06 Mar 2026 16:45:46 +0000

Article URL: https://www.youtube.com/watch?v=wK31qL40p6I

Comments URL: https://news.ycombinator.com/item?id=47277401

Points: 4

# Comments: 0

New comment by asparagui in "Ask HN: What are you working on? (February 2026)"

asparagui — Mon, 09 Feb 2026 02:03:29 +0000

No, DJI is going to be banned in the US going forward (geopolitics). I am building a NDAA-compliant stack!

New comment by asparagui in "Ask HN: What are you working on? (February 2026)"

asparagui — Mon, 09 Feb 2026 00:04:30 +0000

https://loiter.ai

Building software to control drones for mapping.

Towards Robust Mathematical Reasoning [pdf]

asparagui — Tue, 04 Nov 2025 18:27:44 +0000

Article URL: https://aclanthology.org/2025.emnlp-main.1794.pdf

Comments URL: https://news.ycombinator.com/item?id=45814259

Points: 1

# Comments: 0

ROCm 7.0

asparagui — Tue, 16 Sep 2025 14:38:26 +0000

Article URL: https://rocm.docs.amd.com/en/latest/index.html

Comments URL: https://news.ycombinator.com/item?id=45262877

Points: 7

# Comments: 0

Google loses appeal in antitrust battle with Fortnite maker

asparagui — Sat, 02 Aug 2025 23:24:11 +0000

Article URL: https://japantoday.com/category/tech/google-loses-appeal-in-antitrust-battle-with-fortnite-maker

Comments URL: https://news.ycombinator.com/item?id=44772616

Points: 2

# Comments: 0

A Search for Planet Nine with IRAS and Akari Data

asparagui — Fri, 16 May 2025 21:35:58 +0000

Article URL: https://arxiv.org/abs/2504.17288

Comments URL: https://news.ycombinator.com/item?id=44009979

Points: 3

# Comments: 0

Trump to Rescind Chip Curbs After Debate over AI Rules

asparagui — Wed, 07 May 2025 22:21:10 +0000

Article URL: https://investing.businessweek.com/news/articles/2025-05-07/trump-to-rescind-global-chip-curbs-amid-ai-restrictions-debate

Comments URL: https://news.ycombinator.com/item?id=43921102

Points: 1

# Comments: 0

AI Avatars Escape the Uncanny Valley

asparagui — Tue, 08 Apr 2025 21:36:55 +0000

Article URL: https://a16z.com/ai-avatars/

Comments URL: https://news.ycombinator.com/item?id=43626707

Points: 27

# Comments: 62

Trump administration can avoid a strategic misstep in the AI race

asparagui — Thu, 27 Feb 2025 16:38:11 +0000

Article URL: https://blogs.microsoft.com/on-the-issues/2025/02/27/trump-administration-ai-global-race/

Comments URL: https://news.ycombinator.com/item?id=43195952

Points: 3

# Comments: 0

New comment by asparagui in "Show HN: Play with real quantum physics in your browser"

asparagui — Fri, 07 Feb 2025 15:03:01 +0000

Cool idea! This is a really clever way to demo a real-world circuit!

Project Stargate

asparagui — Tue, 21 Jan 2025 20:20:49 +0000

Article URL: https://www.politico.com/live-updates/2024/12/12/congress/trump-to-announce-multi-billion-investment-in-ai-infrastructure-00199723

Comments URL: https://news.ycombinator.com/item?id=42784755

Points: 4

# Comments: 0

A neuroscientist who taught rats to drive

asparagui — Sun, 17 Nov 2024 16:45:38 +0000

Article URL: https://theconversation.com/im-a-neuroscientist-who-taught-rats-to-drive-their-joy-suggests-how-anticipating-fun-can-enrich-human-life-239029

Comments URL: https://news.ycombinator.com/item?id=42165131

Points: 3

# Comments: 0

MLPerf v4.1 Results

asparagui — Wed, 13 Nov 2024 23:49:40 +0000

Article URL: https://mlcommons.org/2024/11/mlperf-train-v41-results/

Comments URL: https://news.ycombinator.com/item?id=42131533

Points: 1

# Comments: 0

John Ousterhout: My Favorite Sayings

asparagui — Sun, 20 Oct 2024 15:03:14 +0000

Article URL: https://web.stanford.edu/~ouster/cgi-bin/sayings.php

Comments URL: https://news.ycombinator.com/item?id=41895782

Points: 3

# Comments: 0

New comment by asparagui in "Integer addition algorithm could reduce energy needs of AI by 95%"

asparagui — Sun, 13 Oct 2024 17:12:07 +0000

previous discussion: https://news.ycombinator.com/item?id=41784591

AMD Instinct MI325X in Q4 2024, 288GB of HBM3E

asparagui — Mon, 03 Jun 2024 03:04:53 +0000

Article URL: https://ir.amd.com/news-events/press-releases/detail/1201/amd-accelerates-pace-of-data-center-ai-innovation-and

Comments URL: https://news.ycombinator.com/item?id=40558982

Points: 82

# Comments: 50