Craig Ferguson @_craigfe
software engineer @monzo. ex-@tarides_ ⛵️ https://t.co/hv7GHZBvAf 🏴🇬🇧🇪🇺 he/him Cambridge, UK Joined December 2018-
Tweets445
-
Followers385
-
Following207
-
Likes1K
Craig Ferguson retweeted
[private message on work slack] friend: hey buddy how do i <do thing>, i can't find it in your team's docs and i feel super dumb me: hey buddy! it doesn't exist. please re-ask this question in our public help channel so whoever is on-call can answer you. [public help channel]…
93
216
7K
1.3M
1K
I wrote about using confidential computing and reproducible builds to broker access to admin permissions at @monzo 🔒🏦 monzo.com/blog/2023/12/1…
Really lovely post by Patrick with lots of pointers to interesting open source work – he's been on quite a tour!
Craig Ferguson retweeted
ah yes, increasing the speed of an OCaml program by up to 50% by predicting memory allocation patterns. The correctness is straightforward, but why is it faster ? When unrolled i get a 2x improvement over the naive loop.
Craig Ferguson retweeted
I wrote a book about the Janet programming language: janet.guide
Craig Ferguson retweeted
Watch a billion dollar news company use my footage without licensing it
Watch a billion dollar news company use my footage without licensing it
Craig Ferguson retweeted
A sweet example of #offlinefirst application built using #Irmin and #OCaml. Backup your browser application data in Git on the server-side and use a 3-way merge strategy to reconcile any conflicts. Great work @dinakajoy !
A sweet example of #offlinefirst application built using #Irmin and #OCaml. Backup your browser application data in Git on the server-side and use a 3-way merge strategy to reconcile any conflicts. Great work @dinakajoy !
Finally got around to fixing the initial dark mode flicker on my site 🎉 Only took me several years to get around to it... Dark mode + SSR always feels more complicated than it really should – props to @JoshWComeau for his excellent post on the subject. joshwcomeau.com/react/dark-mod…
Craig Ferguson retweeted
I'm getting ready to go back to the West Highlands next week so I thought I'd make a 'will it be raining when I'm in the West Highlands, and will I be able to see Ben Nevis this time, and also do I need my waterproofs?' map
Craig Ferguson retweeted
Congratulations to @ztfasr for passing her PhD viva on “Secure Programming with Dispersed Compartments” today!!! Most exciting systems work on a full stack approach to using modern TEE hardware across the kernel/userspace/app layers. Keep an eye out for the final version…
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Antonio Monteiro @_anmonteiro
3K Followers 243 Following Eng @recallai, building the universal API for meeting recording. Making @melange_re
EduardoRFS.tei @TheEduardoRFS
9K Followers 2K Following 26yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Ty Overby @tyroverby
1K Followers 817 Following There is a three car pile-up at the intersection of Art and Technology
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Yawar Amin.ocallm @yawaramin
2K Followers 1K Following Glug-brained developer, serial coflounder, 10➗engineer
Emilio J. Gallego Ari... @ejgallego
480 Followers 724 Following Researcher. ejgallego @ https://t.co/omifD2hrhR and https://t.co/ZmOOsqM0fP ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.
Vladimir Keleshev @keleshev
2K Followers 932 Following Programmer, author of Compiling to Assembly from Scratch: https://t.co/7YcZc355RD
Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogramming
Florian @fham_r
480 Followers 745 Following Writing ReScript and React (Native) for a living @cca_io
catchingbugs @AMatAntithesis
28 Followers 148 Following
E li ii ii @Eliiiii780972
4 Followers 27 Following
Bob Peterson @rwpeterson
301 Followers 1K Following
Zaky Bilfagih @zakybilfagih
174 Followers 686 Following
𝚝𝚑𝚎 𝙰𝙳... @defaultRuntime
321 Followers 2K Following Founder @ringbook_io A portal between accountant and everyone. #Startup
Crunk @crunk304
837 Followers 7K Following seeker. 🐇 🍩sci-fi (transhumanism, psychonautics, biomimetics,👽, ASI, BCI, energy, intuition, nonduality), comedy, dance, industrial design, 🧬🎲☢️🦾🎶 💗🤘🏾
Shakthi Kannan @shakthimaan
1K Followers 399 Following Free/Libre Open Source Software | Econometrics | Consultancy | Strategy | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan)
Punch @punchagan
496 Followers 1K Following
Koonwen @koonwen
47 Followers 74 Following
Bill The Radio Guy @BillTheRadioGuy
187 Followers 919 Following Retired US Navy Senior Chief, Comm guy, DS, Afghanistan Veteran. Embedded C/C++ SWE. Reverse Engineer. Radio software engineer. #Tezos ICO holder. #ADA
Maxim Grankin @VeriuMaxon
100 Followers 171 Following SWE at Bloomberg London, professional email writer, doing OCaml in my spare time at work | opinions are my own
Szabolcs @sikoszabolcs
52 Followers 991 Following
bsingharora @bsingharora
144 Followers 2K Following creator of memcg, contributor to cgroup v1, HMM. memory mgmt and security interests. Opinions are my own and have nothing to do with my employer.
Franz Maikaefer @franz_maikaefer
86 Followers 3K Following
Leonardo @_leotsgo
12 Followers 696 Following
Yannick Caillé @ycaille_
422 Followers 6K Following
jit🌱 @liijit
71 Followers 2K Following
nicolas_ @nicolas07966202
25 Followers 166 Following
schrepfler @schrepfler
998 Followers 5K Following VP of Engineering at Huddle Tech. Opinions are my own. ULC minister. He/Him
Matt - Cardano Univer... @cardano_matt
138 Followers 2K Following
Ayo @interesting_op
36 Followers 4K Following
Daniel De La Zerda @ddelazerda
37 Followers 2K Following
Karbon @KarbonChain
35 Followers 522 Following Sharing views and debunking mainstream media from a cafe ...
Tianyi-天轶 @tian_yi_wang
438 Followers 593 Following Keyboards and Emacs Building next gen AI automation for DTC e-commerce.
David Sinclair @dsincl12
212 Followers 1K Following CTO @ Midian Technology. Master of Digital Wizardry 🧙🏻♂️
Andrey Krisanov @_akrisanov
41 Followers 1K Following CTO @ https://t.co/SEB5Qicd1C • Future Inference Engineering / AI Infa / MLOps
John Wu (吴翰) @wu_s_john
444 Followers 2K Following Biracial. Born and raised in the projects of East LA. Making allegories to life. Math Enthusiast. Living life on a finite field!
David Flanagan @rawkode
13K Followers 1K Following On a mission to help developers & operators be successful with Kubernetes, Cloud Native, Nix, Rust, and Server-Side WebAssembly. He / Him / Husband / Father
Vijay kumar @vijay1614sk01
41 Followers 2K Following
MJ @mikejeuga
135 Followers 733 Following 📍 LDN 🇬🇧 | Up for a debate. @SorbonneParis1 Alumn | coach + organiser @codebarLDN | he/him. I speak for myself. 👨🏾💻 SWE
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Sumit Padhiyar @ThePadhiyar
21 Followers 192 Following CSE Research scholar at #IITMadras. Interested in concurrent, parallel & distributed systems.
whoever in Japan @shaneoaddo
877 Followers 2K Following Founder of some shit somewhere. You should probably buy call options on my career. Impossible is toli.
@anentropic@fosstodon... @anentropic
91 Followers 155 Following Habitual Pythonist. Experienced Yak shaver. Mastodon: @[email protected] Bluesky: @anentropic.bsky.social
Pedro Castro @aspeddro
46 Followers 808 Following
TG × ⊙ @tgxnet
136 Followers 624 Following Protocols & tools for #LocalFirst #P2P collaboration. Distributed systems researcher. https://t.co/POzL13GI3u @p2pcollab
Alasdair Fraser @ar_fraser
524 Followers 3K Following 🇦🇬🏴dad | fintech fincrime fighter, ex Monzo, Barclays | charity trustee | @ScottishLabour | own views rt≠endorsement 🚨Beware Scams
JeevanMukthGirafee @bulkypistol
167 Followers 2K Following Disciple of Larry David. Director of Engineering at Enron. Climbing out of cultural dispossession.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Antonio Monteiro @_anmonteiro
3K Followers 243 Following Eng @recallai, building the universal API for meeting recording. Making @melange_re
Ty Overby @tyroverby
1K Followers 817 Following There is a three car pile-up at the intersection of Art and Technology
OCaml Discuss @ocamldiscuss
353 Followers 0 Following Tweets every new topics posted by the community to the OCaml Discuss page. Inspired by @elixirforum.
Emilio J. Gallego Ari... @ejgallego
480 Followers 724 Following Researcher. ejgallego @ https://t.co/omifD2hrhR and https://t.co/ZmOOsqM0fP ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.
Vladimir Keleshev @keleshev
2K Followers 932 Following Programmer, author of Compiling to Assembly from Scratch: https://t.co/7YcZc355RD
Gary Bernhardt @garybernhardt
44K Followers 114 Following Execute Program (learn programming tools quickly); Destroy All Software (dense programming screencasts); formerly Deconstruct conference.
Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogramming
Koonwen @koonwen
47 Followers 74 Following
ashley williams @ag_dubs
20K Followers 182 Following a mess like this is easily five to ten years ahead of its time. former @rustlang core team.
David Flanagan @rawkode
13K Followers 1K Following On a mission to help developers & operators be successful with Kubernetes, Cloud Native, Nix, Rust, and Server-Side WebAssembly. He / Him / Husband / Father
Paula Kennedy @PaulaLKennedy
2K Followers 935 Following Founder & COO @syntasso building @kratixio | Ex-@VMware @pivotal @cloudcredo | Co-organiser: @kcduk_io @devopsdaysldn @lopug @fastflowconf | Pronouns: She/her
Hacker Stations @hacker_stations
235 Followers 0 Following Hacker Stations is a collection of computer setups by developers, admins, data scientists, and other tech professionals. New posts for inspiration every week.
Substack @SubstackInc
135K Followers 3K Following The home for great culture. Get the app: https://t.co/acZVN0MYVm
Phish Report @phish_report
1K Followers 139 Following Takedown tools for small security teams Tweets about phishing kit analysis, takedown tips, and new tools https://t.co/44hDmZ9xnj
Cambridge Casual Ches... @cambcasualchess
37 Followers 12 Following Playing chess and making friends! Every Tuesday 7.00 - 9.30 PM @ the Grain and Hop Store CB2 1AB.
Vuokko Aro @vuokko
3K Followers 514 Following VP of Design at @monzo. Part Finnish, part American, part French, half man, half amazing, all made of star stuff.
Internal Tech Emails @TechEmails
584K Followers 886 Following Internal tech industry emails that surface in public records. 🔍
Jane O'Meara Sanders @janeosanders
116K Followers 663 Following Co-Founder of Sanders Institute. Wife, mother, grandmother, public servant. I believe in civil discourse & bold progressive ideas & block hateful posts.
Jen Lambourne @Jenny__Anne
2K Followers 2K Following A librarian for tech people | Chief of Staff @Monzo, previously @GDSteam | Co-author of Docs for Devs: https://t.co/nNNqU0w1PC | She/Her
Lucy Sweet @int_underflow
292 Followers 230 Following 🏳️⚧️ 26, occasional plane flyer, running infrastructure @uber Views my own
Bradley Kemp @bradleyjkemp
395 Followers 225 Following Experienced ignorer of Safe Browsing warnings • Building https://t.co/btTRi0g5e6
Keith Collister @hnefatl
14 Followers 12 Following
Nick Smith @nickrmc83
24 Followers 15 Following
Gemma Gordon @em3r4ld6
169 Followers 250 Following
Suhail Patel @suhailpatel
4K Followers 977 Following 🏦 Principal Engineer at @monzo 🚋 ex-@Citymapper 👩🏽🚒 He/Him 🐘 @[email protected]
NH State Representati... @thcormen
4K Followers 147 Following Emeritus Professor of Computer Science at Dartmouth College. Co-author of Introduction to Algorithms. NH State Representative for Lebanon Ward 3. Mad bricoleur.
Anita Sarkeesian ✨ ... @anitasarkeesian
46K Followers 554 Following 🇦🇲 Armenian & Iraqi 🇮🇶 • ✨ She/Her • 🔥 Feminist Media Critic • 🎥 Filmmaker • 🎮 Exec Director @femfreq & @gameshotline • 📚 Co-Wrote #HistoryvsWomen
ReductRs @reduct_rs
13K Followers 17 Following The one and only women’s, trans persons’, and nonbinary persons’ fake programming newsletter. Our book, How To Win At Typechecking, will never be released.
James Hoffmann @jimseven
129K Followers 500 Following Square Mile Coffee Roasters / Youtuber / Author / (sorry, but no recommendations via @ or DM)
Volodymyr Zelenskyy /... @ZelenskyyUa
8.2M Followers 1 Following President of Ukraine / Президент України
Dan Luu @altluu
4K Followers 1 Following Chatty alt of @danluu. Mainly on https://t.co/V3Q53o3vC3 and https://t.co/00xlxH8ipr.
David Crawshaw @davidcrawshaw
8K Followers 800 Following co-founder @Tailscale, building https://t.co/qOQNXeOtge. forever a programmer
Making Monzo @MakingMonzo
19K Followers 156 Following Behind-the-scenes of building a bank 🛠 For help and support, say hello over at @Monzo.
Richard Warburton ☕ @RichardWarburto
7K Followers 1K Following Cofounder of @OpsianApp, Maintainer of Artio (High Performance Open Source FIX engine), Software Developer, Book Author, PhD, Londoner
Robin Bate Boerop @robinbateboerop
914 Followers 2K Following Software Team Leadership Consultant. Mission: show the world a better way to make software. I make winning teams with hands-on leadership.
Mark Nottingham @mnot
9K Followers 0 Following Nope - not here. See @[email protected] or https://t.co/PjUHR0N16A on Bluesky.
Jemaine Clement @AJemaineClement
479K Followers 2K Following Creator What We Do In The Shadows FX Co-creator Wellington Paranormal and Flight of the Conchords, TIME BANDITS 🍎 https://t.co/gpx84qhdA0
Gonçalo @goncalossilva
2K Followers 155 Following CTO @doist, building @todoist @twistwork. Organizing @lisbonai_. Programmer. Portuguese. 🇵🇹
juergenthebread @juergenthebread
36K Followers 236 Following Passionate home baker Author of German Baking #GBBO Semi-Finalist Contact: @K_S_Mgt https://t.co/jLsUGCpMPI
Tom Ridge @TomRidge15
4 Followers 74 Following
Michael Snoyman @snoyberg
6K Followers 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץTrends for United States
180 B posts
10,9 B posts
1.492 posts
17,8 B posts
5.456 posts
20,8 B posts
48,9 B posts
1.373 posts
38 B posts
5.650 posts
129 B posts
18,1 B posts
1.068 posts
4.399 posts
You might like
KC Sivaramakrishnan
@kc_srk
4K Followers
Tarides
@tarides_
2K Followers
Antonio Monteiro
@_anmonteiro
3K Followers
OCamlPro
@OCamlPro
2K Followers
Thibaut Mattio
@tmattio_
530 Followers
Yann Régis-Gianas
@yurug
1K Followers
Hongbo Zhang
@bobzhang1988
6K Followers
David Sancho
@davesnx
3K Followers
Calascibetta Romain
@Dinoosaure
687 Followers
Yawar Amin.ocallm
@yawaramin
2K Followers
Ulrik Strid
@UlrikStrid
358 Followers