ajdude

13 ms·

151.
Rust2ada: Converts Rust code to formally verifiable Ada, including itself(github.com)
3 points by ajdude 1y ago|0 comments
152.
by ajdude 1y ago
I wonder how this compares to porting kit and wineskin. That's what I've been using for Windows gaming on Mac and it's been running well for me on my m3 air- this is the first time I've ever heard of crossover.
153.
by ajdude 1y ago
The title is clickbait. Most of openai's comments were about their desire to have access to google's index. They also discussed how open AI is thinking about creating a chrome Fork to compete with Google Chrome. The specific part
154.
by ajdude 1y ago
A few years ago I had a .us TLD. I eventually decided that I probably shouldn't be reliant on a country code for my domain, it's the same reason why I don't use .io I'm not saying that this couldn't have happened w
155.
by ajdude 2y ago
Unless you're David Taylor apparently, then it's anywhere from 42 to 63 days ( based on https://www.capitoltrades.com/trades )
156.
What happens to DNA data of millions as 23andMe files bankruptcy?(pbs.org)
18 points by ajdude 2y ago|6 comments
157.
CSS-Only Syntax Highlighting(aartaka.me)
2 points by ajdude 2y ago|0 comments
158.
Reconsidering Debian's Inclusion of Non-Free Firmware – A Call for Discussion(lists.debian.org)
8 points by ajdude 2y ago|2 comments
159.
by ajdude 2y ago
> I have hopes that maybe Orion can get there with a paid-for model I'm hopeful. I stopped using firefox last week and switched fully to Orion (I was already using it on my iPhone for the firefox extensions), and now I&#x
160.
Please don't use AI images in JOSM(josm.openstreetmap.de)
3 points by ajdude 2y ago|0 comments
161.
Apple's Software Quality Crisis(eliseomartelli.it)
1196 points by ajdude 2y ago|1198 comments
162.
by ajdude 2y ago
It looks like it's available on homebrew, so that may be a good workaround.
163.
by ajdude 2y ago
Several of them seem to be 404ing for me
164.
by ajdude 2y ago
I don't understand how they could be pulling in half a billion a year for a decade and still have financial problems... even if they just put that money in a low risk money market investment account the whole company could have just ra
165.
by ajdude 2y ago
Tooling is pretty good; Ada has a package manager similar to Cargo (Alice: https://alire.ada.dev ), and you can install it pretty easily via GetAda ( https://getada.dev ), which brings in the compilers and any librar
166.
by ajdude 2y ago
I almost exclusively work in Ada for my hobby projects these days; It's great for doing both high level and low level programming.
167.
by ajdude 2y ago
WebKit is also used in Orion, but that browser is macOS/iOS only.
168.
by ajdude 2y ago
I made the same decision earlier today. Migrating to Orion as we speak... It's frustrating because I've used Firefox since 2006 and have stuck by them and defended their decisions for decades. I still won't touch anything
169.
by ajdude 2y ago
There's never been a time where I have not gotten a response from hn@ycombinator.com It's much more effective than doing what you're doing.
170.
by ajdude 2y ago
Related discussion: U.K. orders Apple to let it spy on users’ encrypted accounts (washingtonpost.com) 762 points by Despegar 14 days ago | 1070 comments https://news.ycombinator.com/item?id=42970412
171.
by ajdude 2y ago
A breakdown was actually just posted on that thread an hour ago: And in terms of numbers, out of the $1.2M annual costs we mention there, here's the rough breakdown: * $360K/yr – Trust & Safety * $250K/yr –
172.
by ajdude 2y ago
My grandmother would tell me stories about how when she was growing up, they had backyard chickens. Unfortunately my state has laws preventing anyone from even having a hen unless you have over an acre of land.
173.
To C or Not to See?(dancarlin.substack.com)
1 points by ajdude 2y ago|1 comments
174.
Counter-Strike: Source Update Released(store.steampowered.com)
2 points by ajdude 2y ago|0 comments
175.
Kagi Privacy Pass(kagifeedback.org)
1 points by ajdude 2y ago|1 comments
176.
by ajdude 2y ago
I definitely appreciated the screenshots to each post in those parentheses. Clever way of doing it.
177.
by ajdude 2y ago
A huge portion of Ada's modern ecosystem is MIT/apache or similar licensed, and available via Alire: https://alire.ada.dev/crates.html A great deal of that are driver libraries for sbcs and other embedded framewor
178.
by ajdude 2y ago
You forgot Ada 2022 :) https://learn.adacore.com/courses/whats-new-in-ada-2022/inde... Adacore technically retired the Community version a few years ago, so the most up-to-date free version would be GNAT from FSF
179.
by ajdude 2y ago
With Ada/SPARK (and hopefully Rust) this can be checked at compile time to formally prove code. You can also catch the runtime exceptions and handle them accordingly if you're not using SPARK. The presentation right before the Ru
180.
by ajdude 2y ago
I think with the recent flurry of languages focusing on safety, Ada has been making a comeback (see: ada-lang.io, getada.dev, alire, etc). This presentation in particular was in the Ada dev room at FOSDEM (I gave a presentation in that room

More ›