Fraser Tweedale (@[email protected]) @hackuador
cogito ergo coproduct github.com/frasertweedale Joined November 2009-
Tweets16K
-
Followers694
-
Following262
-
Likes101
Fraser Tweedale (@[email protected]) retweeted
I have landed my dream job. I’ve just accepted a position at Harmonic, a Palo Alto startup applying AI to formal mathematical reasoning. Harmonic’s Aristotle formal reasoning model achieved Gold Medal level performance at this year’s International Mathematical Olympiad (IMO). I…
165
92
3K
218K
680
Fraser Tweedale (@[email protected]) retweeted
In this episode, we sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more! Link below:
Thrilled to announce the Brisbane Functional Programming Group #BFPG Hack Day on Saturday 2025-11-01, at UQ. Come experiment with #FP, hack on a project, work through a tutorial or shave a yak in a collaborative and friendly environment. luma.com/os8sbd8l
Fraser Tweedale (@[email protected]) retweeted
Newly obsessed with the oddly foreboding AI Romanian watermelon village. I will be tuning in to the ongoing series (from thegrecu on IG).
Brisbane Functional Programming Group #BFPG tomorrow: Hole-driven development + #Gleam type safety. See yas soon, curious minds. #Haskell #FP luma.com/kukbikp7
Fraser Tweedale (@[email protected]) retweeted
🚨 Call for sessions extended! You now have until 21 September to get your session proposal in. ✍️ Also, if you need a little help, there will be a writing workshop on 17 September! More information at: 2026.everythingopen.au/news/submissio… #EO2026 #EverythingOpen #conference #openSource
Fraser Tweedale (@[email protected]) retweeted
A popular NPM package got compromised, attackers updated it to run a post-install script that steals secrets But the script is a *prompt* run by the user's installation of Claude Code. This avoids it being detected by tools that analyze code for malware You just got vibepwned
#Haskell #jose v0.12 release: hackage.haskell.org/package/jose-0…
Super interesting talks at #BFPG tonight - STLC with explicit substitutions + #Nix flakes and #haskell-flake. Thanks to our speakers Donovan and Jack. Our next session is Tue Sep 9th, with talks on hole-driven development, and #Gleam: lu.ma/kukbikp7
Brisbane Functional Programming Group #BFPG tomorrow (Tue 12th)! Explicit Substitutions pt2 (Donovan Crichton) + Overview of #Nix flake-parts and #haskell-flake (Jack Kelly). Be there or be a lambda cube! lu.ma/r002tby5
Fraser Tweedale (@[email protected]) retweeted
OpenSSF turns 5 today! It's one of the most welcoming and friendly communities I've been in, with tons of technical expertise and solving real problems of today.
OpenSSF turns 5 today! It's one of the most welcoming and friendly communities I've been in, with tons of technical expertise and solving real problems of today.
The study loan (HECS) repayment changes are now law. Here's how to calculate your repayment using the #Haskell *tax* library: ``` help = lesserOf ((flat 0.1) (marginal [(67000, 0.15),(125000,0.02)]) due = min helpBalance (getTax help repaymentIncome) ``` hackage-content.haskell.org/package/tax
Exciting lineup for Brisbane Functional Programming Group #BFPG August 12 meetup: Explicit Substitutions pt2 (Donovan Crichton) + Overview of #Nix flake-parts and #haskell-flake (Jack Kelly). lu.ma/r002tby5
Fraser Tweedale (@[email protected]) retweeted
For $3.1m you too could own a potentially haunted 2 bedroom house on 473m2 in Brisbane......
For $3.1m you too could own a potentially haunted 2 bedroom house on 473m2 in Brisbane......
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
deech @deech
5K Followers 1K Following
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
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.
geoff @GeoffreyHuntley
56K Followers 3K Following currently looking for my next role. pitch me at [email protected]
Daniel Firth (Inspect... @locallycompact
1K Followers 783 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
MyraBarrie @3118LJ302T0WYcP
24 Followers 696 Following
FTS @fishtreesugar
15 Followers 486 Following
Elrondex @elrondex
191 Followers 5K Following Elixir library to interact with Elrond Blockchain ⚡ $EGLD, Arwen, WASM, DeFI, SC, ESDTs, NFTs, SFTs, $MEX, DEX, AMM https://t.co/yPL9XXZguT
Aram Hăvărneanu @aramh
3K Followers 1K 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.
Mitchell Riley @m__v__r
33 Followers 963 Following
Evangelos Lamprou @vagozino
51 Followers 609 Following
R @Rujo_
2K Followers 3K Following Christian • Tech • Real Madrid • Infosec Truth tellers get run out the city.
Abartan Dhakal (MAD) ... @imhaxormad
4K Followers 3K Following Infosec writer| Musician| Poet| Personal Tweets| @bugcrowd ambassador | Ran Nepsec Sydney | Ex One of the Top Mozilla Nepal Localiser | @PvJRedCell Staff!
Rob McGuire @RobQlder
300 Followers 2K Following Frequent retweeter of Basketball, Tech, Info Sec, and sometimes Crypto. Opinions expressed are my own.
James Petrini @jamespetrini
10 Followers 250 Following
Smeet @Smeet4OPRM
121 Followers 3K Following
Aaa Aaa @AaaAaa1945178
0 Followers 101 Following
Vedran Vukoje @VedranVukoje
165 Followers 2K Following
José Manuel Calderó... @josecalderon
2K Followers 855 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
HyonGranado @GranadoHyo25631
31 Followers 2K Following
Joe @joseph_hh
13 Followers 238 Following
Alistair @awol2g
6 Followers 27 Following
James Boulie @JamesBoulie
6 Followers 416 Following
Secret @divanorama
60 Followers 337 Following
hamza @hmzashezad3
34 Followers 941 Following swipe left for hot singles in your area ➡️https://t.co/bF6oeWnAqh ⬅️
Paul Gear @paulgear1
669 Followers 934 Following I won't be posting here any more; see you over at https://t.co/xQ8kBoisTi
Gabi @arrnaux
118 Followers 2K Following
Mihai Maruseac @mihaimaruseac
2K Followers 2K Following Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear. Views my own
Krishna Padmasola @placidex
90 Followers 2K Following
Sam Mortenson @mortensonsam
2K Followers 2K Following Security engineer working on AwaySync, the asynchronous communication platform that lets you reclaim your attention Follow me on bsky: https://t.co/RrMp7ikLcm
Ahmed Zaky @a_mzaky
246 Followers 2K Following Technologist, Cloud Architect, Red Hatter, in love with Linux, OpenShift & Open Source. Decided to go back to school, because it is more fun this way!
Team AFA @thetruemike
38 Followers 45 Following
Everything Open @ever... @_everythingopen
311 Followers 329 Following Australasia's grassroots open technologies conference. Kamberri/Canberra , January 21-23, 2026 🐘: [email protected] #EverythingOpen
∃ @pwmosquito
4 Followers 943 Following
Dan @Clotted
72 Followers 709 Following
@virer_dot_net@fossto... @virer_dot_net
116 Followers 980 Following ./redhat/rhca/openshift/tam -lang=fr,en,python -loc=EU/BE -o yaml
Michael @sevyls
614 Followers 4K Following
Mr_Z3r0_X @Mr_Z3r0_X
70 Followers 2K Following
Dmitrii Kovanikov @ChShersh
48K Followers 231 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
deech @deech
5K Followers 1K Following
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 🏳️⚧️
Taylor Fausak @taylorfausak
2K Followers 91 Following
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
geoff @GeoffreyHuntley
56K Followers 3K Following currently looking for my next role. pitch me at [email protected]
Daniel Firth (Inspect... @locallycompact
1K Followers 783 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
EFF @EFF
471K Followers 1K Following We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find EFF's social accounts at https://t.co/dIWsCr4uCF.
TheTimTraveller @TheTimTraveller
9K Followers 33 Following Travel videos for nerds: https://t.co/CHkh6pdLka
Nauseam @ChadNauseam
7K Followers 1K Following If I sound lazy just ignore my tone cause I’m always gonna answer when you call my phone
Senator Matt Canavan @mattjcan
75K Followers 3K Following We must fight to Save Australia. Senator for QLD. Authorised by Matt Canavan, LNP, 34 East St, Rockhampton Qld 4700
Tarric Brooker aka Av... @AvidCommentator
39K Followers 444 Following Journalist & Analyst Contributor for @newscomauHQ Help support my content by subscribing at https://t.co/oaLPzJDjsh My opinions are my own
Haskell.org Status @HaskellStatus
349 Followers 0 Following Status updates for http://t.co/NriWg8obGc
BSides Gold Coast @BSidesGC
165 Followers 2 Following
Metro Tunnel @metrotunnelvic
10K Followers 187 Following Updates about the Metro Tunnel Project. We're available to answer your questions Monday to Friday 9am - 5pm via X or call us on 1800 105 105 #metrotunnel
Harriet Lowrie @HarrietLowrie
306 Followers 1K Following Does your parking space sit empty during the day? Or maybe you need a cheap parking space? Try @KerbParking today!
Type Theory Forall @ttforall
4K Followers 283 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Alistair @awol2g
6 Followers 27 Following
Grant Sanderson @3blue1brown
414K Followers 362 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdif
José Manuel Calderó... @josecalderon
2K Followers 855 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Tim McGilchrist @lambda_foo
664 Followers 570 Following Providing thought leadership since 1801. Haskell and OCaml programmer. Co-Organiser of FP-SYD. https://t.co/CvgHnwKodT
Mihai Maruseac @mihaimaruseac
2K Followers 2K Following Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear. Views my own
TheWarofTheWorlds @twotwofficial
8K Followers 1K Following Official page for the musical work Jeff Wayne's The War of The Worlds.
Steven Ellis @StevensHat
483 Followers 384 Following APAC technology evangelist at Red Hat. These views are my own. For all official communications please follow @RedHat
@goggan | @infosec.ex... @goggan
575 Followers 432 Following Breaker of things, co-founder of things. (He/Him)
PROMOBRICKS @promobricks
4K Followers 286 Following PROMOBRICKS - One of the biggest and best German LEGO® News Blogs https://t.co/2hh5pxlYMO
David Airlie @DaveAirlie
1K Followers 114 Following Linux Graphics maintainer, GPU compute, Distinguished Engineer on Red Hat Linux GPU team
TheMelodaze @TheMelodaze
15 Followers 1 Following Harts presents The Melodaze. A new musical project in Dolby Atmos and Stereo. 🎧🎶 ‘For Talk’ stereo mix out now.
Everything Open @ever... @_everythingopen
311 Followers 329 Following Australasia's grassroots open technologies conference. Kamberri/Canberra , January 21-23, 2026 🐘: [email protected] #EverythingOpen
dook @dooktwit
1K Followers 234 Following
MuniHac @MuniHac
378 Followers 139 Following MuniHac is an annual three-day Haskell hackathon and conference in Munich that brings together Haskell developers and enthusiasts from across the globe
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
BSides Melbourne @BSidesMelbourne
2K Followers 90 Following #BSidesMelb2026 Training 15th May, 2026 Conference 16-17th May, 2026
The Haskell Interlude @HaskelInterlude
599 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
ZuriHac @ZuriHac
2K Followers 48 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Glashütte Original @G_O_Manufactory
14K Followers 84 Following Welcome to the Official Twitter Page of Glashütte Original https://t.co/0qOB3CPGpt
Open Gov Partnership @opengovpart
74K Followers 3K Following Bluesky: https://t.co/4ipwsIU3NK LinkedIn: https://t.co/YjK9C0LTzX Instagram: https://t.co/v8re7au8aD
Grata Fund @GrataFund
2K Followers 844 Following People Powered Justice - Building & funding game changing public interest litigation in Aus. Home of The Australian Climate Case. Photo Cred: @v_well.
GitHub Community @GitHubCommunity
40K Followers 1K Following We are the home for all developers. Follow us to stay connected with our global Meetup events, beta testing opportunities, and swag giveaways.
Vanessa Teague @VTeagueAus
4K Followers 1K Following Cryptographer with a focus on privacy and election security CEO, Thinking Cybersecurity Associate Prof (Adj.) @anucecs Supporter of #MilkTeaAlliance She/her
Justin Warren @jpwarren
7K Followers 1K Following Industry analyst, hexagon enthusiast, cheese noticer, tech policy weirdo. Probably not a vampire. He/him. @[email protected]
Pulp Fiction Books �... @pulpfictionbks
3K Followers 1K Following Pulp Fiction is a specialist science fiction, fantasy, crime & mystery bookstore, based in Brisbane CBD, Australia.
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
jaspervdj (@functiona... @jaspervdj
3K Followers 371 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.Trends for United States
6.501 posts
54,1 B posts
5.654 posts
48,4 B posts
53,1 B posts
50,4 B posts
33,8 B posts
323 B posts
11,2 B posts
20 B posts
2.177 posts
40,4 B posts
53,3 B posts
397 B posts
8.371 posts
1.001 posts
23,4 B posts
9.686 posts
16,2 B posts
You might like
Nikita Volkov
@NikitaYVolkov
1K Followers
João Forte Carvalho ...
@bgamari
2K Followers
gelisam
@haskell_cat
1K Followers
Tom Sydney Kerckhove
@kerckhove_ts
3K Followers
Steven Shaw
@steshaw
1K Followers
Clinton Roy
@clinton_roy
908 Followers
Jens Petersen 🇵�...
@juhp
627 Followers
Johan Tibell
@johtib
2K Followers