back
user profile
homarp
18,923karma·2,691submissions·March 15, 2013
about
pronounce it Homarπ - means Home Resource Planner
recent activity (2,691 total)
comment
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.
comment
fun fact: https://news.ycombinator.com/item?id=49059774
comment
maybe it is Grokimi? https://venturebeat.com/technology/cursors-composer-2-was-se... …
comment
he wrote the Lulu book
comment
>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 abou…
comment
>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 cybercri…
comment
>Fable is $1/month instead of $100/month will Anthropic (or OpenAI) lowers their price, or increase margin (to justify valuation)
comment
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 Charp…
comment
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…
comment
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…
comment
email at the bottom has .br
so it's Brazilian Portuguese ( https://en.wikipedia.org/wiki/Brazilian_Portuguese )…
comment
>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 ?…
comment
>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…
comment
how did you learn 3ds Max?
comment
https://www.bunniestudios.com/blog/2009/tech-trend-shanzai/ was internal though…
comment
it worked for China, no? (and to develop 5G modem too)
comment
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. Attendin…
comment
see https://news.ycombinator.com/item?id=39159418
comment
you should add closing line too.
comment
PRIDE is the registered trademark of M. Bryce & Associates (MBA) https://www.modernanalyst.com/Resources/News/tabid/177/ID/50... and https://we…
comment
single hand six in chinese https://en.wikipedia.org/wiki/Chinese_number_gestures …
comment
and the associated github https://github.com/openhwgroup/cvw
comment
the analogy is
you have mspaint (or blender) you add MCP (or an API) suddenly with llama.cpp and a small model like qwen 3.6 35B, you can automate things by just asking. emacs same thing, you can …