Readit News logoReadit News
Davidbrcz commented on Ask HN: Starting a New Role with Ada    · Posted by u/NoNameHaveI
phba · 17 days ago
1. Ask questions, and write down the answers in a way that you will find them again. Anki and spaced repetition is useful to learn the terminology or any info that isn't intuitive.

2. https://github.com/ohenley/awesome-ada has links to pretty much every Ada topic and resource; if you want to try Ada using open source tools, the best starting point is https://alire.ada.dev/docs/

3. Compared to C/C++ I can't really think of any pitfalls. It requires more discipline and formal reasoning, but you will get used to it (and appreciate the lack of footguns, at least I did).

Congrats and good luck.

Davidbrcz · 17 days ago
Just need to check if it's plain Ada or one specific profile or SPARK
Davidbrcz commented on Extending C with Prolog (1994)   amzi.com/articles/irq_exp... · Posted by u/Antibabelic
krzyk · 18 days ago
Is this the time of year when we try to force redditors to stay away by posting about Prolog?

I see three stories already.

Davidbrcz · 18 days ago
Refreshing stories between all the AI ones (and crypto/web3 before that)
Davidbrcz commented on Defer available in gcc and clang   gustedt.wordpress.com/202... · Posted by u/r4um
uecker · 23 days ago
I do not see how defer would have helped in this case.
Davidbrcz · 23 days ago
People manually doing resource cleanup by using goto.

I'm assuming that using defer would have prevented the gotos in the first case, and the bug.

Davidbrcz commented on Ask HN: How do you audit LLM code in programming languages you don't know?    · Posted by u/syx
Davidbrcz · a month ago
You do a cross analysis.

- Compile it with the maximum number of warnings enabled

- Run linters/analyzers/fuzzers on it

- Ask another LLM to review it

Davidbrcz commented on C++ Modules Are Here to Stay   faresbakhit.github.io/e/c... · Posted by u/faresahmed
few · a month ago
And their code example doesn't actually return a value!
Davidbrcz · a month ago
For main it's explicitly allowed by the standard, and no return is equal to return 0
Davidbrcz commented on GitHub should charge everyone $1 more per month to fund open source   blog.greg.technology/2025... · Posted by u/evakhoury
Davidbrcz · 2 months ago
Taxes, that's called taxes.
Davidbrcz commented on Ask HN: Why no dark mode?    · Posted by u/lejeanvaljean
immibis · 2 months ago
Dark mode is for people who have their monitor brightness set way too high.

I'm serious - try it. Only issue is that some monitors' dimmest setting is still too bright.

You could also get a user-styles extension.

Davidbrcz · 2 months ago
I'm visually impaired: dark mode is about making the web usable for me

https://drgrizz.xyz/dark-mode.html

Dead Comment

Davidbrcz commented on Ask HN: Does XML still have any value in creating APIs?    · Posted by u/01-_-
Davidbrcz · 3 months ago
Yes, I'm working on FAA SWIM services now. The tech feels old school (UML, XSD...) but having documentation, class generation from XSD is very helpful.

u/Davidbrcz

KarmaCake day802January 15, 2016View Original