Fraser Tweedale (@[email protected]) @hackuador
cogito ergo coproduct github.com/frasertweedale Joined November 2009-
Tweets17K
-
Followers731
-
Following262
-
Likes87
Gliding silently beneath the waves Art Nouveau Horseshoe Crab vase by Stephanie Young tumblr.com/quinnception/7…
A semigroup is a set with an associative binary operation. A monoid is a semigroup with identity. A group is a monoid with inverses.
Was an absolute pleasure to welcome Dan and Paul from @HeadlinerHub into the studios for a chat about all things The War of The Worlds. Read the full story here: headlinermagazine.net/jeff-wayne-war…
This month we have OCaml at FP-SYD. I’ll be talking about the implementation of effects in OCaml. Lots of assembly on the menu. RSVP at meetup.com/fp-syd/events/…
@albfresco When pulling a crystal like that using the Czochralski process you have 3 variables: pull rate, temperature, and rotation rate, and a goal to minimize impurities. You want the chamber you're pulling the crystal from to have a _very_ uniform temperature. That is a lot easier to…
Slides for my #EverythingOpen talk "Passwordless #Linux - Passkey and External IdP login with #FreeIPA": speakerdeck.com/frasertweedale…
HSEC-2024-0003: process: command injection via argument list on Windows osv.dev/vulnerability/…
I've just published a new review of global air-rail market share, with over 200 datapoints for 133 unique city-pairs across 5 continents, demonstrating that rail begins to capture significant market share at travel times below 5-6 hours (not 3 hours as often claimed). Short 🧵
Haskell Security Response Team 2024 Q1 report: discourse.haskell.org/t/haskell-secu…
Brisbane Functional Programming Group #BFPG TOMORROW Tue Apr 9! Evaluating the Meta-circular Interpreter (Andrew Whatson) + Lightning talks / Show and tell / Mob programming. Come with something #FP-related to share or a problem to ask about! meetup.com/brisbane-funct…
You can always try out #haskell snippets on play.haskell.org! Many libraries, like aeson, containers, vector, effectful, text and text-builder-linear, are readily available!
If you want to help secure the #Haskell ecosystem, attend this workshop! I will be there to present the work and the wants of the SRT. Let's collaborate to increase the value and impact of our work - especially the advisory database.
If you want to help secure the #Haskell ecosystem, attend this workshop! I will be there to present the work and the wants of the SRT. Let's collaborate to increase the value and impact of our work - especially the advisory database.
In response to worsening road traffic congestion, the Qld State government says “but we’ve spent billions building new roads”, and criticises their opponents plans to build a new railway as “creating a budget black hole”. The plot is profoundly lost. couriermail.com.au/news/queenslan…
Continuing our #EverythingOpen Schedule Highlights, we present Principal Portfolio Architect at @RedHat, @StevensHat. In his talk, he invites us to view our #technology #infrastructure through the analogy of a "Dwarf Axe". 1/2
A reintroduction to Harts 🤍 A new chapter begins! Excited to return to this amazing and wild journey in 2024. Full video: youtu.be/CshB8kDt1ME
We added a list of projects that our participants are planning to work on!💪💻 Many of them are looking for contributors, and of course you can still add your own projects: zfoh.ch/zurihac2024/pr…
We are live! m.youtube.com/live/fg9d8vSbz…
@caseyjohnellis @dooktwit @goggan @caseyjohnellis We've always been a con based on having a great physical presence, but this year thanks to our amazing AV crew we have a stream! youtube.com/live/fg9d8vSbz… live from 8:45 am - Saturday 23 March (Brisbane time)
Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMdeech @deech
5K Followers 1K FollowingChris Penner @chrislpenner
23K Followers 19K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonwebCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).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.Daniel Firth (Inspect.. @locallycompact
1K Followers 630 Following Haskell Programmer @ IOG Horizon Haskell https://t.co/1586xMNhf7 #haskell #nix #cardano #plutus #developervaibhav sagar @vbhvsgr
3K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on blueskyHyonGranado @GranadoHyo25631
36 Followers 2K FollowingJoe @joseph_hh
18 Followers 128 FollowingNeil Pitkeathly @NeilPitkeathly
3K Followers 5K Following #NAFO #NafoFella #fellas 🇦🇺🇦🇺🇺🇦🇺🇦 Pictish Linesman just about clapped out, ready for a rest. Political realist,economic rational.Alistair @a_w_ol
35 Followers 26 FollowingJames Boulie @JamesBoulie
5 Followers 173 FollowingJames Brock @jamesdbrock
581 Followers 796 Following Twitter activity: Pure functional programming. Yokohama residence, Vermont provenance. https://t.co/zOCQmXS9HGSecret @divanorama
63 Followers 351 Followinghamza @hmzashezad3
27 Followers 823 Following swipe left for hot singles in your area ➡️https://t.co/bF6oeWnAqh ⬅️Paul Gear @paulgear1
718 Followers 994 Following I sometimes think I am a competent IT professional, but then I try to create a Debian package.Gabi @arrnaux
120 Followers 2K FollowingAlberto Fanton @alberto_fanton
94 Followers 800 Following Blockchain engineer | Haskell, Nix | CardanoMihai 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 ownKrishna Padmasola @placidex
85 Followers 2K FollowingSam Mortenson @mortensonsam
2K Followers 2K Following Security engineer working on AwaySync, the asynchronous communication platform that lets you reclaim your attentionDaniel Harvey @yevrahjleinad
357 Followers 1K Following Computer user in London. All opinions sadly my own. He/him.Ahmed Zaky @a_mzaky
178 Followers 1K 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
42 Followers 46 FollowingEverything Open @ever.. @_everythingopen
347 Followers 344 Following Australasia's grassroots open technologies conference. Gladstone, Aus April 16-18 2024. (Photo Joe Perchard) 🐘: [email protected] #EverythingOpenDan @Clotted
173 Followers 646 Followingjtorrex (@jtorrex@fos.. @xjtorrex
59 Followers 273 Following LEARN | OPS | FOSS | *NIX | HPC | SEC | CHESS | RUN https://t.co/h2pVtAxhCB@virer_dot_net@fossto.. @virer_dot_net
116 Followers 931 Following ./redhat/openshift/tam -lang=fr,en,python -loc=EU/BE -o yamlMichael Auß @sevyls
659 Followers 4K FollowingXz3r0 @3mr_7mza_
109 Followers 2K FollowingAchim D. Brucker @adbrucker
474 Followers 2K Following Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. https://t.co/UOyCdkcxVK / @[email protected]Zeshan Ahmed Nobin @zeshan_nobin
301 Followers 5K Following eBPF Engineer Ambiouvert. Love to work on challenging problems. Low level security i.g. micro architectural security enthusiast. Pwning for fun.nameless @JazonTWong
67 Followers 1K Following I identify as a a plant, please be respect and use the appropriate pronouns (plant/planted)Andrey Stepanov @andreystepanov
630 Followers 553 FollowingF^F @flymetofuture
196 Followers 4K Following #British City of #Victoria in South #China. She is no longer great again. My hobby is reading #history. Fun play with pussy is my leisure.notquiteamonad @notquiteamonad
29 Followers 192 Following Software engineer currently enjoying Haskell. he/him. https://t.co/Egy5JReAsVo1lo01ol1o @o1lo01ol1o
274 Followers 524 Following Haskell, Agda, Idris and Nix. h8ro-cis-wyt: pronouns are ho / humDmitrii Kovanikov @ChShersh
8K Followers 111 Following 🧑💻 Senior SE at Bloomberg using OCaml 🐫 Ꚙ Autistic 📽 Content: https://t.co/6laFNyCooC Opinions are my ownTweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMTom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign Languagedeech @deech
5K Followers 1K FollowingGabriella Gonzalez @GabriellaG439
14K Followers 144 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. I'm a midwife to the hidden beauty in everything (she/her) 🏳️⚧️Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Taylor Fausak @taylorfausak
2K Followers 103 FollowingHaskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of HaskellJoachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dLDaniel Firth (Inspect.. @locallycompact
1K Followers 630 Following Haskell Programmer @ IOG Horizon Haskell https://t.co/1586xMNhf7 #haskell #nix #cardano #plutus #developerEFF @EFF
492K Followers 1K Following We're the Electronic Frontier Foundation. We defend your civil liberties in a digital world.Alistair @a_w_ol
35 Followers 26 FollowingGrant Sanderson @3blue1brown
365K Followers 362 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdifJosé Manuel Calderó.. @josecalderon
2K Followers 838 Following Director @HaskellFound , lecturer @umdcs. Jazz, music theory, compilers + privacy, sometimes I combine them. I can also be found @[email protected] I miss YorkshireTim McGilchrist @lambda_foo
706 Followers 599 Following Providing thought leadership since 1801. Haskell and OCaml programmer. Co-Organiser of FP-SYD. https://t.co/CvgHnwKodTMihai 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 ownTheWarofTheWorlds @twotwofficial
8K Followers 1K Following Official page for the musical work Jeff Wayne's The War of The Worlds.Steven Ellis @StevensHat
511 Followers 415 Following APAC technology evangelist at Red Hat. These views are my own. For all official communications please follow @RedHat@goggan | @infosec.ex.. @goggan
589 Followers 452 Following Breaker of things, co-founder of things. (He/Him) 💉💉💉💉💉PROMOBRICKS @promobricks
4K Followers 299 Following PROMOBRICKS - One of the biggest and best German LEGO® News Blogs https://t.co/2hh5pxlYMODavid Airlie @DaveAirlie
1K Followers 110 Following Linux Graphics maintainer, GPU compute, Distinguished Engineer @ Red Hat Linux GPU team @[email protected]TheMelodaze @TheMelodaze
17 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
347 Followers 344 Following Australasia's grassroots open technologies conference. Gladstone, Aus April 16-18 2024. (Photo Joe Perchard) 🐘: [email protected] #EverythingOpendook @dooktwit
1K Followers 241 FollowingMuniHac @MuniHac
362 Followers 149 Following MuniHac is an annual three-day hackathon and conference in Munich that brings together Haskell developers and enthusiasts from across the globeICFP Conference @icfp_conference
4K Followers 17 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @ilyasergey.BSides Melbourne @BSidesMelbourne
2K Followers 90 Following #BsidesMelb2023 Training 8th Sept Conference 9-10th Sept Tickets on sale 25/7 for Conference, 28/7 for Training..The Haskell Interlude @HaskelInterlude
457 Followers 6 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, and @nikivazou.ZuriHac @ZuriHac
2K Followers 50 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 8-10 June 2024.Glashütte Original @G_O_Manufactory
13K Followers 88 Following Welcome to the Official Twitter Page of Glashütte Original - Proud to be the Original https://t.co/0qOB3CQef1Open Gov Partnership @opengovpart
76K Followers 3K Following 75 national & 104 local governments, plus thousands of civil society groups, working to deliver the promise of democracy beyond the ballot box through #OpenGov.Brad Parker (@brad@bn.. @parkerbrads
150 Followers 69 Following Loves software, wishes it were more lovable. ASCII gardener at https://t.co/wTp2Jph4Cc. Can now be found at https://t.co/VtZj3MBdxtGrata Fund @GrataFund
2K Followers 917 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
37K 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
5K Followers 1K Following Cryptographer with a focus on privacy and election security CEO, Thinking Cybersecurity Associate Prof (Adj.) @anucecs Supporter of #MilkTeaAlliance She/herJustin Warren @jpwarren
8K 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.jaspervdj (@functiona.. @jaspervdj
3K Followers 403 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.BrickLink @BrickLink
29K Followers 307 Following The largest online marketplace for buying and selling new, used, and vintage LEGO® products.The Brickman @_TheBrickman
4K Followers 208 Following Judge on LEGO Masters Australia and creator of the southern hemisphere's largest touring exhibitions of #LEGO works!Martin Kosek @martinkosek
43 Followers 107 Following Engineering Manager. Building Identity Management at @RedHat!Ryan Hurst @rmhrisk
6K Followers 2K Following Dropout. Father. I build things. Security, Cryptography, Engineering, Entrepreneurship. @peculiarventure + xMSFT + xGOOG ++. also on https://t.co/FaDXJfnZBm & BlueskySoftware Freedom Cons.. @conservancy
10K Followers 339 Following @[email protected] 501(c)(3) charity ensuring rights to repair, improve&reinstall software. FOSS projects,host @Outreachy & defend FOSS w/#copyleftEmily Stark @estark37
11K Followers 931 Following Trustworthy 🔑 transport 🚆 for Chrome. HTTPS, certs, encryption, security UX, software eng & mgmt. https://t.co/AOHB0dadI9. Opinions are my own. she/hertimk @__timk
710 Followers 544 Following Keen on open source, Linux, Python, Rust and anything to do with offensive security. Hacks with @thegooniesctf 🚲🏃🏻♂️👨🏻💻🌏 @[email protected]shubs @infosec_au
50K Followers 2K Following Co-founder, security researcher. Building an attack surface management platform, @assetnoteEdward Kmett @edwardkmett
469 Followers 244 Following This account was created due to an incident on Feb 13th, 2021. I'm mothballing it for now. Follow @kmett.@story645 @minfrin @dopplershift This exists, you can just send in an application to Google or the OSSF for anything vaguely related to improving security of OSS at any scale and people will review it. They give out millions of dollars every year. They never run out of budget but have pretty reasonable standards…
A reintroduction to Harts 🤍 A new chapter begins! Excited to return to this amazing and wild journey in 2024. Full video: youtu.be/CshB8kDt1ME
#Linux users with their fancy hardware 😅👇
The functional essence of imperative binary search trees. ~ Anton Lorenzen, Daan Leijen, Wouter Swierstra & Sam Lindley. microsoft.com/en-us/research… #ITP #Coq
Code Written with AI Assistants Is Less Secure dlvr.it/T1VhmC
Haskell folks: if you want to see Haskell have more industry adoption, or wondering why it doesn’t already, our experience at Scarf might be interesting. A recent talk I gave is now on YT: youtube.com/watch?v=qw4S_6…
My talk at @packagingcon 2023 (Berlin) got published to YouTube: youtube.com/watch?v=oIAJLV… I recommend watching the entire playlist. If interested into the ML supply chain,lmk. Looking forward to seeing you at the AI/ML working group under OpenSSF and/or on the repository itself
@hackuador At least one hasn't been, I'm not sure about the other one. But I also have similar contents for packingcon, the video from there will be published soon iirc
omg, big super nerdy TIL. So, in ANSI color codes, the named colors are: 0 black 1 red 2 green 3 yellow 4 blue 5 magenta 6 cyan 7 white It always annoyed me that they're not in spectral order. But: 000 black 001 red 010 green 100 blue 101 magenta 110 cyan 111 white
@AdrianSieber 🦒 look at the silhouette. For a similar reason, I also like Lamb
What a wonderful articulation - "Parametricity can be thought of as the dual to abstraction. Where abstraction hides details about an implementation from the outside world, parametric- ity hides details about the outside world from an implementation." - Link…
See how Verse - a language designed at @EpicGames - goes well beyond #Haskell with existential variables, unification, expressions that yield multiple values, and much more. The keynote talk by @TimSweeneyEpic and @simonpj0 just dropped: youtu.be/OJv8rFap0Nw #LambdaDays
@hackuador 1 sounds like a fun talk, im pretty out of date with fp-ts. will it be on youtube?
#EverythingOpen @piacandrews Creating open source legislation as code youtu.be/U7clqwot7Dk
I absolutely love that @TimSweeneyEpic was asked about programs as proofs at GDC: youtube.com/live/teTroOAGZ…
#EverythingOpen @owenlansbury Why a culture of open source contribution is good for your business youtu.be/RwLb_NbMfvo
#EverythingOpen seL4 Core Platform: security and performance without the complexity - Ivan Velickovic, Lucy Parker youtu.be/LhUwwsVq5E4
#EverythingOpen Is Free and Open Cybersecurity Essential, Desirable - Or Not? - Paul Watters youtu.be/Jl9bbxtmOx8
#everythingopen @hughhalf Keynote: Hugh Blemings youtu.be/4GPQ0kaRpTI
#EverythingOpen @GeoffreyHuntley COVIDSafe: Australia’s digital contact tracing failure youtu.be/VR73bJxX7jM