Hacker News new | ask | show | jobs
user: rbanffy
created: 2008-03-12
karma: 193483

Seasoned software developer, proficient in Python, Java. Less proficient in Ruby and Lisp. A bit rusty in C and C++. Learning Erlang very slowly. Also a computer collector and restorer, lover of 8-bit computers, mainframes and interesting Unix workstations.

email: username at that google mail thing

http://about.me/rbanffy

https://linkedin.com/in/ricardobanffy

[ my public key: https://keybase.io/rbanffy; my proof: https://keybase.io/rbanffy/sigs/HtF1uAf_RNpwIkNP1-YGWP_-3doWV6S5Cc1KywXeLYo ]

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
How Russia's nuclear-powered 'Skyfall' missile works
3 points | 0 comments
Where Does the Foundation Come From?
3 points | 0 comments
Software Verification in the Age of Artificial Intelligence
3 points | 0 comments
Questions and answers on AI and verification: follow-up to my May ACM Tech Talk
4 points | 0 comments
Now is the time to give LLMs access to the ACM digital library
142 points | 117 comments
Poem for Engineers: A Martian Rover Sends a Postcard
2 points | 0 comments
Universal Gravitational Constant Gets a 10-Year Recheck
2 points | 0 comments
0 points | 0 comments
Hybrid Comeback Powers Extended Range Electric Vehicles
2 points | 0 comments
0 points | 0 comments
ASRock Rack 4U16X-GNR2 Nvidia HGX B300 8-GPU Server Review – ServeTheHome
2 points | 1 comments
0 points | 0 comments
0 points | 0 comments
AI Hosts and Sandboxes Save Intel's Datacenter CPU Cookies
3 points | 0 comments
AMD Advancing AI 2026: Talking CDNA5 with AMD's Alan Smith
2 points | 0 comments
Experts warn current Starship heat shield tech is a "dead end" for rapid reuse
4 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
HBM Is the Ugly Baby: What Now? – By Vikram Sekar
4 points | 0 comments
0 points | 0 comments
AMD Advancing AI 2026: Talking CDNA5 with AMD's Alan Smith
17 points | 0 comments
0 points | 0 comments