Hacker News: eggy

New comment by eggy in "Owed a billion dollars in Nvidia stock"

eggy — Mon, 28 Sep 2026 14:24:32 +0000

I am not too financially literate, but if the 4 quarters with a 1-year cliff was the period then, what would their value had been? Around $5.75M (6,250 shares per quarter x 4 = 25000 * $230/share)?

New comment by eggy in "Google’s Project Suncatcher to put ML infrastructure in space"

eggy — Fri, 25 Sep 2026 13:46:06 +0000

So Skynet should be refreshed to Starnet?

New comment by eggy in "Show HN: Conway's Game of Life in boot sector"

eggy — Thu, 24 Sep 2026 03:55:13 +0000

Yeah, I worked my way through Oscar Toledo's book, "Programming Boot Sector Games". I used to program in 6502 machine language and assembler. If you like Life, you should check out Andrew Ilachinski's book, "Cellular Automata: A Discrete Universe".

New comment by eggy in "Nvidia announces native GPU programming in Rust"

eggy — Thu, 17 Sep 2026 11:21:57 +0000

Julia has had a great CUDA story for a few years now, and this about 9 days old. Rust rejects buffer aliasing at compile time using Rust's borrow checker, but shared memory in cuda-oxide currently requires unsafe, but then there's HuggingFace's Grout and mistral.rs, so yeah, Rust is picking up ground here on Julia. How is OpenCL's performance these days?

New comment by eggy in "Julia 1.13 highlights"

eggy — Mon, 14 Sep 2026 00:19:03 +0000

I liked Julia the first time I tried it years ago. I had some Matlab experience, so it seemed a similar, yet great improvement (no cost! more modern, but lacking some key libs or toolkits). I started programming Commodore BASIC in 1977 on my PET 2001. Then 6502 Assembler/machine language, C, Turbo Pascal, and many more. I have recently gone back to assembler because of AI. I don't miss hand coding assembler or creating macros that don't exist in FASM, but AI allows me to prompt for a terse program, using tried and true asm methods, which I can then audit. Julia has great math and scientific libraries, so my asm stuff isn't in competition with my asm efforts, but I am really enjoying the asm/AI thing for now. Granted this is for my own small projects. Coding is not my main job. I use coding in my other jobs to help me with certain tasks like scheduling, simulations, engineering, and project management. I was playing with the Julia version of cadCAD that was on Python, however, Julia has a lot of other libs that are way better to do dynamic or complexity studies than cadCAD.

New comment by eggy in "ESP32 Bit Pirate Hardware Hacking Kit with Web Tools That Speaks Every Protocol"

eggy — Thu, 10 Sep 2026 12:12:28 +0000

Coming from a Commodore PET 2001 in 1977, I have to say I am biased towards the green phosphor colored text on black! Not speaking to flow, layout, or the filler text here...

New comment by eggy in "C*: Unifying Programming and Verification in C (2025)"

eggy — Thu, 10 Sep 2026 11:59:26 +0000

I'll have to dive back in. I could use the decent salary right now. I've been out of work aside from my endeavors to bring this hoist to market we are working on currently. The whole formal verification thing has become an obsession of mine lately. First it was applied to just the safety-critical aspects of our system. Now, I am applying lesser, but still powerful methods and tools to make sure the whole front end and basic networking is also part of this formal verification chain. Down the rabbit hole!

New comment by eggy in "Mathematicians want proof OpenAI didn't use their work"

eggy — Thu, 10 Sep 2026 11:52:22 +0000

If you run a model locally to work on your area of expertise in mathematics, and you make a discovery, haven't you stood on the shoulders of others that created that model you are using? Playing devil's advocate here, are we only in for human collaboration, but not machine contributions in this case? Scholars get cited, but do they normally get paid for others citing them and using their work to advance their own? I get the whole sneakiness about how these companies like OpenAI built their models upon IP and data without a clear trail of attribution or compensation where it would normally be present. I am not a proponent for either side at the moment. I am trying to grapple with this whole new world of shared knowledge and how it is produced and shared and profited from especially when there is a $1m prize to distribute!

New comment by eggy in "C*: Unifying Programming and Verification in C (2025)"

eggy — Tue, 08 Sep 2026 23:24:37 +0000

I started recently to learn Cobol, since 2 companies my friend and son were working at need them desperately. They would prefer people with experience in the bankiing/finance industry, but at this point all the over 60s guys are leaving, and nobody is left to pick up the mantle. They told me even though the money is great >$225k starting, people don't want to maintain legacy Cobol code with very high risk if you mess up.

New comment by eggy in "C*: Unifying Programming and Verification in C (2025)"

eggy — Tue, 08 Sep 2026 18:47:56 +0000

I've been on this horse for a while now. I've settled on learning Ada/SPARK. Ada 2022 will start feeding a new SPARK 2014 update. Yes, they are both verbose, if you don't like that sort of thing, and don't like Pascal-like syntax. Believe me, I like APL/J/k/uiua/BQN and Forth and ASM. I am usually syntax agnostic as long as the PL and the ecosystem (more important than most think), meet your needs. I tried Rust back in 2018, and then again in 2023, but found it very complex and Ok, not a fan of the syntax. I would have preferred more ML or Haskell-like syntax. Zig seemed nice, but different use case, and too new. After all, Ada/SPARK have been on huge, high-assurance, high-safety applications for decades. Rust is getting some of their love, and vice versa. AdaCore had created a verified Rust compiler, but with a real world product (Blacktail hoist) in the works, we need a toolset and guarantees and ease of auditing and acceptance to achieve high safety and standards certifications. Think aerospace, defense, railway, and automotive. I started programming in 1977, so there's always a place in my heart for ASM/C. I played with F#, F*, and LOW from MS, and they are good, but they and Rust simply don't have the real world legacy of Ada/SPARK. I have been using Shen to write some formally verified models of less safety-critical areas of our software and I find it refreshing, however, my day job is to stay focused on Ada/SPARK until Rust matures more with a formally verifed proven toolset. There are certainly efforts and crates available in that direction, so hopefully others will bring it to where it needs to be. Lean is another one I have been playing with for some of the more overall logic proof of the system we are building.

New comment by eggy in "AI for Peace Workshop – ICLR 2026"

eggy — Tue, 25 Aug 2026 12:53:32 +0000

Joseph Redmon's talk at ICLR 2026. The genie was let out of the bottle way before 2016, and YOLO, but just put it on the heap...

AI for Peace Workshop – ICLR 2026

eggy — Tue, 25 Aug 2026 12:53:32 +0000

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

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

Points: 1

# Comments: 1

New comment by eggy in "HelloAssembly The smallest possible complete Windows application"

eggy — Tue, 25 Aug 2026 12:35:57 +0000

I haven't played with yolo yet. I'll have to use my airgapped, old Lenovo ThinkPad for this! Whenever I see yolo, I can't stop thinking of Joseph Redmon's YOLO and his astounding resume format!

New comment by eggy in "HelloAssembly The smallest possible complete Windows application"

eggy — Tue, 25 Aug 2026 12:29:20 +0000

I should try FASM to see if it produces a smaller size exe. COM files are small, but 16-bit DOS was the thing back in the day - 100H yeah and basically a memory dump.

New comment by eggy in "Jolt: Clojure compiler implemented with Chez Scheme"

eggy — Wed, 12 Aug 2026 03:10:36 +0000

Thank you! How about performance? Do you see Jolt evolving into something more useable for real work, or is it too niche and not capable enough? I always loved Racket. How does Jolt compare? I'll give it a try this weekend.

New comment by eggy in "Jolt: Clojure compiler implemented with Chez Scheme"

eggy — Wed, 12 Aug 2026 02:44:35 +0000

Yes, and people seem to leave context out of it nowadays, which usually makes it a moot point. When searching I would put "Jolt Chez" or "Jolt Clojure" to get relevant hits. There is a Jolt energy drink too, popular among techies, or it was...

New comment by eggy in "Jolt: Clojure compiler implemented with Chez Scheme"

eggy — Tue, 11 Aug 2026 17:01:27 +0000

What does this have to do with Jolt, the Clojure compiler other than in name? Is there a port to Clojure or other connection?

New comment by eggy in "Jolt: Clojure compiler implemented with Chez Scheme"

eggy — Tue, 11 Aug 2026 16:58:41 +0000

Curious about the executable size and performance. Mark, you started me on AI with your, "Common LISP Modules: Artificial Intelligence in the Era of Neural Networks and Chaos Theory". I have never been able to fully leave Lisp behind. I'll have to try this on my linux box. What's your take on using jolt practically for work vs. learning? Thanks!

New comment by eggy in "Cagire: Live Coding in Forth"

eggy — Sun, 19 Jul 2026 19:15:05 +0000

Wow, I never saw this! I like APL/J/Uiua, so this is perfect. Uiua is both stack and array based. Thanks!

New comment by eggy in "Cagire: Live Coding in Forth"

eggy — Sun, 19 Jul 2026 19:12:25 +0000

Cool, and I love the retro font. I had a Vic-20 (early 80s) and Commodore PET 2001 (1977) I am learning Odin, and I was going to try creating live coding environment with scripting in Forth and with the gui and rest in Odin, but for audio and graphics. I was inspired long ago by Paul Batchelor's Sporth and Tidal (now tidal cycles?). Forth is a great language. You can make an compiler/interpreter in a few days. John Earnest's ok.js is also cool. I like stack and array languages, so when I am not playing in J, I use Uiua. Uiua has the capability to do audio and graphics/animations and scratches my array/stack itch.