Tiim Williams @_willtim_
London Joined July 2010-
Tweets70
-
Followers127
-
Following92
-
Likes165
Tiim Williams retweeted
Hislop is the man
Tiim Williams retweeted
"That means that in the time that Python can perform a single FLOP, an A100 could have chewed through 9.75 million FLOPS"
"That means that in the time that Python can perform a single FLOP, an A100 could have chewed through 9.75 million FLOPS"
Tiim Williams retweeted
Former US Treasury Secretary Larry Summers tells Bloomberg: “It makes me very sorry to say, but I think the UK is behaving a bit like an emerging market turning itself into a submerging market.”
Tiim Williams retweeted
What do Financial Times readers think of the mini-budget? This is the most-recommended comment on our news story:
Every time I grab GHC via Nix, I'm reminded that GHC now depends on the Python ecosystem and Sphinx. Such a shame this was chosen when Haskell already had the excellent Pandoc library.
Generating castles in Minecraft using Haskell: bit.ly/2SFjATa
Tiim Williams retweeted
The #haskellx 2019 CFP closes in just over two weeks! Get your submissions in NOW, and have a chance of speaking alongside our stellar keynotes @simonpj0 @gckeller Philip Wadler & @elise_huard !!! Submit your talks HERE: tiny.cc/54d66y
#BandQ Assembling a flat pack does not constitute acceptance under the consumer rights act. If I discover a fault during my rejection period, I am entitled to a replacement or refund by law! @K4ren_Celia
Tiim Williams retweeted
Looks like @nixos_org 18.03 release is on the website! nixos.org/nixos/manual/r…
The new Firefox Quantum Beta is awesome. I've switched already. I'm especially enjoying the dark theme :)
Tiim Williams retweeted
ICFP 2017 22nd ACM SIGPLAN Int. Conference on Functional Programming September 3-9, 2017 Oxford, UK icfp17.sigplan.org
Today it's been a year since I left Barclays for Standard Chartered. I'm now even more convinced that Haskell is a competitive advantage.
I just installed Privacy Badger, a new tool from EFF to stop companies from spying on your browsing habits - eff.org/privacybadger
Tiim Williams retweeted
Why #Golang was designed to suck.
Some thoughts on grouping and aggregation using Haskell: bit.ly/2pw7R9E
Verifying myself: I am willtim on Keybase.io. yt6BQ-3bU5a7rzNxfVPvnWmzWwYELYyW51JA / keybase.io/willtim/sigs/y…
Just received my Yubikey 4, thanks @malcolmsparks for your excellent blog posts.
My new ergonomic setup to combat Emacs-induced RSI: bit.ly/2hlbs6l
Tiim Williams retweeted
We are hiring again! All Haskell, all the time @donsbot donsbot.wordpress.com/2016/09/29/has… #strats #haskell #jobs
Click here to support Lambdaman, supporting Bootstrap organized by Philip Wadler booster.com/lambdaman via @Boosterllc
Nielal @Nielal242992
62 Followers 2K Following
Pete Stokes @PeteStokes78171
30 Followers 3K Following
Charlotte Rose @CharlotteR68855
0 Followers 5 Following
Erik Yan @__syan__
117 Followers 3K Following “若逢新雪初霁，满月当空，下面平铺着皓影，上面流转着亮银，而你带笑地向我走来，月色与雪色之间，你是第三种绝色。” ——节选自余光中; 若批评不自由,则赞美无意义。 Scala rocks! , ex @RedHat/@GoIvanti
joomy @joomy
2K Followers 955 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Seatases @seatases87441
5 Followers 506 Following The factory specializes in international luxury goods high imitation business https://t.co/Q290v2GKTA
Theaut @Theaut225998
36 Followers 1K Following
Angela @coleenangela97
4 Followers 93 Following
🦋 Jared Forsyth @jaredforsyth
6K Followers 2K Following follower of Christ. feminist. mormon. type theory, building kipos https://t.co/8skbe4jcU2 dev @KhanAcademy he/him @jaredforsyth.com on 🦋
Georgina Gomez @GeorginaGo62127
12 Followers 259 Following
Mary Jane @janebest8622
5 Followers 243 Following
au_haus @au_haus
193 Followers 1K Following Philosopher Artist focusing on Phenomenology, Existentialism, Anti/Post Modernism in Illustration and Photography through Art Brut, Pop-Art, and Surrealism.
herman permafrost @thistlesticks66
50 Followers 3K Following rates vol quant @ split-ticketing dot com
Ross Freeman @rossfreeman
283 Followers 804 Following Helping build great software companies one byte at a time
@[email protected] @brokenbijection
483 Followers 297 Following Avoids the limit by wandering in \inf dimensions
ScalaWilliam! @ScalaWilliam
940 Followers 3K Following Follow me to maximize your Scala. Creator @ScalaAlgorithms (https://t.co/dMDhDZ9trl)
blender James @blenderJames2
5 Followers 100 Following
Griff @coffeecyclecode
410 Followers 692 Following Software Engineer, Cyclist, & Musician. CTO & Co-Founder @mayday_get.
Ben Clifford @benc@ma... @benclifford
499 Followers 2K Following LEDs. Supercomputers. Functional programming. Languages.
🐘@[email protected]... @cxandru
39 Followers 118 Following Haskell Nix Emacs Rec… Schemes Generic Prog… Cat… Th… Lang… Acquis… Unlearn Patr…chy Vegan Sustainable Skeptic Friend Family Patron Maker 🇪🇺an they/them
Ireneosei @Ireneos86246160
28 Followers 1K Following My account just got hacked and this is my new account
Gianluca Brigandi @gbrigandi
60 Followers 94 Following Smart contract static analysis (Traverse). Prompt-defined AI agents (Gola). Conversational AI for SecOps. Open source addict. Co-founder @Atricore
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Luca Zulian @luca_julian
619 Followers 1K Following software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time
leticia @leticia23932864
4 Followers 87 Following
Саша Богиће... @v0d1ch
281 Followers 599 Following 𝜆𝑥.𝑥 Dad~Haskeller~Snow/Skateboarder PGP 9F24F037728301FA #Haskell #Nix #Hydra #Cardano
Clara Johnson @ClaraJo97233544
0 Followers 110 Following I'm Clara Johnson from USA, I'm a kind and nice person simple and jovial I really like to playing with people around me
Ganesh Sittampalam @g... @eleganesh
646 Followers 773 Following I'm interested in politics, #FOI and lots of other random things. I work on #GitHubCopilot
@carlagg.bsky.social�... @CarlaAtGG
3K Followers 5K Following @carlagg.bsky.social🇯🇵🐝 Mostly She/Her
Jhonattan 🇨🇴 @jhondev10
310 Followers 5K Following Dev 💻 | DistSys, Esports, DeFi, Ecommerce | Go, Rust, SvelteKit 🎹
pepe Iborra @IborraPepe
595 Followers 436 Following Haskell enabler @Facebook, all views expressed are my own
publicfarley @publicfarley
1K Followers 3K Following iOS Developer who loves talkin' FP, Swift, Clojure, Rust, Mac, iPhone, and iPad. Oh yeah baby! λ
Clara Nordin @claraulrika
137 Followers 1K Following
Arthur @arthurvard
7 Followers 205 Following
Jeremy Gibbons @jer_gib
2K Followers 259 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
𝘛𝘪𝘮 𝘛𝘦... @timtro
465 Followers 1K Following Engineering PhD: Applied Category Theorist, Control systems software engineer, Computational physicist. C++, Python, Haskell. Family man by night.
Georgina badu @GeorginaBadu
73 Followers 1K Following Am georgina badu single with no kids, 33 years old, looking for a serious man who i will stay with him in the rest of my life ❤️❤️❤️
David Gregory (@dgreg... @DavidGregory084
121 Followers 736 Following Software janitor. If found please return to @SallyBoden1. (he/him)
Karthik Ravikanti @plumenator
399 Followers 5K Following Rust at $job, Rust and Haskell at home. Opinions my own. Also at @[email protected] @[email protected] @[email protected]
The Rest Is Politics @RestIsPolitics
222K Followers 205 Following A view on politics at home & abroad, while bringing back the lost art of disagreeing agreeably with @RoryStewartUK & @CampbellClaret. Powered by @FuseEnergy ⚡
Ed Miliband @Ed_Miliband
755K Followers 2K Following Secretary of State for Energy Security and Net Zero, and MP for Doncaster North. Husband to Justine, Dad to Daniel and Sam.
Andy Burnham @AndyBurnhamGM
583K Followers 3K Following Mayor of Greater Manchester (Labour & Co-operative)
ALASTAIR CAMPBELL @campbellclaret
1.1M Followers 9K Following Writer, communicator, consultant, strategist, mental health campaigner. Does podcast The Rest is Politics with ex Tory minister Rory Stewart.
Keir Starmer @Keir_Starmer
2.0M Followers 396 Following Prime Minister of the United Kingdom. Labour MP for Holborn and St Pancras and Leader of the Labour Party. Former Director of Public Prosecutions.
Sinfonia of London @SinfoniaOfLondn
1K Followers 329 Following Symphony orchestra launched by conductor John Wilson in 2018. Winner x3 BBC Music Awards & Gramophone’s Classical Music Award—“Unforgettable excellence” (Times)
Dr James O'Donoghue @physicsJ
188K Followers 1K Following Only at https://t.co/pjGi9R4wdu | Planetary scientist & award-winning science communicator. Fellow @uniofreading, formerly @NASA
Impossible Gentlemen @ImpossibleGents
832 Followers 607 Following Gwilym Simcock/Mike Walker/Steve Rodby/Adam Nussbaum International Supergroup
Christine Allen @bashomusic
2K Followers 803 Following Contemporary Jazz. Artist Management and Record label
Emre Sevinç @EmreSevinc
6K Followers 3K Following Data | Business | AI | Python | Science | Math | Linux | Music | Philosophy | Books 📚 https://t.co/sDhjGt1zOB
. @annanannanse
39 Followers 470 Following
Diana Fulger @phoulgerycka
41 Followers 719 Following
pepe Iborra @IborraPepe
595 Followers 436 Following Haskell enabler @Facebook, all views expressed are my own
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Gavin Manning @LordBaldrick
69 Followers 169 Following Hi-fi nerd, photography fan, petrolhead. Computer scientist. Builder of fault tolerant systems. he/him
@[email protected] @mietek
1K Followers 419 Following
Ld. Vincent Hanquez �... @vincenthz
870 Followers 1K Following The Computer Whisperer ™, Code influencer, 牛角包
Honest Update @honest_update
20K Followers 1 Following These are the things we probably ought to say when updating incident status. Snark and compassion. Now, about your data… by @gphat and friends.
Anil Madhavapeddy @avsm
6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected] and https://t.co/0P3DSgR0Dv
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Brian McKenna @puffnfresh
8K Followers 2K Following Computational trinitarianist. Talk to me about programming languages. The parrot is real. λΠ
gabby @GabriellaG439
15K Followers 77 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Lambda Jobs @LambdaJobs
2K Followers 683 Following Jobs for functional programmers! λ Haskell | Lisp | Clojure | Elm | OCaml | F# | Scala | Erlang | Elixir etc.
Josh Suereth @jsuereth
8K Followers 385 Following Author: Scala In Depth Developer: Geeky Scala Stuff All Around: Big Nerd
@pchiusano@universeod... @pchiusano
6K Followers 125 Following working on @unisonweb Mastodon: @[email protected]
Steven Shaw @steshaw
1K Followers 624 Following Loves programming, programming languages, and type/build/dist/db systems! 🇬🇧🇦🇺👨💻 https://t.co/u1UnqzeigK https://t.co/KkRIYds9TA
LambdaConf 2025 @lambda_conf
8K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Functional Works @Functionalworks
7K Followers 1K Following A hub for everything Functional Programming. News, tips and open source projects to help you get your next functional job. | Part of the @Workshub family
James Abbott @csharpshark
34 Followers 113 Following
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Nick Wilton @NDWilton
2 Followers 16 Following
dalet @dalet
55 Followers 11 Following
Ivan Veselov @dying_sphynx
295 Followers 219 Following Rust/Haskell programmer, chess player, geek and traveler.
Philae Lander @Philae2014
298K Followers 81 Following On 12 November 2014 I landed on comet #67P as part of @ESA_Rosetta. I am operated by @DLR_en's Lander Control Center LCC in Cologne.
Jeremy Gibbons @jer_gib
2K Followers 259 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
cyrille martraire @cyriux
6K Followers 705 Following Socio-technical Architect, DDD enthusiast. Cofounder @Arollafr & @SwCraftParis. Author of https://t.co/CvAK9eQVR5 - main account: @cyriux.bsky.social
Type Theory Podcast @typetheorypcast
1K Followers 1 Following A podcast about type theory from the viewpoints of programming, mathematics, and philosophy. Hosted by @darinmorrison, @jonsterling, and @d_christiansen.
John Wiegley @jwiegley
5K Followers 2K Following CTO at https://t.co/iEB5xkH0PC. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.
Dominic Steinitz @idontgetoutmuch
375 Followers 337 Following @[email protected] Functional programming, Haskell, stochastic differential equations, MCMC, Sequential MC, dynamical systems
Johan Tibell @johtib
2K Followers 69 Following Benetics co-founder, Haskell hacker, astrophotagrafer, and rocketer
CUFP @cufpconference
943 Followers 178 Following CUFP is an annual workshop serving the community of programmers employing functional programming languages and techniques in their practice.
Ben Ford @boothead
1K Followers 1K Following The Royal Marines say that elite performance is a state of mind. I can show you what that looks like when building cross functional tech teams. @commandodev
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Trends for United States
95,3 B posts
10,3 B posts
36,5 B posts
6.069 posts
34,2 B posts
21,8 B posts
1.884 posts
12,5 B posts
21,3 B posts
12 B posts
2.067 posts
7.701 posts
9.208 posts
1.969 posts
3.245 posts
5.878 posts
6.296 posts
210 B posts
You might like
Nikita Volkov
@NikitaYVolkov
1K Followers
Yaron (Ron) Minsky
@yminsky
16K Followers
MuniHac
@MuniHac
378 Followers
Lennart Augustsson
@Augustsson
2K Followers
Dominic Orchard
@dorchard
2K Followers
Tony Kovanen
@TonyKovanen
2K Followers
Johan Tibell
@johtib
2K Followers
Alberto G. Corona
@AGoCorona
313 Followers
David Schütz
@xdavidhu
9K Followers
Steve Krouse
@stevekrouse
9K Followers
Ian Jeffries
@seagreen__
594 Followers