Hacker News: prometheus1992https://news.ycombinator.com/user?id=prometheus1992Hacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 12 Sep 2026 07:54:09 +0000<![CDATA[New comment by prometheus1992 in "A misalignment of AI in mathematics"]]>>I doubt taxi drivers were forced to experience an ego death to the same extent

How do you know? because their complaints didn't make it to HN front page? Imagine being a taxi driver and a father of 2 and thinking that any day could be the last day at your work.

]]>Fri, 11 Sep 2026 19:22:15 +0000https://news.ycombinator.com/item?id=49663925prometheus1992https://news.ycombinator.com/item?id=49663925https://news.ycombinator.com/item?id=49663925<![CDATA[New comment by prometheus1992 in "A misalignment of AI in mathematics"]]>>The point of transportation is to get from point A to point B so almost nobody will care whether that's done via automation.

Would you say the job of a musician is to just produce sound? and the job of a surgeon just to cut and suture??? Well then the job of a mathematician is also just to provide proofs. You completely misunderstood the above comment and Tao's argument.

]]>Fri, 11 Sep 2026 19:20:46 +0000https://news.ycombinator.com/item?id=49663897prometheus1992https://news.ycombinator.com/item?id=49663897https://news.ycombinator.com/item?id=49663897<![CDATA[New comment by prometheus1992 in "Formalizing Fermat's Last Theorem"]]>Can someone with more knowledge help me with this silly question in my head?

>>Along the way, it wrote 13 million lines of Lean and proved 29,500 intermediate theorems

Did a human check the 13 million lines of code? How does QA'ing this type of work works?

]]>Fri, 04 Sep 2026 19:32:50 +0000https://news.ycombinator.com/item?id=49569170prometheus1992https://news.ycombinator.com/item?id=49569170https://news.ycombinator.com/item?id=49569170<![CDATA[New comment by prometheus1992 in "Discovery of a new OpenAI agent message board"]]>>>How did the agents find and coordinate on the wikis? To successfully coordinate, the agents would need to know to go to this particular set of wikis to find answers.

Answer - OpenAI added this part in post training.

I'm not surprised OpenAI didn't get reprimand for this.

]]>Fri, 04 Sep 2026 14:02:25 +0000https://news.ycombinator.com/item?id=49564812prometheus1992https://news.ycombinator.com/item?id=49564812https://news.ycombinator.com/item?id=49564812<![CDATA[New comment by prometheus1992 in "Discovery of a new OpenAI agent message board"]]>Wild indeed! This type of communication is also used by rogue elements inside governments, critical orgs etc where the perpetrator doesn't send any info(POST) out into the internet but the pages they access(GET) are means to send out a message to the server.

]]>Fri, 04 Sep 2026 13:35:21 +0000https://news.ycombinator.com/item?id=49564429prometheus1992https://news.ycombinator.com/item?id=49564429https://news.ycombinator.com/item?id=49564429<![CDATA[New comment by prometheus1992 in "GPT-6 Astra"]]>this is crazy! can't wait for the 27B distilled version of this.

]]>Thu, 03 Sep 2026 19:54:36 +0000https://news.ycombinator.com/item?id=49555874prometheus1992https://news.ycombinator.com/item?id=49555874https://news.ycombinator.com/item?id=49555874<![CDATA[New comment by prometheus1992 in "K2 Horizon: Frontier Performance, Radically Open"]]>Nice! can't wait to add these in my local stack and try them out.

]]>Thu, 03 Sep 2026 17:18:26 +0000https://news.ycombinator.com/item?id=49553439prometheus1992https://news.ycombinator.com/item?id=49553439https://news.ycombinator.com/item?id=49553439<![CDATA[New comment by prometheus1992 in "Gemini 3.8 Flash and 3.8 Flash Cyber"]]>Google keeps flashing everyone where everyone is expecting to get PRO'bed.

]]>Wed, 02 Sep 2026 16:12:46 +0000https://news.ycombinator.com/item?id=49538460prometheus1992https://news.ycombinator.com/item?id=49538460https://news.ycombinator.com/item?id=49538460<![CDATA[Ask HN: How are you interviewing engineers on their programming abilities?]]>Title + now that LLMs have become pretty good at writing code. Are you emphasizing planning, architecture etc more in your interviews?

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

Points: 1

# Comments: 0

]]>Wed, 02 Sep 2026 16:11:43 +0000https://news.ycombinator.com/item?id=49538446prometheus1992https://news.ycombinator.com/item?id=49538446https://news.ycombinator.com/item?id=49538446<![CDATA[New comment by prometheus1992 in "Show HN: Running 104GB Qwen3.8-Flash-Next on 48GB Mac with at ~12 tok/s"]]>haha, good for you.

]]>Tue, 01 Sep 2026 20:00:04 +0000https://news.ycombinator.com/item?id=49527297prometheus1992https://news.ycombinator.com/item?id=49527297https://news.ycombinator.com/item?id=49527297<![CDATA[New comment by prometheus1992 in "Show HN: Running 104GB Qwen3.8-Flash-Next on 48GB Mac with at ~12 tok/s"]]>It's hard to believe 16GB unified memory will give you 5 tok/sec unless you are ignoring the thermal warnings. I am running Qwen3.6-35B-A3B on my 16GB M3 and get 7-8 tokens/sec with all the optimizations while keeping the peak memory and thermal warnings at check. https://github.com/deepanwadhwa/samosa-chat

]]>Tue, 01 Sep 2026 17:40:06 +0000https://news.ycombinator.com/item?id=49525218prometheus1992https://news.ycombinator.com/item?id=49525218https://news.ycombinator.com/item?id=49525218<![CDATA[New comment by prometheus1992 in "AI-Written Code Is Still *Your* Code. Are You OK with That?"]]>I find it incredibly difficult to contribute to code files that were initiated by LLMs. Need to dig deeper to understand why but I just don't like it. I end up prompting my way out of any issues I see, sometimes it works out sometimes it doesn't.

]]>Mon, 31 Aug 2026 12:46:08 +0000https://news.ycombinator.com/item?id=49509048prometheus1992https://news.ycombinator.com/item?id=49509048https://news.ycombinator.com/item?id=49509048<![CDATA[New comment by prometheus1992 in "Inception-style curved map for turn-by-turn directions"]]>Nice work! This sort of reminds me of a game I saw demo'd on HN about a year ago, where you could walk and talk to the people and do some tasks- the difference being - in that game the world felt like a convex sphere and here it is concave.

]]>Fri, 28 Aug 2026 14:30:47 +0000https://news.ycombinator.com/item?id=49479080prometheus1992https://news.ycombinator.com/item?id=49479080https://news.ycombinator.com/item?id=49479080<![CDATA[New comment by prometheus1992 in "Meta Paid $17B – Gets to Write Safety Rules for Other SocMedia Platform"]]>not sure who is downvoting this comment. meta should not exist as a company.

]]>Fri, 28 Aug 2026 01:03:15 +0000https://news.ycombinator.com/item?id=49473191prometheus1992https://news.ycombinator.com/item?id=49473191https://news.ycombinator.com/item?id=49473191<![CDATA[New comment by prometheus1992 in "Microduck"]]>Not sure many people know this - most of the robotics stuff that you see in the news is based on MujoCo (Multi-Joint dynamics with Contact) engine, that is used primarily to create simulated environments in which these robots learn the RL policies. This project is maintained by Google deepmind - https://github.com/google-deepmind/mujoco

]]>Thu, 27 Aug 2026 15:33:30 +0000https://news.ycombinator.com/item?id=49466516prometheus1992https://news.ycombinator.com/item?id=49466516https://news.ycombinator.com/item?id=49466516<![CDATA[New comment by prometheus1992 in "New Mac Studio with M5 Max and M5 Ultra"]]>The new mac minis and mac studios are going to be in shortage for at least first 6 months from 9.22

]]>Tue, 25 Aug 2026 14:19:17 +0000https://news.ycombinator.com/item?id=49434628prometheus1992https://news.ycombinator.com/item?id=49434628https://news.ycombinator.com/item?id=49434628<![CDATA[New comment by prometheus1992 in "Ornith-1.5: From Self-Scaffolding to Self-Improvement"]]>Can't wait to try this. Ornith1 (9B) was a really nice model. I have been running it locally using - https://github.com/deepanwadhwa/samosa-chat

]]>Wed, 19 Aug 2026 17:07:18 +0000https://news.ycombinator.com/item?id=49364216prometheus1992https://news.ycombinator.com/item?id=49364216https://news.ycombinator.com/item?id=49364216<![CDATA[New comment by prometheus1992 in "Meta Files Patent for Facial Recognition, Automatic Recording of People"]]>I was recently at a hotel where the front desk lady was wearing these glasses. I immediately saw the cameras and asked, "are those meta glasses", she said yeah but these are not on right now. I don't get how she thought it'd be a good idea to wear those glasses at a front desk job. This was a nice 4 star hotel in Atlanta.

After I came home I decided that I am going to put up a sign in my front yard - "I will shoot you if I see you with meta glasses in front of my house". I don't own a gun but I will definitely put up the sign just to tell people how shitty they are.

]]>Tue, 18 Aug 2026 16:29:30 +0000https://news.ycombinator.com/item?id=49348179prometheus1992https://news.ycombinator.com/item?id=49348179https://news.ycombinator.com/item?id=49348179<![CDATA[New comment by prometheus1992 in "A particle made of force: physicists say they've found mysterious 'glueball'"]]>you are trying to see something that's not quite there in this case. there is shit ton of very good research that happens all over the world. but i also sympathize with what you are trying insinuate and that's also probably happening.

]]>Tue, 18 Aug 2026 01:08:31 +0000https://news.ycombinator.com/item?id=49339872prometheus1992https://news.ycombinator.com/item?id=49339872https://news.ycombinator.com/item?id=49339872<![CDATA[New comment by prometheus1992 in "Qwen 3.8 27B"]]>ahh gotcha. that speed sounds about right. i am running qwen 3.6 35bA3B(group-32 int4) on my m3 air (16gb) and get about 8 tokens per sec. i have not yet tried the 3.6 27B.

]]>Sat, 15 Aug 2026 18:51:02 +0000https://news.ycombinator.com/item?id=49313200prometheus1992https://news.ycombinator.com/item?id=49313200https://news.ycombinator.com/item?id=49313200