Davidbrcz

6 ms·

31.
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems(github.com)
37 points by Davidbrcz 10mo ago|5 comments
32.
by Davidbrcz 10mo ago
A goal is what, intent is why. And a same goal could be motivated by different intents.
33.
Ask HN: What predictions for 2025 did come true?
1 points by Davidbrcz 10mo ago|0 comments
34.
by Davidbrcz 11mo ago
Don't worry about C or C++, we create the vulnerabilities ourselves !
35.
by Davidbrcz 11mo ago
That's Event-B (minus the formal side) with LLM
36.
by Davidbrcz 11mo ago
Dark mode is also about accessibility for some visually impaired users https://drgrizz.xyz/dark-mode.html
37.
Visions: Simulate the View of Visually-Impaireds(play.google.com)
1 points by Davidbrcz 1y ago|0 comments
38.
Swiss voters back e-ID legislation(admin.ch)
40 points by Davidbrcz 1y ago|59 comments
39.
by Davidbrcz 1y ago
Your doctor ?
40.
by Davidbrcz 1y ago
I don't know your background, but I would advise focusing on niche job pool (legacy cobol systems, ERP development, defense/safety in Ada projects ...).
41.
by Davidbrcz 1y ago
You can't convince me that 'safe c++' is not an oxymoron.
42.
by Davidbrcz 1y ago
And invert color images for the images ( https://addons.mozilla.org/en-US/firefox/addon/invert-image/ )
43.
by Davidbrcz 1y ago
https://github.com/ohenley/awesome-ada
44.
by Davidbrcz 1y ago
It's funny, I've come to regret switching jobs a few times.
45.
by Davidbrcz 1y ago
Congrats, you have just reinvented the monad
46.
Easy will always trump simple(surfingcomplexity.blog)
5 points by Davidbrcz 1y ago|1 comments
47.
by Davidbrcz 1y ago
Yes ! nothing like doing support for basic questions to understand the pain points and what can be improved.
48.
by Davidbrcz 1y ago
Wireless is a gamble, wired works.
49.
by Davidbrcz 1y ago
So emacs-dired ?
50.
by Davidbrcz 1y ago
I wouldn't mind if they actually _fix_ features afterward, even if it means breaking change.
51.
by Davidbrcz 1y ago
I work with C++, but the amount of don't use standard feature X because reason' is crazy.
52.
by Davidbrcz 1y ago
And if I understand you right, you completely miss the point of the article. I'm already resorting to tools and workarounds (ie Dark mode reader, invert image extensions, invert colors on phone). But - they are workarounds, cumbers
53.
by Davidbrcz 1y ago
I never thought that dark mode could make things less readable. I'll lokk into it. Though I don't know what Pelican offers to switch theme live.
54.
by Davidbrcz 1y ago
Not being disabled.
55.
by Davidbrcz 1y ago
God, the dark mode change reading is a blessing ! See https://drgrizz.xyz/dark-mode.html why
56.
by Davidbrcz 1y ago
systemd is a different kind of a mess though
57.
by Davidbrcz 1y ago
Logicomix: An Epic Search for Truth is a graphic novel about the foundational quest in mathematics
58.
by Davidbrcz 1y ago
Dwyer patterns https://matthewbdwyer.github.io/psp/patterns.html
59.
List of powerful concepts in 250 lines of code(pdubroy.github.io)
3 points by Davidbrcz 1y ago|0 comments
60.
by Davidbrcz 1y ago
Many good and prolific approaches are non deterministic such as fuzzing or property-based testing,

More ›