@anon
sign up
@anon
sign up
pull down to refresh
Writing software: robustness vs being exact
1789 sats
\
3 comments
\
@zuspotirko
31 May 2024
devs
related
A blog post is a very long and complex search query to find fascinating people.
www.henrikkarlsson.xyz/p/search-query
20.6k sats
\
9 comments
\
@elvismercury
4 Nov 2023
meta
Do you believe in “Predictive Programming”?
6971 sats
\
19 comments
\
@Car
25 Feb 2024
conspiracy
Ask SN: What’s the one thing you would change in the world if you could ? 🌍
517 sats
\
25 comments
\
@User21000000
14 Oct 2024
AskSN
Software Disenchantment
tonsky.me/blog/disenchantment/
500 sats
\
4 comments
\
@hn
23 Oct 2023
tech
The Mediocre Software Trap
1504 sats
\
3 comments
\
@kilianbuhn
11 Mar 2023
bitcoin
The Functional programming approach to building apps
326 sats
\
12 comments
\
@kepford
9 Jul 2024
devs
My post in ~Bitcoin got outlawed! Stackers rewarded for downzapping clickbait👀
766 sats
\
42 comments
\
@realBitcoinDog
13 Oct 2024
meta
[bitcoin-dev] MATT: [demo] Optimistic execution of arbitrary programs
lists.linuxfoundation.org/pipermail/bitcoin-dev/2023-September/021974.html
233 sats
\
1 comment
\
@Rsync25
30 Sep 2023
bitcoin
Workshops and Activation for CHECKTEMPLATEVERIFY and CHECKSIGFROMSTACK - floppy
groups.google.com/g/bitcoindev/c/cjPCDjEeEf0/m/X1s5yG37AQAJ
1075 sats
\
0 comments
\
@Scoresby
18 Aug
bitcoin
Why reproducibility matters | Foundation
foundationdevices.com/2023/08/why-reproducibility-matters/
1225 sats
\
6 comments
\
@foundationdvcs
9 Aug 2023
tech
Bitcoin Safe 1.0.0 release - Why choose Bitcoin Safe?
bitcoin-safe.org/en/page/usps/
614 sats
\
9 comments
\
@Andreasgriffin
15 Jan
bitcoin
Designing Through Uncertainty
designerup.co/blog/designing-through-uncertainty
182 sats
\
1 comment
\
@deSign_r
16 Jun
Design
A massive 7.7 quake devastates Mandalay, Myanmar, and impacts Bangkok, Thailand
x.com/VertigoWarrior/status/1905613070636122443
164 sats
\
1 comment
\
@ch0k1
28 Mar
news
Weird instances of predictive programming
3892 sats
\
11 comments
\
@birdeye21
13 Dec 2023
aliens_and_UFOs
The End of Software
docs.google.com/document/d/103cGe8qixC7ZzFsRu5Ww2VEW5YgH9zQaiaqbBsZ1lcc/edit
3227 sats
\
11 comments
\
@k00b
2 Jun 2024
openagents
The search for easier safe systems programming
www.sophiajt.com/search-for-easier-safe-systems-programming/
137 sats
\
0 comments
\
@hn
8 May 2024
tech
Software’s Death by AI Has Been Greatly Exaggerated
www.wsj.com/finance/softwares-death-by-ai-has-been-greatly-exaggerated-b639c0cd?mod
246 sats
\
1 comment
\
@Coinsreporter
27 Aug
AI
Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development
media.defense.gov/2025/Jun/23/2003742198/-1/-1/0/CSI_MEMORY_SAFE_LANGUAGES_REDUCING_VULNERABILITIES_IN_MODERN_SOFTWARE_DEVELOPMENT.PDF
156 sats
\
1 comment
\
@carter
7 Jul
security
Computer Scientists Combine Two ‘Beautiful’ Proof Methods
www.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats
\
0 comments
\
@0xbitcoiner
6 Oct 2024
science
Functional programming self-affirmations
norikitech.com/posts/functional-affirmations/
172 sats
\
0 comments
\
@Rsync25
26 Nov 2024
tech
Why Bad Code Exists
www.industriallogic.com/blog/why-bad-code-exists/
247 sats
\
0 comments
\
@co574
6 Nov 2024
devs
more