-
Tweets3K
-
Followers320
-
Following283
-
Likes2K
Antti Holvikari retweeted
Linux users after they try windows 11 for 30s
201
483
4K
174K
750
View Details
Antti Holvikari retweeted
Something I noticed about working with Fable...
So you add a fancy effect system to your functional programming language. Now it's all too easy to write everything in imperative style. And imperative style doesn't encourage good functional design.
Now when I see a new software product announced I always think "slop", and I hate it.
"Nothing in the world is worth having or worth doing unless it means effort…" Where's the effort in AI?
Seems like jujutsu is good for stacked PRs where you mutate (rebase) your changes between these PRs. But I always felt like rebasing & force pushing is an anti pattern.
Antti Holvikari retweeted
Looking forward to be proven wrong but for now I'm still filing anyone who claims "code is cheap/free now" under "has no idea what they're doing".
Antti Holvikari retweeted
Announcing TypeNix: full typing for Nix, based on TypeScript. The trick: map Nix AST -> TS AST: the typechecker never knows it's looking at Nix. Types all 42K nixpkgs files, 13s locally. Fixed-point patterns (`makeExtensible`, etc.) typed. Early PoC: github.com/ryanrasti/type… @typescript @grhmc @tweagio
@debasishg Yes, although type classes (ala Haskell) and a good property test suite might do the trick as well.
Antti Holvikari retweeted
Assuming anyone cares about quality.
The more I do vibe coding, the more I tend to believe you have to be really familiar with the domain you vibe coded to achieve the productivity gain. Otherwise,it's too random to deliver high quality product.
Antti Holvikari retweeted
Antti Holvikari retweeted
Agreed with Rob Pike on the AI hype - bsky.app/profile/robpik…
Time will tell if the new language features will prompt new frameworks that adopt a different approach.
What's holding back Java as a modern language is the culture around dynamic meta programming, like use of annotations and reflection.
Antti Holvikari retweeted
When you finish reading the Golang spec and there is no revelation of it being an elaborate computer science joke.
Antti Holvikari retweeted
This fishing village became wealthier than entire African nations in 40 years. One thing changed everything:
@awesomekling Basically any persistent data structures. HAMTs, RRB-trees etc.
Better variance is probably not coming any time soon, and neither is checked exceptions for lambdas.
My biggest grievances are: - lack of declaration-site variance - checked exceptions don't work well with lambdas - lack of "withers" for records - lack of pattern matching for literals/enums
Java has become quite ok as a language mainly because of sealed interfaces and records.
Markus Hjort @mhjort
609 Followers 423 Following Tech Lead, Co-Founder at Bitmagic. Podcast host @koodipinnanalla
Laura Snellman-Junna @lsnellma
817 Followers 1K Following butterflies / zebras / moonbeams / fairy tales - co-founder of Wonna for great software - 💚🌍🏳️🌈🇫🇮 - enimmäkseen suomeksi
Harry Solovay @harrysolovay
1K Followers 537 Following TypeScript artist. New Yorker. @CrosshatchDev
Esther muriithi mofre... @Mishwangari
1K Followers 6K Following 📈 Crypto Made Simple 📘 trading tutorials & guides 👶 Beginner friendly 📩 Message us to learn follow our team for info⬇️
Vladimir Kalnitsky @klntsky
614 Followers 663 Following LLMs / Software / DeFi / https://t.co/LFOEU1e7lq
Marc Gris @MarcGris2
100 Followers 1K Following Software & Data Engineer - Lover of Strong Types & All things FP - Former professional Musician - and… (humbly aspiring) Philosopher
Aruqau @Aruqau825
12 Followers 236 Following
Linda rose @Lindarose196706
32 Followers 453 Following
Tuomo Sahipakka @tuomosa
1K Followers 3K Following Tech entrepreneur & consultant | UNIX/suckless greybeard | Self-host everything, encryption rights, free speech & decentralized options
Jodie ccomer @CcomerJodi87933
37 Followers 220 Following
Jesrkerd @JesrkerdYJgRFf
63 Followers 2K Following
Smusee @Smuseef1YIxB
6 Followers 240 Following
EduardoRFS.tei @TheEduardoRFS
9K Followers 2K Following 27yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.
Domagoj Mišković @allrealmsoflife
154 Followers 153 Following Classical guitarist enjoying functional programming. Nix, NixOS https://t.co/JUaSbbPY3c
Rasmus F.A. Lindman @frans__arthur
2K Followers 2K Following Rational force of nature in search of transcendence through the power of techno-capital machinery — Software engineering & human interface design
Soumitra Pandit @Soumitra_97
1 Followers 7 Following
Mansur Amir @msa_dev
7 Followers 217 Following
NanoVMs @nanovms
2K Followers 8K Following NanoVMs - no users, no login, single application unikernel vms. Protecting everyones cloud. Faster than Docker, Faster than Linux.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #DAML #Haskell #Nix #Elixir #Rust #Agda #ML #AI
wasmCloud @wasmcloud
3K Followers 2K Following Incubating CNCF Project. Build, manage, and scale polyglot apps across any cloud, K8s, or edge. Join us on Bluesky: https://t.co/lzXzKZYaao
Sumit Kumar Singh @_sks147
65 Followers 228 Following IIT Roorkee | Computer Science & Engineering https://t.co/xurcV3d31C
Neiti X @Neiti_X
16 Followers 1K Following Tuu tsekkaamaan oisko mun eroottiset tarinat ja videot sun juttu🔥 https://t.co/MtBo9APv4m
Tommi O. Pälve @TommiPalve
15K Followers 9K Following Elämäntapataiteilija, seikkailija ja visionääri, jolla on suorastaan majesteettiset makunystyrät.
Sandro Tajè @sandrotaje
5 Followers 130 Following
Manuel Simoni @msimoni
5K Followers 2K Following geek of programming languages, operating systems, and hypermedia platforms
Boogie-time123 @Bill_Pun_
143 Followers 1K Following 🚀 GameStop (GME) to the moon! 🚀 Selling a single Cat NFT for 0.333 ETH. See link below:
Martin Pavlík @SoWhatChaWant
6 Followers 95 Following
Marcel Wurster @Marcelwurster
76 Followers 282 Following 🌱Founder of Marcel Wurster 👊🏼supporter of the hospitality industry 📱text me 06-12889092
David Adair @dadair_ca
164 Followers 2K Following Software @neofinancial in #yyc 🍁. Always searching for how #Emacs can do more for me.
Daniel Firth (Inspect... @locallycompact
1K Followers 807 Following Haskell, Nix, Mathematics @ https://t.co/VjGooH6UaG
Dario Oddenino @dariooddenino
78 Followers 70 Following
Paul Gray @PaulGrizzay
382 Followers 560 Following Software Engineer. I code in Scala/Typescript with a healthy dose of fp λ.
allforabit @allforabit
166 Followers 3K Following Kevin Nolan International Global Corp Ltd, now accepting Visa, Mastercard and Laser.
Csaba Hruska @csaba_hruska
1K Followers 670 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧
Arun Mathews @ArunAMathews
43 Followers 311 Following
Jean-Baptiste Musso @jbmusso
637 Followers 1K Following Translating user requirements to machines using Continuous Delivery, DDD, TDD & functional programming. I help you deploy on Fridays. Hiring engineers in Paris.
nikiv.dev @nikivdev
5K Followers 8K Following
piq and 69 others @piq9117
3K Followers 2K Following Building RankRicer • Software Engineer • Haskell • Nix • Neovim • Competive Pistol Shooter
artificial_unintellig... @jkachmar
1K Followers 616 Following https://t.co/OUBoeLSA83 • https://t.co/TRSxTDPjh8 • we live in hell
Rúnar @runarorama
13K Followers 120 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
Gary Bernhardt @garybernhardt
46K Followers 112 Following Execute Program (learn programming tools quickly); Destroy All Software (dense programming screencasts); formerly Deconstruct conference.
James 🌐 @james_almeida
2K Followers 836 Following Dad. AI guy. Formerly Human Data @xAI. I like to build stuff.
Alexandru Nedelcu @alexelcu
67 Followers 94 Following Software developer, #FP, #Scala, #Kotlin, #JVM, #Rust enthusiast; contributor to https://t.co/FXf2t7Fenz, https://t.co/XtWE8gaGgW, https://t.co/emDATEQndM, https://t.co/jhefez8SLJ
Good Work @goodworkmb
31K Followers 7 Following edge-cutting business news with Dan Toomey subscribe: https://t.co/9haxXb2TRJ
Atte Kaleva @AtteKaleva
40K Followers 192 Following Kansanedustaja, sotatieteiden maisteri, majuri evp., yrittäjä, Helsingin kaupunginvaltuutettu (kokoomus).
Dr Jordan B Peterson @jordanbpeterson
6.2M Followers 2K Following Best-Selling Author | Clinical Psychologist | #1 Education Podcast | Co-founder of @petersonacademy | Order my new book "We Who Wrestle With God" here:
Mikhail Khodorkovsky @khodorkovsky_en
185K Followers 3K Following A leader of the Russian opposition, reformer. Ex-political prisoner (2003–2013). Follow for insights on current events in Russia and beyond
Bytecode Alliance @bytecodeallies
1K Followers 3 Following
Dr Mikeisraetel @drmikeisraetel
1K Followers 98 Following Cofounder of Rpstrength & teamfullrom NPC bodybuilder, Brown belt. If you would like any media removed, DM me! (Fan Account)
Coleman Hughes @coldxman
434K Followers 1K Following Conversations w/Coleman Podcast | Forbes 30 Under 30 | @theFP https://t.co/cwLQsfPK19 | Speaking Inquiries: [email protected]
Ryan Peterman @ryanlpeterman
28K Followers 460 Following Quit my job to build the podcast & ergonomic keyboard I wish existed • ex-software engineer @instagram, @meta • See what I'm building here ↓
Anton Gerashchenko @Gerashchenko_en
689K Followers 1K Following Ukrainian patriot. Advisor to Internal Affairs Minister (2021-2023). Institute of the Future founder. Support volunteer translators https://t.co/nWSASMUo29
Tere Sammallahti 🇫... @TereSammallahti
13K Followers 201 Following Kansanedustaja, @Kokoomus oikea laitahyökkääjä. #Terestroika 050 436 0965, [email protected]
BrendanEich @BrendanEich
204K Followers 2K Following Co-founder & CEO @Brave Software (https://t.co/NV4bmd6vxq) and @attentiontoken (https://t.co/XhGIrdBJWu). Co-founded Mozilla & Firefox. Created JavaScript.
Natalka @NatalkaKyiv
66K Followers 19K Following 🇺🇦🇺🇸 Ukrainian. American. Woman. Artist. NAFO. Same handle on 🧵& 🦋
ARC Prize @arcprize
41K Followers 187 Following A North Star for open AGI. Co-founders: @fchollet @mikeknoop. President: @gregkamradt. We're hiring mission-driven builders: https://t.co/GswTSnyCoJ
Leonardo de Moura @Leonard41111588
8K Followers 31 Following
justinmk @justinmk
5K Followers 65 Following @Neovim maintainer. CC-BY-4.0 "People are afraid to merge." - Less Than Zero
Cult.Repo @CultRepo
15K Followers 3K Following Making documentaries about open source (mostly 😏) Subscribe on YouTube
Jeff Lindsay @progrium
9K Followers 1K Following Influential indie dev. Early @twilio, prototyped @docker, created @dokku, started @shdh + @hackerdojo, original admin @tigsource, "invented webhooks", etc
Dr. Juho Heiska @Juuhonber
2K Followers 891 Following Dad 👦👧👦👧 | Husband | Doctor of Science (Tech.) | Akkutohtori | SeAMK - R&D Manager | Jos se on @Juuhonber se oon mä.
Zed A. Shaw, Writer @lzsthw
19K Followers 445 Following Learn to code at https://t.co/M2PoncbFO6. I stream programming, games, and teach art at https://t.co/a41VlARoyB every day.
David Perell @david_perell
479K Followers 840 Following "The Writing Guy" | Christian | Host: How I Write Podcast | I tweet about writing, beauty, and architecture | My writing: https://t.co/SOE9HtxXdi
Mitchell Hashimoto @mitchellh
222K Followers 150 Following Co-founder of @Superlogical. Creator of Ghostty. 👻 Prev founded @HashiCorp, created Vagrant, Terraform, Vault, and others.
Java Champions @Java_Champions
54K Followers 360 Following The official Twitter account of the Java Champions, an exclusive group of Java technology and community leaders. Mastodon https://t.co/vghNLhalEo
WalterBright @WalterBright
8K Followers 67 Following Engineer Digital Mars, D Language Foundation C, C++, D programming language compilers, and Javascript compiler
Timo Ahopelto @timomj
10K Followers 1K Following Early-stage investor. Ecosystem: Slush, EVA, Solidium. Founding Partner @ Lifeline Ventures. Founding CEO @ CRF Health (eClinical unicorn). Plays hockey.
Project Helidon @helidon_project
5K Followers 3 Following A Java framework for writing microservices that run on a fast web core powered by Virtual threads. A Microprofile implementation.
Warren Smith @WTSmith17
152K Followers 322 Following Teacher, volunteer firefighter and founder of the Secret Scholars on YouTube. Email: [email protected]
The Cultural Tutor @culturaltutor
1.7M Followers 67 Following You can't step in the same river once. Paperback OUT NOW ↓
Effectful Technologie... @EffectfulTech
960 Followers 2 Following Primitives for building end-to-end applications in TypeScript. Creators of @EffectTS_
Maxwell Brown @imax153
1K Followers 383 Following Core contributor @EffectTS_ | Founding engineer @EffectfulTech
Harry Solovay @harrysolovay
1K Followers 537 Following TypeScript artist. New Yorker. @CrosshatchDev
LOST - The Oceanic St... @LOST_Oceanic
3K Followers 3K Following ✈️ Years after the crash of Oceanic 815 on September 22, 2004, we came back as part of the Dharma Initiative, The Oceanic Station. 🏝️
The Institute for Typ... @typememetics
5K Followers 109 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
Aram Hăvărneanu @aramh
5K Followers 2K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
gingerBill @TheGingerBill
16K Followers 1K Following I'm a Ginger thus I have no soul. Creator of the Odin Programming Language https://t.co/LWFCLB39eC Working at @JangaFX on EmberGen/LiquiGen/GeoGen/IlluGen
You might like
Aku Kotkavuo
@eagleflo
329 Followers
Kare Nuorteva
@KareNuorteva
135 Followers
Joonas Reynders
@jreynders
218 Followers