numerosix
Re:Ironclad 0.7.0 โ formally verified Unix-like kernel in SPARK and Ada
on Sunday June 01, 2025 @11:11PM (#44155554)
Great project!
Re:Zoo CAD Engine Overview
on Wednesday May 21, 2025 @01:11PM (#44053641)
not reponsive website....
Re:What USAF Bomber Pilots Would Wear During a Nuclear Apocalypse (2017)
on Friday May 02, 2025 @12:48AM (#43866298)
Major kong was the best, he even rides nukes. What a man.
Re:LinkedIn is my new blogging platform
on Tuesday April 29, 2025 @01:17AM (#43828874)
linkedin is toxic. Only use it as a vcard.
Re:ASCII Lookup Utility in Ada
on Thursday April 17, 2025 @05:02PM (#43722187)
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'
Re:That Time I Recreated Photoshop in C++
on Monday March 17, 2025 @02:19AM (#43385633)
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...
Re:How to communicate with your Asian parents
on Thursday March 13, 2025 @01:58AM (#43350714)
Just do dishes to help your parents ?
Re:Ask HN: What less-popular systems programming language are you using?
on Friday March 07, 2025 @12:19AM (#43287535)
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 ;)
Re:Ask HN: What less-popular systems programming language are you using?
on Friday March 07, 2025 @12:11AM (#43287511)
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...
Re:Ask HN: Alternative to VS Code?
on Tuesday February 25, 2025 @11:50PM (#43180731)
for Ada, C, C++, Python: GNAT Studio, written in Ada, free software, pc mac linux, fast light powerful...
Re:Ask HN: Alternative to VS Code?
on Tuesday February 25, 2025 @11:46PM (#43180713)
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...
Re:Inclusi.fr โ Le premier convertisseur de texte en inclusif
on Monday February 17, 2025 @11:10AM (#43080390)
Belle parodie ou wokisme hideux ?
Re:Open-Source Ada: From Gateware to Application
on Saturday February 15, 2025 @11:01PM (#43065195)
You did a fantastic job. A full open source fpga vhdl toolchain for Ada... Very well written too. Hats off sir.
Re:Homemade polarimetric synthetic aperture radar drone
on Saturday February 15, 2025 @12:30AM (#43056139)
amazing work... thanks to sharing it. all the best from oleron island france :)
Re:Ada crate of the year 2024 announced
on Monday February 10, 2025 @01:46AM (#42997556)
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.
Re:Going Beyond Ada 2022
on Saturday January 25, 2025 @04:50PM (#42825216)
Using Ada is so cool. A very fast, safe and productive language... With a good community.
Re:Things people get wrong about Electron
on Saturday January 25, 2025 @02:21AM (#42820111)
Full biased bs. Heard similar stuff when jvm rises a quarter century ago. Electron things are bloatware.
Re:Nokia's internal presentation after iPhone was launched (2007) [pdf]
on Sunday January 19, 2025 @03:09AM (#42754990)
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...
Re:Naval GUN Fire Control System software is written in C++, says job ...
on Thursday December 05, 2024 @11:55PM (#42336465)
Ada/Spark is far ahead from Java and C++ for safety and maintanbility concerns.
Re:Hundreds More Nazca Lines Emerge in Peru's Desert
on Monday November 25, 2024 @12:46AM (#42233591)
French here. 'Le matin des magiciens' has been written by Pauwels and Bergier...
Re:Self-Hosting Isn't a Solution; It's a Patch
on Saturday November 23, 2024 @01:36AM (#42219517)
Full BS from idiocracy... Self hosting is a perfect reliable solution.
Re:Ask HN: What is a programming language that you don't use at work b...
on Wednesday October 23, 2024 @02:02PM (#41927651)
Ada, from 8bits microcontrollers to amd64 and arm too... really portable, so readable and robust, strong typed, and great community too.
Re:A benchmark of three different floating point packages for the 6809
on Friday October 18, 2024 @10:50PM (#41885268)
I second that.
Re:Furilabs Linux Phone
on Tuesday October 15, 2024 @01:52AM (#41845345)
n900 was perfectly reliable, yours had a problem. And Maemo was a wonderful interface for mobile stuff. Clean, functional, tweakable. Regret it every day, facing shitty Android. I dream for a LTE n900 with a larger screen, leaving the rest unchanged : unbreakable resistive screen, mecanical keyboard, fantastic stereo speakers, etc.
Re:Tell HN: Stripe Link closed my account without explanation
on Thursday September 12, 2024 @01:38AM (#41517905)
Stripe is a no go. Period.
Re:Ask HN: Why LinkedIn employees don't use LinkedIn and only Twitter?
on Sunday September 08, 2024 @02:08AM (#41478511)
They want freedom to write what they want?
Re:I wag, therefore I am: the philosophy of dogs
on Sunday August 18, 2024 @10:53PM (#41287385)
Thank you to bring this up.
Re:Is Bill Gates a savior or a villain?
on Sunday August 18, 2024 @09:16AM (#41282199)
villain
Re:Ballmer Is Richer Than Gates, a First for Microsoft Billionaires
on Wednesday July 03, 2024 @01:08AM (#40862874)
free software is a cancer, he says...
Re:AdaCore Enhances GCC Security with Innovative Features
on Thursday June 27, 2024 @01:12AM (#40807463)
Very interesting contribution from Adacore to GCC.