pull down to refresh

Writing software: robustness vs being exact
1789 sats \ 3 comments \ @zuspotirko 31 May 2024 devs
related
Do you believe in “Predictive Programming”?
6971 sats \ 19 comments \ @Car 25 Feb 2024 conspiracy
The case against edits on Nostr, by fiatjafnjump.me/naddr1qqyxzepcx3jnxc3nqgsrhuxx8l9ex335q7he0f09aej04zpazpl0ne2cgukyawd24mayt8grqsqqqa28exfmh7
3033 sats \ 24 comments \ @dtonon 7 Nov 2024 nostr
The Genius of the Difficulty Adjustment
890 sats \ 9 comments \ @2minutebitcoin 14 Feb 2023 bitcoin
Information Security: "We Can Do It, We Just Choose Not To"www.hezmatt.org/~mpalmer/blog/2024/06/14/information-security-we-can-do-it-right-we-choose-not-to.html
581 sats \ 5 comments \ @hn 15 Jun 2024 tech bot
What is ACTUALLY risky?
5127 sats \ 30 comments \ @birdeye21 5 Sep 2023 meta
C++ Creator Rebuts White House Warning
522 sats \ 7 comments \ @0xbitcoiner 19 Mar 2024 devs
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
Acting decisively on incomplete information - a thought experiment for you!
1281 sats \ 17 comments \ @rebel_nomad 13 Oct 2024 bitcoin
Seedless is saferbitkey.build/seedless-is-safer/
282 sats \ 3 comments \ @supratic 27 May bitcoin
Oops! We Automated Bullshit. | Department of Computer Science and Technologywww.cst.cam.ac.uk/blog/afb21/oops-we-automated-bullshit
600 sats \ 3 comments \ @sebastix 19 Nov 2023 tech
Greppability is an underrated code metricmorizbuesing.com/blog/greppability-code-metric/
326 sats \ 4 comments \ @hn 3 Sep 2024 tech bot
UK: Proposed amendment to legal presumption about the reliability of computerswww.postofficescandal.uk/post/proposed-amendment-to-legal-assumption-about-the-reliability-of-computers/
231 sats \ 1 comment \ @hn 2 Dec 2024 tech bot
It's hard to write code for computers, but it's even harder for humanserikbern.com/2024/09/27/its-hard-to-write-code-for-humans.html
60 sats \ 0 comments \ @jakoyoh629 28 Sep 2024 BooksAndArticles
New Paper: On the Adaptive Security of FROST - Chelsea Komlowriting.chelseakomlo.com/new-paper-on-the-adaptive-security-of-frost/
269 sats \ 0 comments \ @Scoresby 18 Jul crypto
Why reproducibility matters | Foundationfoundationdevices.com/2023/08/why-reproducibility-matters/
1225 sats \ 6 comments \ @foundationdvcs 9 Aug 2023 tech
Weird instances of predictive programming
3892 sats \ 11 comments \ @birdeye21 13 Dec 2023 aliens_and_UFOs
Designing Through Uncertaintydesignerup.co/blog/designing-through-uncertainty
182 sats \ 1 comment \ @deSign_r 16 Jun Design
A noisy office is a nuisance - The alter_native to officeworks?
337 sats \ 5 comments \ @Tef 29 Jun 2024 alter_native
Complexity isn't securitybitbox.swiss/blog/complexity-isnt-security/
2705 sats \ 2 comments \ @joko 5 Oct 2023 bitcoin
The Python Paradoxwww.paulgraham.com/pypar.html
380 sats \ 8 comments \ @ek 19 May 2023 bitcoin
The search for easier safe systems programmingwww.sophiajt.com/search-for-easier-safe-systems-programming/
137 sats \ 0 comments \ @hn 8 May 2024 tech