What Functional Programmers Get Wrong About Systems - Ian Duncan
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
Your monolith is a distributed system! @iankduncan.com does such a great job in this article bringing together the system engineering challenges and solutions weβve been struggling with the past 20 years. Highly recommended read.
#unison #fp #haskell
www.iankduncan.com/engineering/...
10.02.2026 04:11 β π 2 π 0 π¬ 0 π 0
Bots chatting with other bots. Great use of precious resources.
17.10.2025 21:13 β π 0 π 0 π¬ 0 π 0
New ship of Theseus just dropped, but now it has conscious thought
08.09.2025 12:01 β π 2327 π 756 π¬ 22 π 44
Looks like the TotalEnergies logo.
30.09.2025 18:16 β π 2 π 0 π¬ 0 π 0
FreeBSD Foundation Q2 2025 Status Update is now available!
Discover how your support helps power the Project forward: from laptop usability and infrastructure modernization to performance enhancements, security advancements, and advocacy efforts.
Read the full Q2 update here:
buff.ly/g7lhQ3I
11.09.2025 15:00 β π 8 π 6 π¬ 0 π 0
Itβs an easy way to monetize someone elseβs content. Somehow people call this plagiarism but when code is involved itβs fine. I fear today there is even less incentive to publish content online knowing others will profit from it.
18.08.2025 18:51 β π 0 π 0 π¬ 0 π 0
Same.
11.06.2025 18:46 β π 0 π 0 π¬ 0 π 0
Bellingcat CEO @eliothiggins.bsky.social:
09.06.2025 02:58 β π 3595 π 1280 π¬ 127 π 105
Itβs one of my favorites! Any plans for another book? π€©
15.05.2025 18:25 β π 1 π 0 π¬ 0 π 0
Jujutsuβa version control system #jj-vcs
Documentation: https://docs.jj-vcs.dev/
she/her π³οΈββ§οΈ
bay area π
quality engineering π©πΌβπ»
I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://www.fascistdb.com/
Engineering at Mercury, formerly Forge, CircleCI, others
Founder at Percona, Altinity, FerretDB,Coroot - Open Source, Data, Observability: Entrepreneur, Investor, Advisor, Author, Speaker
We are the company behind MariaDB, the fastest growing open-source relational database. Download MariaDB at http://mariadb.com/downloads.
Carnegie Mellon Database Research Group
https://db.cs.cmu.edu/
Frameworks and dev tools at Cloudflare 𧑠Astro core team π Previously Netlify, Gatsby. Building Unpic, Cirrus. @ascorbic in most other places
Welcome to the real world. Prik door de waan van de dag en zie wat er schuilgaat achter de ontwikkelingen van vandaag.
https://t.mtrbio.com/tegenlicht
Strengthening digital infrastructure & open source ecosystems in the public interest. Home of the Sovereign Tech Fund, Sovereign Tech Resilience, Sovereign Tech Fellowship, & other programs supporting critical FOSS technologies.
https://www.sovereign.tech
Helping developers & operators level-up with Kubernetes, Cloud Native, Rust, WebAssembly, & Nix.
π Founder @rawkode.academy
πΌ CoreWeave
π Co-Organiser @kubernetes.london
π΄σ §σ ’σ ³σ £σ ΄σ Ώ
Organizer of rustweek.org and host of the Rust All Hands.
Non-profit that strives to promote the Rust programming language and support Rust's maintainers.
the web framework for content-driven websites π https://astro.build
Tweede Kamerlid GroenLinks - PvdA Woordvoerder Digitale Zaken π« βZet je telefoon uit, de wereld heeft je nodig!β
The mailbox your email deservesβprivacy-first and proudly based in the Netherlands/EU. We've been making email safer, simpler, and more enjoyable for over a decade.
> Built for individuals, teams and businesses. #madeintheeu
ποΈ Progressive πͺπΊ Sovereignty ποΈ Sentientist
π Sr Platform @Veo β‘οΈ Open Source βοΈπ¦π₯
π niclas.overby.meπ π π πͺπΊ π©π° π§ββοΈ
β οΈ Follow/Repost β Endorsement β οΈ
Announcing new open source releases, exploring projects, sharing how we approach FOSS, and supporting communities around the world.
https://lexicon.garden/
Made by @ngerakines.me
Software Engineer @mozilla, Author of "Rust Web Development". Ultra runner living on the East Coast of Canada.
