Hacker News: homarp

New comment by homarp in "MathCode, Mathematical Coding Agent"

homarp — Sun, 16 Aug 2026 18:17:10 +0000

A terminal AI coding assistant with a built-in math formalization engine — describe a problem in plain language and it converts it into a Lean 4 theorem and attempts a formal proof.

MathCode, Mathematical Coding Agent

homarp — Sun, 16 Aug 2026 18:17:10 +0000

Article URL: https://math-ai-org.github.io/mathcode/

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

Points: 69

# Comments: 23

New comment by homarp in "Carl's Required Reading"

homarp — Sat, 08 Aug 2026 11:30:21 +0000

fun fact: https://news.ycombinator.com/item?id=49059774

New comment by homarp in "Handbook.md shows that long policy documents do not reliably govern agents"

homarp — Wed, 29 Jul 2026 14:10:32 +0000

maybe it is Grokimi?

https://venturebeat.com/technology/cursors-composer-2-was-se...

New comment by homarp in "Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy"

homarp — Sun, 26 Jul 2026 16:58:55 +0000

he wrote the Lulu book

New comment by homarp in "Becoming a Research Engineer at a Big LLM Lab"

homarp — Sun, 26 Jul 2026 11:03:58 +0000

>A learning hack that worked for me was getting YouTube Premium, which allows for downloads and background play, and then listening to these videos while going for a walk

you can also research about youtube-dl/yt-dlp (and using an ad blocker)

New comment by homarp in "DeepSeek pause fundraise after comments on compute gap to US leaked (transcript) [pdf]"

homarp — Sun, 26 Jul 2026 10:48:34 +0000

>notice the recent shift towards identification on social media

i think this is more about control. See https://news.ycombinator.com/item?id=49036433 (The Home Ministry’s cybercrime arm, the Indian Cybercrime Coordination Centre, has ordered Microsoft subsidiary GitHub to remove Bluetooth-based messaging application Bitchat)

"The notice comes after several users participating in the Jantar Mantar protest were observed using Bluetooth-based messaging apps after the government imposed temporary restrictions on internet services"

New comment by homarp in "DeepSeek pause fundraise after comments on compute gap to US leaked (transcript) [pdf]"

homarp — Sun, 26 Jul 2026 08:29:20 +0000

>Fable is $1/month instead of $100/month

will Anthropic (or OpenAI) lowers their price, or increase margin (to justify valuation)

The Global Justice Report

homarp — Sat, 25 Jul 2026 05:29:47 +0000

Article URL: https://globaljusticeproject.wid.world/global-justice-report/

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

Points: 2

# Comments: 0

New comment by homarp in "Amiga 1000: Ten years ahead of its time"

homarp — Thu, 23 Jul 2026 21:54:22 +0000

https://m.youtube.com/watch?v=NTrYGFlImQM

VCF East: The Story of Ensoniq – Al Charpentier, Bill Mauchly, Joe Friel: When Bruce Crockett, Bob Yannes, Charles Winterble and Albert Charpentier left Commodore in late 1982, they named the company Peripheral Visions.

Listen as Albert & Bill will tell their tangled story of how they become Ensoniq.

New comment by homarp in "Amiga 1000: Ten years ahead of its time"

homarp — Thu, 23 Jul 2026 21:26:13 +0000

The IIgs had the Ensoniq DOC (ES5503): 32 oscillators allowing for ~16 stereo voices at the same time. But it only had 64K of sound RAM.

The GUS (that kickstarted alsa on linux) is based on the DOC II (ES5504), which is more or less a 16-bit version of the DOC that could address 1MB of sound sample RAM.

Wizardry, the Landmark RPG That Inspired Dragon Quest and Final Fantasy

homarp — Wed, 22 Jul 2026 18:41:16 +0000

Article URL: https://www.timeextension.com/features/the-making-of-wizardry-the-landmark-rpg-that-inspired-dragon-quest-and-final-fantasy

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

Points: 4

# Comments: 0

New comment by homarp in "Reverse-engineering is cheap now"

homarp — Tue, 21 Jul 2026 06:22:20 +0000

anything that has a 'not very good' app you are forced to use, everything that imposes 'licensing' limit on hardware you own.

e.g. why do I need V380 app to configure and watch the feed of my IP Camera.

New comment by homarp in "85.3 GFlops: Optimizing FP32 Matrix Multiplication on a Single AMD Zen 3 Core"

homarp — Mon, 20 Jul 2026 20:30:41 +0000

email at the bottom has .br so it's Brazilian Portuguese (https://en.wikipedia.org/wiki/Brazilian_Portuguese )

New comment by homarp in "Kimi Work"

homarp — Mon, 20 Jul 2026 20:26:53 +0000

>kimi has been particularly shameless in copying codex 1:1, wow.

Isn´t codex (edited) Apache 2.0 (thanks @Shank)

https://github.com/openai/codex ?

New comment by homarp in "Blender 5.2 LTS"

homarp — Sun, 19 Jul 2026 14:39:21 +0000

>borrowed the software

>it was a friend's license

>didn't pay for a copy of Blender

just for the record, everyone can download, for free, Blender from https://www.blender.org/download/ for Win, MacOS or Linux

New comment by homarp in "Blender 5.2 LTS"

homarp — Sun, 19 Jul 2026 14:35:38 +0000

how did you learn 3ds Max?

New comment by homarp in "Apple targets dozens of OpenAI employees with legal letters"

homarp — Fri, 17 Jul 2026 21:03:15 +0000

https://www.bunniestudios.com/blog/2009/tech-trend-shanzai/ was internal though

New comment by homarp in "Apple targets dozens of OpenAI employees with legal letters"

homarp — Fri, 17 Jul 2026 13:45:58 +0000

it worked for China, no?

(and to develop 5G modem too)

New comment by homarp in "Show HN: Opening lines of famous literary works"

homarp — Thu, 16 Jul 2026 17:57:14 +0000

Make it an option then.

sample: You don't know about me without you have read a book by the name of The Adventures of Tom Sawyer; but that ain't no matter.[...] I been there before.

Attending Burning Man made me simultaneously one of the most photographed people on the planet and one of the least surveilled humans in the modern world.[...]I gathered Ange into a hug that started off stiff and awkward and then turned into the most familiar feeling in the world.