Hacker News: numerosix

New comment by numerosix in "Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada"

numerosix — Mon, 02 Jun 2025 03:11:08 +0000

Great project!

New comment by numerosix in "Zoo CAD Engine Overview"

numerosix — Wed, 21 May 2025 17:11:30 +0000

not reponsive website....

New comment by numerosix in "What USAF Bomber Pilots Would Wear During a Nuclear Apocalypse (2017)"

numerosix — Fri, 02 May 2025 04:48:02 +0000

Major kong was the best, he even rides nukes. What a man.

New comment by numerosix in "LinkedIn is my new blogging platform"

numerosix — Tue, 29 Apr 2025 05:17:00 +0000

linkedin is toxic. Only use it as a vcard.

New comment by numerosix in "ASCII Lookup Utility in Ada"

numerosix — Thu, 17 Apr 2025 21:02:59 +0000

Ada version is more readable and faster... Thanks for sharing :)

You can find a good Ada setup with Alire for Linux googling 'github sowebio adel-doc'

New comment by numerosix in "That Time I Recreated Photoshop in C++"

numerosix — Mon, 17 Mar 2025 06:19:51 +0000

Same as you... I don't use psp anymore because i'm on the lovely penguin for decades but psp was the finest paint i ever use, since, too, win3...

New comment by numerosix in "How to communicate with your Asian parents"

numerosix — Thu, 13 Mar 2025 05:58:35 +0000

Just do dishes to help your parents ?

New comment by numerosix in "Ask HN: What less-popular systems programming language are you using?"

numerosix — Fri, 07 Mar 2025 05:19:00 +0000

Embedded 8 and 32 bits microcontrollers to web linux based erp/crm softwares. Ada can be used for anything, with the speed of C/C++ but in a far more readable and safer way... Ada is a secret weapon. Don't spread theses infos ;)

New comment by numerosix in "Ask HN: What less-popular systems programming language are you using?"

numerosix — Fri, 07 Mar 2025 05:11:40 +0000

I second that. From 8 to 64 bits systems, embedded or system programming, Ada is the best choice. I've saved tons of missing hours, headhaches, etc. with this gem. Search Github Sowebio Adel for a good setup manual and, in the same repo, v22 for a good gp kiss framework...

New comment by numerosix in "Ask HN: Alternative to VS Code?"

numerosix — Wed, 26 Feb 2025 04:50:05 +0000

for Ada, C, C++, Python: GNAT Studio, written in Ada, free software, pc mac linux, fast light powerful...

New comment by numerosix in "Ask HN: Alternative to VS Code?"

numerosix — Wed, 26 Feb 2025 04:46:45 +0000

you're not trying to start a flamewar but you're spreading inaccurate info... fyi, at our company, all pc 12" to 43" dell latitude optiplex or nuc intel or custom are on ubuntu or now debian/xfce... management, sales, infographics, software development, hardware design...

New comment by numerosix in "Inclusi.fr – Le premier convertisseur de texte en inclusif"

numerosix — Mon, 17 Feb 2025 16:10:45 +0000

Belle parodie ou wokisme hideux ?

New comment by numerosix in "Open-Source Ada: From Gateware to Application"

numerosix — Sun, 16 Feb 2025 04:01:39 +0000

You did a fantastic job. A full open source fpga vhdl toolchain for Ada... Very well written too. Hats off sir.

New comment by numerosix in "Homemade polarimetric synthetic aperture radar drone"

numerosix — Sat, 15 Feb 2025 05:30:33 +0000

amazing work... thanks to sharing it. all the best from oleron island france :)

New comment by numerosix in "Ada crate of the year 2024 announced"

numerosix — Mon, 10 Feb 2025 06:46:46 +0000

This is not a fair comment. Feel free to be a hater and spread unfair BS. We use Ada for years for its reliability, efficiency and readiness. We saved men/years thanks to its productivity. FYI, the latest Ada release is 2022 and still innovative.

New comment by numerosix in "Going Beyond Ada 2022"

numerosix — Sat, 25 Jan 2025 21:50:56 +0000

Using Ada is so cool. A very fast, safe and productive language... With a good community.

New comment by numerosix in "Things people get wrong about Electron"

numerosix — Sat, 25 Jan 2025 07:21:45 +0000

Full biased bs. Heard similar stuff when jvm rises a quarter century ago. Electron things are bloatware.

New comment by numerosix in "Nokia's internal presentation after iPhone was launched (2007) [pdf]"

numerosix — Sun, 19 Jan 2025 08:09:57 +0000

I second that ! compact, unbreakable screen, real sliding keyboard with backlight, beautiful interface, true debian, a total shame, I regret it everyday. It was almost perfect. Tons of apps, even Waze! Android & iphone are pure shit. Rip n900...

New comment by numerosix in "Naval GUN Fire Control System software is written in C++, says job listing"

numerosix — Fri, 06 Dec 2024 04:55:11 +0000

Ada/Spark is far ahead from Java and C++ for safety and maintanbility concerns.

New comment by numerosix in "Hundreds More Nazca Lines Emerge in Peru's Desert"

numerosix — Mon, 25 Nov 2024 05:46:07 +0000

French here. 'Le matin des magiciens' has been written by Pauwels and Bergier...