Davidbrcz

5 ms·

1.
by Davidbrcz 23d ago
TIL about Emacs' antinews (what would be new if you were to downgrade to Emacs 30) https://www.gnu.org/software/emacs/manual/html_node/emacs/An...
2.
by Davidbrcz 2mo ago
Tree Style Tab https://addons.mozilla.org/en-US/firefox/addon/tree-style-ta...
3.
by Davidbrcz 2mo ago
https://lobste.rs/ feel more like old-HN
4.
by Davidbrcz 3mo ago
This is the 2020s re-enactement of the early 2000 WYSIWYG editors.
5.
Dear researchers: help me deal with incidents [pdf](surfingcomplexity.blog)
5 points by Davidbrcz 3mo ago|0 comments
6.
by Davidbrcz 3mo ago
The best way to learn a new language is to follow a proper structured resource which would cover syntax, semantic, tooling & ecosystem and best practices.
7.
by Davidbrcz 3mo ago
And that's the usual fallacy (just ignore the bad stuff). But if you work with C++ in professional context, you will encounter it somewhere (library, teamate's PR, legacy code, LLM output, book / blog / conference ...).
8.
by Davidbrcz 3mo ago
Python, Java, Lua, Ruby are ~30 years old, Ada being as old as C++. Sure, none is perfect and they have cruft and warts, but they are not such a mess as C++ is.
9.
by Davidbrcz 3mo ago
No it's not. The language keeps growing, with - new features overlapping old features from previous standards without replacing them or deprecating them (function::copyable_function vs std::function, std::less<> key for transpare
10.
by Davidbrcz 3mo ago
Except the language keeps growing, with - new features overlapping old features previous standards without replacing them or deprecating them. - new features not usable by the layman - ... See function::copyable_function vs std::function, m
11.
by Davidbrcz 3mo ago
I was an intern at CERN in mid 2010s and worked on this !
12.
by Davidbrcz 4mo ago
Concepts have been disappointing for me: what they tell you is still buried in 1000 lines of errors.
13.
ACM Code of Ethics and Professional Conduct(acm.org)
2 points by Davidbrcz 4mo ago|0 comments
14.
Forcing dark mode in PDFs for Firefox(drgrizz.xyz)
3 points by Davidbrcz 5mo ago|1 comments
15.
by Davidbrcz 5mo ago
We are more likely to have water and food shortages because of resource exhaustion and climate change. Maybe goods shortages because of war or economic depression.
16.
by Davidbrcz 5mo ago
More climate disasters, more wars (water's war), more refugees.
17.
by Davidbrcz 5mo ago
> Dissimilar redundancy eliminates that risk. A completely different OS, different codebase, different development team. Not entirely true. I've heard during my uni years of a case were two independent teams used the same textbook f
18.
by Davidbrcz 5mo ago
They are all the regular software, but with new bugs in it !
19.
by Davidbrcz 6mo ago
I use asio at work for coroutine. It's one of the most opaque library I've ever used. The doc is awful and impenetrable. The most helpful resource about it is a guy on stackoverflow (sehe). No idea how to get help once SO will hav
20.
by Davidbrcz 7mo ago
Just need to check if it's plain Ada or one specific profile or SPARK
21.
by Davidbrcz 7mo ago
Refreshing stories between all the AI ones (and crypto/web3 before that)
22.
by Davidbrcz 7mo 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.
23.
by Davidbrcz 7mo ago
https://www.crypto101.io/Crypto101.pdf
24.
by Davidbrcz 7mo 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
25.
by Davidbrcz 8mo ago
For main it's explicitly allowed by the standard, and no return is equal to return 0
26.
by Davidbrcz 8mo ago
Taxes, that's called taxes.
27.
by Davidbrcz 8mo ago
I'm visually impaired: dark mode is about making the web usable for me https://drgrizz.xyz/dark-mode.html
28.
by Davidbrcz 9mo 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.
29.
by Davidbrcz 9mo ago
That's some Westworld level of discussion
30.
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems(github.com)
37 points by Davidbrcz 9mo ago|5 comments

More ›