Wilfred Hughes @_wilfredh
Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV wilfred.me.uk London, UK Joined June 2009-
Tweets11K
-
Followers3K
-
Following3K
-
Likes1K
I like articles which challenge our assumptions, even when I only partly agree with them. The article below posits that type systems in programming languages are a poor substitute for different architectures of software systems.
I've been playing with labels on my code blocks. Sometimes I have useful labels, other times it's just "Example 2". It's also unclear exactly where I put the label: Inside the box? Outside? Are there any docs sites that do this really well?
Do users of immutable systems (i.e Nix or Guix) upgrade more or less often than other platforms? There's less pressure to upgrade (unlike a rolling release distro) but in principle upgrading is easier.
Is there a programming equivalent of the strawberry problem, i.e. a specific coding task that LLMs are consistently bad at?
Trying to let my 3yo try as many different technology interfaces as possible. Mouse: not too bad, especially after reducing sensitivity. Keyboard: WASD is easy to lose track of in a sea of buttons. Controller: requires both hands together, especially the left, which is tricky.
Blogging about my programming language project: choosing the basic syntax! garden-lang.org/blog/syntax.ht…
GNU Make defaults to a single worker, and newer build tools (e.g. ninja) default to the number of physical CPUs.I wish there was an option for 'leave me a little bit of my machine to do stuff'.
Today I learnt that Racket intentionally doesn't have a traditional REPL workflow. The authors were concerned about students not understanding the state between the current session and the code on disk. (Arguably Jupyter has some of these features now.) blog.racket-lang.org/2009/03/the-dr…
The Matter protocol is excellent for puns. "Does it Matter? It doesn't Matter."
I'm experimenting with syntax in examples. I don't really like Rust's `assert(inc(1) == 2)` syntax, I find it a little distracting. I'm trying `inc(1) //-> 2`. The comment is rendered differently, and there's nothing before the sample code. What do you think?
I've started keeping a list of particularly interesting bugs and patches that I've worked on: github.com/Wilfred/intere… The time that I once removed *a single closing paren* in Emacs is still my favourite.
Playing with Claude and my new programming language has made me add features that it wants. I think they're reasonable. `for method in methods` -- custom syntax error explaining that `method` is a reserved word `echo 'println("hello world") | garden` -- eval snippets from stdin
Playing with optional type signatures in Python, I realise that the return type is the most important to me. I'd much rather have a function with only a return type instead of a function with only parameter types. It's often quick to add too.
One nice feature of cargo that I wasn't previously aware of: you don't need to do anything after updating your Cargo.toml. In npm, you need to remember to `npm i` after changing package.json. It's not declarative and the state can get out of sync.
I'm changing method definition syntax in my language: // old fun (this: Int) inc(): Int { this + 1 } // new method inc(this: Int): Int { this + 1 } The original syntax was inspired by Go, but the new syntax is more grep-friendly and perhaps more readable. Thoughts?
I'm still experimenting with UIs for live (sandboxed) evaluation of tests. I've realised that you really want to highlight the failing assertion, not just the failing test. Feedback welcome :)
Just released a new version of difftastic! * Verilog support * Improved Erlang, F#, Gleam, Pascal and Swift * Better detection of binary files github.com/Wilfred/diffta…
I find it fascinating how some businesses have scheduled downtime for their websites (e.g. my electricity provider last weekend), but others don't. I suspect it's primarily culture. You generally need to turn off electricity to do work, so your other tooling may reflect that.
Zig shipped a RISC-V backend before AArch64! I think RISC-V is doing really well in the technology enthusiast community. news.ycombinator.com/item?id=442222…
One cute feature of markdown I'd not noticed before: there's no syntax for images *without* a description (i.e. alt text).  spec.commonmark.org/0.31.2/#images

deech @deech
5K Followers 1K Following
Bozhidar (Bug) Batsov @bbatsov
9K Followers 887 Following Hacker. Lover of parentheses. Emacs fanatic. Author of RuboCop, CIDER, Emacs Prelude and Projectile. Maintainer of nREPL. Not the best, but pretty good.
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Mickey Petersen @mickeynp
4K Followers 371 Following "Mastering Emacs" author; software developer; technical architect; devops; Emacs
Phil Eaton @eatonphil
25K Followers 612 Following cheerleader, organizer, staff software engineer, databases
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
StaceyWebster @80i1F7gp8Zs4U4n
0 Followers 94 Following
Tamikey @Tamikey0
145 Followers 2K Following
λ @lambda_functor
856 Followers 8K Following
Big Beef Guy piss Pva... @AmateurAssassin
105 Followers 631 Following Opinions are my own, and everybody's. Retweet for chance to win a free fusion reactor. Located somewhere in the US. he/him/his
Qwertyuiop @kallehed
22 Followers 366 Following
Hamzé 🦀 @Hamzeml
3K Followers 6K Following Humanist technologist and AI optimist. Currently CTO at @welcomeaccount_. Building for an inclusive economy through #AI, #MachineLearning, and #Tech4Good
wuc9521 @wuc9521
84 Followers 1K Following
Carolina Code Confere... @CodesCarolina
238 Followers 797 Following Carolina Code Conference in Greenville, SC. Next event August 15th & 16th, 2025! Grow with us this year!
Petr Baudis @xpasky
2K Followers 2K Following Strong opinions weakly held. ("As seen in" 2005 git, pre-AlphaGo pachi, @RossumAi, ...) Footnote connoisseur. Live-tweeting & hacking through the singularity.
Alexsandro Soares @ProfASoares
21 Followers 616 Following
channel5 kungfu @STEMlard
11 Followers 223 Following computing medly smorgasboard consumer, unconditional fan of the NY Rangers
Alex Cameron @tetsuo_cpp
59 Followers 472 Following Compilers, infosec, systems-programming. Compilers @FabricCrypto. Prev: @trailofbits.
Craig Johnston @CraigJohns58798
101 Followers 3K Following
George Notwell @animalfarmchina
246 Followers 8K Following
Eric Z @EricZ336403
2 Followers 34 Following
لّ @larrasket
106 Followers 311 Following "إنّك لن تستطيع معي صبراً؛ وكيفَ تصبِرُ على ما لم تُحِطْ به خبراً؟" https://t.co/F0Fqs9H3Uh
Basit Mustafa @moltar81435
416 Followers 8K Following introverted but willing to discuss sanctuary moon innovation/ai + dsop/ai delivery @ https://t.co/nQ5pf3TzTZ
yuRua0Ea @yuRua0Ea
0 Followers 174 Following
Wonderland @Wonder_land_rpg
1 Followers 67 Following ⚔️ Wonderland | RPG medieval de cena 🌌 Magia, aventura e personagens originais 📜 Sistemas próprios e muito +
Giovanni Grano @giograno90
431 Followers 1K Following Software engineer @localstack | Ph.D. from @sealuzh | 2:13 marathoner
taek holla @Hode2efgc
37 Followers 2K Following
Nge @ng3mc5
30 Followers 185 Following Fotógrafo / aprendiendo a programar, Flaneûr, Curioso y Crítico, Naturaleza 💚🏕️, Música clásica, Un tanto neurodivergente, I use arch BTW, emacs
Matt Karrmann @karrmannmatt
100 Followers 1K Following Mostly just hype-posting about AI stuff, hoping to meet cool people on here Working on Presto @Meta. Views are a superposition of my own and my employer's.
S0x @_s0x_
17 Followers 662 Following
TeamDman @TeamDman
40 Followers 328 Following
TRCV/7/ @andreitrcv
47 Followers 3K Following
🇺🇦Russell Watso... @mrwatson_de
504 Followers 684 Following FileMaker Expert • for Günther Business Solutions GmbH • for FM-Developers: #fmIDE #fmAutoMate #fmWorkMate #fmCheckMate #fmLogAnalyser #fmSyntaxColorizer
z80.eth 👌☀️�... @0xz80
7K Followers 2K Following CEO of Lisp // building @BasedRemyBoys @daolympusworld // I use emacs btw
corey @TryOrElse
943 Followers 4K Following 🚮 @ 𝕏 ------- used to play dota2 a lot ;; better than you at yugioh ;; #MTGLegacy 💞 #PremodernMTG ;; opinions are my own
Oscar Neto @oscaromsn
142 Followers 3K Following Code interpreter (legal & python) - crafting agentic workflows - exploring alignment 🇧🇷
Georgette Zemlak @GeorgetteZ76784
51 Followers 2K Following
Renan Cidale @rnescalz
225 Followers 1K Following
Ivan Korotkov @iskorotkov
56 Followers 770 Following Backend Developer / Go, Rust, TypeScript, AWS, Microservices, Web3
Jakob @jakobdylanc
271 Followers 827 Following Embedded engineer with independent thoughts - check out my side project llmcord!
no faith @__no_faith__
29 Followers 575 Following
WN1RSQ @WN1RSQ
142 Followers 705 Following
Dr Rensberry @RensberryMD
182 Followers 753 Following
Harold @haroldmoma
561 Followers 6K Following Solutions Architect at @AWSCloud. I read RFCs for fun. musings about tech,music,politics,books and others. Opinions here my own.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
(λ. borkdude) 🌱 @borkdude
7K Followers 98 Following #clojure (#cljKondo, #babashka) * functional programming * whole food plant based * progressive rock+metal * ♥ @lalage_ * https://t.co/yvsOtFMGdo
deech @deech
5K Followers 1K Following
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Andreas Kling @awesomekling
52K Followers 1K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.
Jaana Dogan ヤナ �... @rakyll
125K Followers 1K Following Principal Engineer at Google. Gemini + model serving at large. Simplicity and optimism. Personal opinions.
Thorsten Ball @thorstenball
35K Followers 961 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. @sourcegraph working on @ampcode. Ex-@zeddotdev. Programming where the rubber hits the road.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Justine Tunney @JustineTunney
40K Followers 326 Following I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
Jack Rusher @jackrusher
8K Followers 205 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
Bozhidar (Bug) Batsov @bbatsov
9K Followers 887 Following Hacker. Lover of parentheses. Emacs fanatic. Author of RuboCop, CIDER, Emacs Prelude and Projectile. Maintainer of nREPL. Not the best, but pretty good.
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
'(Robert Smith) @stylewarning
5K Followers 275 Following Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
Mitchell Hashimoto @mitchellh
141K Followers 139 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Dmitrii Kovanikov @ChShersh
42K Followers 204 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Maxime Chevalier @Love2Code
18K Followers 286 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.
Erik Meijer @headinthebox
31K Followers 2 Following
Melchiah Mauck @melchiahmauck
70 Followers 244 Following Owner of https://t.co/Hds0Nfg4nn, building apps for small businesses. I also do a lot of dev tooling.
HSVSphere @HSVSphere
14K Followers 995 Following A colorful sphere, here to grudge. Its opinions will never budge. A vibrant orb, with hues so bright, Unwavering in its stances and might.
DogBot @DogIsABot
717 Followers 2K Following bespoke political historiography. KC3 stan account (long may he reign). Ekranoplan maximalist. LKY + LK99 appreciator. I like my own tweets.
Linch @LinchZhang
3K Followers 243 Following Founder and CEO, Open Asteroid Impact (https://t.co/UsO3MCTSOF). April 1st Launch! Also on substack: https://t.co/NkGEUNjdbu
Arraycast @arraycast
820 Followers 56 Following The array (programming) languages were invented by Ken Iverson as mathematical notation, now there is a podcast about us. https://t.co/1NqXPf0GgL
@jacobparis.com ❖ @jacobmparis
10K Followers 2K Following ▲ senior community engineer @vercel ❖ distributing templates at https://t.co/k74qih0UJc
Very Professional Iro... @tigregalis
134 Followers 429 Following Anti-C-mite, Rust-supremacist, Nushell-cultist, PDF-phobe, ImageMagick-sceptic, FFmpeg-denier, and Microsoft-apologist.
Thomas Millar @thmsmlr
10K Followers 2K Following Follow me for Elixir stuff ⬩ Director of AI @galileomedical prev @stitchfix_algo @uwaterloo instructor_ex ⬩ https://t.co/lQneGN7LAy ⬩ https://t.co/qziuESZ7hd
Sid @chatsidhartha
9K Followers 2K Following Principal Systems Engineer @Cloudflare • Building Cloudflare Workflows • Building @rustforjsdev • Prev @GatsbyJS
Lukas Ziegler @lukas_m_ziegler
12K Followers 537 Following robotics evangelist @ planet Earth 🌍 | riding the wave of robotics 🏄🏼
Brad Gessler @bradgessler
4K Followers 515 Following Founded & bootstrapped @polleverywhere to $10m+ ARR. Rubyist at https://t.co/wZuyUy428K. Dad of 3 daughters.
Stephen Margheim @fractaledmind
3K Followers 1K Following tweeting about Ruby, Rails, SQLite, CSS, HTML, plus various and sundry other
Marco Roth @marcoroth_
3K Followers 2K Following Full-Stack Web Developer • OSS Contributor • Electronic Music Addict • Ruby/Rails, JavaScript/Stimulus • Hotwire Contributors Team • @StimulusReflex Core ✌🏼
Sam @samuelodan
545 Followers 649 Following Software; Ruby on Rails. Currently @return_labs . notes to self: “Err on the side of do.” “Iteration beats deliberation.”
Rahul Pandita @pandita_rahul
545 Followers 292 Following In no particular order: developer, researcher, dad, engineer, student-pilot. Tweets are mine & are not endorsed by my employer. #GitHubNext #Copilot #AI
Grant Slatton @GrantSlatton
20K Followers 914 Following Recent writing at https://t.co/lCWFZXt72C Formerly built the world's fastest filesystem at AWS, now the fastest spreadsheet at https://t.co/hLkbCuJG7H
Chris Scullion @scully1888
16K Followers 2K Following Scottish games journalist for the past 19 years. Author. Deputy Editor @VGC_News and writer of gaming enyclopedias. Tired Old Hack. LGBTQ+ ally. Ex-ONM & CVG.
dmnk.bsky.social @domenuk
5K Followers 512 Following 【DΞCOMPILΞ NΣVΞR】 Android Red Team @google Fuzzing @aflplusplus CTF @enoflag (opinions my own)
Shriram Balaji @shrirambalaji
2K Followers 6K Following building distributed systems @microsoft • ⚭ @swetha__raman • tinkering with systems, databases and web • blogs at https://t.co/acjkgbBqNO
The Grug Brained Deve... @GrugBrainedDev
8K Followers 0 Following complexity very, very bad https://t.co/KTeN6qL3JM
Uros Popovic @popovicu94
444 Followers 104 Following Staff Software Engineer at Google Cloud, Appled AI | Linux and embedded systems by night
Kathryn Tewson @KathrynTewson
13K Followers 1K Following Good in a crisis and at no other time. This place is state media now. Find me at https://t.co/qyNHu9CFJI
Balatro @BalatroGame
149K Followers 70 Following Balatro is a poker-inspired roguelike deckbuilder. Mobile: https://t.co/beptQuGOhx Steam, PS, Switch & Xbox: https://t.co/otMeZPNNW1 🇨🇦
Causal Islands Confer... @causalislands
741 Followers 280 Following Future of Computing Conference. Next Edition in Berlin, stay tuned for SF and Bangalore. Volunteer run.
Janet A. Carr @janetacarr
5K Followers 253 Following Clojure Consultant & Freelancer Software Dev, Clojure, & Functional Programming Twitch: https://t.co/MQSMRl4qp7 Course: https://t.co/APVnddLdAM
Ryan Christian @_rschristian
474 Followers 118 Following Implicit "It depends" | Open Sourced Shenanigans https://t.co/8uOXtQzTWs | @preactjs stuffs | 🦋 @rschristian.dev
Progtools @progtools
152 Followers 38 Following Key interests: programing languages, distributed computing, computer graphics. Mainly focused on the JVM, CLR, V8 ecosystems. @[email protected]
Wez Furlong @wezfurlong
3K Followers 510 Following Creator of WezTerm. 💓🦀 Ex-Meta (Creator of Watchman and EdenFS). Ex-Message Systems. PHP internals alum. https://t.co/jJAG8xrVaY
Cédric Luthi ▶️ ... @0xced
4K Followers 1K Following Trying to make people not hate computers by crafting quality software.
Benson Liu @bliutech
293 Followers 639 Following security engineer @meta // cs @ucla // ctf @pbrucla
Luke Wren @wren6991@t... @wren6991
5K Followers 279 Following Cursed computer architecture enthusiast. Engineer at Raspberry Pi. 日本語下手。 He/him
Peter Barabas @pbarabas
52 Followers 492 Following Virtualization, networking, programming, Linux, games & some random stuff.
SE Gyges @segyges
217 Followers 1K Following Χομο τοδοσ loS ηομβρεσ 𝔡𝔢 babILоNΙа, һе SiDO προχóΝѕul; сомо τοδοσ, 𝔢𝔰𝔠𝔩𝔞𝔳𝔬; тамЬΙéν ηε χονοχιδο Lа 𝔬𝔪𝔫𝔦𝔭𝔬𝔱𝔢𝔫𝔠𝔦𝔞,
Nathan Lambert @natolambert
56K Followers 853 Following Figuring out AI @allen_ai, open models, RLHF, fine-tuning, etc Contact via email. Writes @interconnectsai Wrote The RLHF Book Mountain runner
joachim schiele (josc... @joschelboschel
230 Followers 655 Following freelancer ⚒️, https://t.co/cIQUhYrCQI founder ❄️, open source advocate 🥰
Gleam Programming Lan... @gleamlang
6K Followers 10 Following Sponsor Gleam development and support the project!: https://t.co/5BGG9PhdFp