Daniel Firth (Inspector GADT) @locallycompact
Haskell Programmer @ IOG Horizon Haskell https://t.co/1586xMNhf7 #haskell #nix #cardano #plutus #developer horizon-haskell.net Northumberland, England Joined August 2012-
Tweets4K
-
Followers1K
-
Following629
-
Likes6K
I still think about this. 🤣
Learned very much at @buidler_fest mostly how to eat cake.
It's not bad logically but pattern matching and exhaustiveness would help here.
It's not bad logically but pattern matching and exhaustiveness would help here.
Something is conscious if there is something that it is like to be that thing.
Something is conscious if there is something that it is like to be that thing.
@vvrrva IMO that’s also because the good thing about Flash wasn’t the runtime but the editor, simplicity of realizing ideas and the huge community that spawned across sectors. Without the editor the tech stack existing doesn’t really matter.
Honestly, getting rid of adobe flash on most Internet browsers is what killed the Internet there was so much more to do when flash was around
The first big PR for running Nix on Windows is now merged github.com/NixOS/nix/pull… (Screenshot credit @puffnfresh)
The AI is intelligent because it can obtain a score from an IQ test. This has nothing to do with the state of having a private first-person experience. The AI does not have a private first-person experience because it isn't metabolic life.
Monopoly is a great way to filter out people who can't play board games. If you can't understand that Monopoly is not a game without the auction rule there is no hope for you.
Monopoly is a great way to filter out people who can't play board games. If you can't understand that Monopoly is not a game without the auction rule there is no hope for you.
Had a lot of fun with this bridge at bar 65 @Bitwig
Anyone use Linux on an x86 based tablet?
Let's just all migrate our #haskell libraries to GHC 9.8.2. Like, today
Trying to build the GHC javascript backend with nix. It gets really far and fails at this step. Anyone? gitlab.horizon-haskell.net/ghc/horizon-gh…
The sooner we can kill git the better.
Just wasted time messing with 'git' and 'sourcetree' and whatever they call perfroce now and... i give up. I am not managing 100 developers over 7 sites in 4 time zones. I just wanted simple version control for a solo dev you can install in 5 minutes but apparently this is not a…
nix's UI is just getting worse and worse. "cached failure of attribute 'packages.x86_64-linux'" OK great. Thanks.
Trying to build the GHC javascript backend. What am I doing wrong? gitlab.horizon-haskell.net/ghc/horizon-gh…
Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageEdward 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/oP135HK8LMDomen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVhCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Tweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Graham Christensen @grhmc
5K Followers 1K Following Realizing Nix's future with flakes with https://t.co/KZdugzj72q, at @DeterminateSys. he/him. 📻 NO5IGZanzi Tangle, now at .. @tangled_zans
3K Followers 319 Following Turning Category Theory into code https://t.co/B0egvR0lmbundecidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight Principal at @PlatonicSystemsPaweł Szulc @EncodePanda
3K Followers 644 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsSusan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersArian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercurygelisam @haskell_cat
1K Followers 316 Following Professional Haskell developer at https://t.co/qG4jsBEIIO . Opinions are my own and do not necessarily represent those of my employer.Rick @rickasaurus
9K Followers 3K Following 10x Eng back in the day, Machine Learning Old-Timer, AI Healthcare VP of Eng (https://t.co/NVsJ1ibOVa 🚀) Frmr AI RegTech CTO (Safe Banking Systems, successful exit).vaibhav 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 blueskyJosé 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.$matiwinnetou | C₳r.. @matiwinnetou
12K Followers 2K Following Cardano Pool Ticker: CRFA Medium: https://t.co/ZGqbpTdEXz Github: https://t.co/040WiHwMIw https://t.co/zU0sUIIraNBluejack Yvonne @bluee_yv
9 Followers 31 FollowingMarek Mahut @stakenuts
3K Followers 1K Following First {ITN pool, block on a plane, Shelley tx, smart contract, NFT,...}. Enabling thousands to build on Cardano at @blockfrost_io. Views are my own.Delta Mirzadeh @DeltaMirza2738
86 Followers 5K FollowingMelodie Hirte @MelodHir
60 Followers 5K FollowingDinah Abrams @din_abram
89 Followers 5K FollowingLauna Commer @CommerLaun63208
91 Followers 5K FollowingHayleigh Lammers @HayleiLammer
90 Followers 5K FollowingRenda Batman @batma_ren
33 Followers 5K FollowingPizzabyte Separator @ivavleg
21 Followers 141 Following The laziest carbon lifeform infused with military grade degen token potential estimator AI 🍺 🤝 🎯 📊. 𝕿𝖆𝖝𝖆𝖙𝖎𝖔𝖓 𝖎𝖘 𝖙𝖍𝖊𝖋𝖙.Ilia Prokhorov (Demen.. @demensdeum
1K Followers 5K Following Шитпостер. Палеонтолог (C/C++, ObjC, PHP) Специалист по динозаврам. Профессиональный осуждатор. Слушаю ЕБМ (Electronic Body Music)Dale Appleby @OmPi_YT
10 Followers 34 FollowingCryptic @unknown10500
0 Followers 170 Followingjennifer thomas @jenniferth12110
192 Followers 2K FollowingLuc Perkins @lucperkins
3K Followers 4K Following @nixos_org advocate @DeterminateSys. Nomad. Co-author of Seven DBs in Seven Weeks (https://t.co/7K3vCAoWU0). Gen X by choice. PhD @DukePoliSci. #RipCityJohn Lago @jetpack_john
169 Followers 382 Following Product @jetpack_io. Formerly Product @airbnb @microsoft. Wrangling #nix + #go for developer productivity.Moritz 💫 @4ngerman
2K Followers 735 Following 💆 Head of Developer Experience. 💰No financial advice! 🤝 Views are my own!The ComplianceAide @BlasikRandy
288 Followers 2K Following Founder of the ComplianceAide. We imitate all of the actions of a Cybersecurity compliance professional using a team of AI agents.Luna @Muse71672319967
4 Followers 790 FollowingGergo Talas @gergo512
42 Followers 348 FollowingQuant Hustle @QuantHustle
0 Followers 3K Followingメタリックはん.. @metalichanpen
1K Followers 515 FollowingLarry Diehl @larrytheliquid
784 Followers 527 Following Founder @Colimit_io. Former Director of Programming Languages @SymbiontIO, postdoc @uiowa and PhD @Portland_State.riya @hindexisover100
35 Followers 78 Following ruminating, modeling, specifying, simulating, reasoning & interpreting the future of the current thing @avronna_inc ; maths+computing @imperialcollege 🏳️⚧️spocino @sampocino
110 Followers 147 Following Weird math/CS person seeking employment, entirely unqualified. many such cases. "Can't talk right now, I'm doing HoTT girl shit"Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageEdward 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/oP135HK8LMMatt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVhCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Tweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Rúnar @runarorama
11K Followers 83 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.Graham Christensen @grhmc
5K Followers 1K Following Realizing Nix's future with flakes with https://t.co/KZdugzj72q, at @DeterminateSys. he/him. 📻 NO5IGZanzi Tangle, now at .. @tangled_zans
3K Followers 319 Following Turning Category Theory into code https://t.co/B0egvR0lmbGabriella 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) 🏳️⚧️undecidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight Principal at @PlatonicSystemsPaweł Szulc @EncodePanda
3K Followers 644 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsSusan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersJohn A De Goes @jdegoes
16K Followers 976 Following CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion.Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryjulesh @_julesh_
10K Followers 145 Following Applied category theorist. Also at @CyberCatInst and @[email protected]Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Luc Tielen @luctielen
1K Followers 117 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.Carlos Souza @caike
4K Followers 2K Following Partner @IdopterLabs | Author @Pluralsight formerly at Code School | Building @WorkWithCardano | Operator of @junglestakepoolStanislav Marycev @Stasmarr
144 Followers 63 Following Co-Founder of @zkFold. Startup Business DevelopmentAdam Dean @adamKDean
17K Followers 3K Following Just a guy experimenting with blockchain technology and how it can be used. Co-Founder: Buffy Bot, NFTxLV, DripDropz, and others. #BuildingOnCardano $ADALuc Perkins @lucperkins
3K Followers 4K Following @nixos_org advocate @DeterminateSys. Nomad. Co-author of Seven DBs in Seven Weeks (https://t.co/7K3vCAoWU0). Gen X by choice. PhD @DukePoliSci. #RipCityThu @noteed
360 Followers 150 Following Tweets about my project https://t.co/mWsZ3rSYQS, the Nix ecosystem, and other programming white rabbits I follow in too many holes. I will try @[email protected].Christine Rizkallah @c_rizkallah
350 Followers 356 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).メタリックはん.. @metalichanpen
1K Followers 515 FollowingTom Schrijvers @schrijvers_tom
463 Followers 127 Following Prof. in Programming Languages at KU Leuven, author of "Soar with Haskell"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 ownRick McCracken DIGI @RichardMcCrackn
69K Followers 7K Following SPO @DIGI_StakePool | Cardano Community | USN Senior Chief(ret) | Former Ocean Systems Engineer at Progeny | taco chef d/acc #Cardano #Ergo 🇺🇸John Ericson @ericson2314_
505 Followers 672 Following Programmer dipping toes in economics. @[email protected], @ericson2314:https://t.co/W7M481HPNw, [email protected], https://t.co/CcN2aJ0oRf, @johnericson.meGlitchbyte @0xglitchbyte
3K Followers 282 Following I help self-taught developers solve problems with code and overcome doubt. 10+ years designing, building, and securing software and infrastructure.FuriousSheep @FuriousSheep
60 Followers 191 Following A lamb in the FP flock. Elm/Haskell. Being nice is not optional. He/theyWizbit @CannibalCake
258 Followers 2K Following from the planet of WOW!!!!! she/ee/they, massive dork priv: @stupid_dumbnutSimon Michael @simonkwmichael
270 Followers 116 Following Independent software developer & consultant, plain text accounting expert, creator of #hledger, haskeller, technoyogi. Mastodon: @[email protected]Theodorus The Atheist @TheodorusAtheos
441 Followers 216 Following No gods. $PLTR $TSLA $ASTS | $SLYGJonas Chevalier 🦙 @zimbatm
1K Followers 421 Following I like to build things. Helping companies adopt Nix at @Numtide Author of direnv. Mastodon: @[email protected] DMs are open!KlarkC @klarkc
290 Followers 311 Following Haskell and PureScript, not necessarily in this order, at @Fourier_labsSerhii Kalinets 🇺�.. @skalinets
2K Followers 2K Following ☁️ Cloud architect, 💻 python, flutter, serverless, dynamo, kafka 🕸️ blog (en): https://t.co/vFY5UCsjI8 🚀 telegram (🇺🇦): https://t.co/ZyletgPhSNAron Adler א/ע @Aron_Adler
981 Followers 2K Following 👨💻 love FP & type systems λ. Jewish ✡ mystic at heart/reluctant rationalist. always yearning, sometimes earningCybertriker (cybertri.. @LeeHughes154085
12 Followers 3 Following https://t.co/TUF7an7Vyd https://t.co/i6rWmmIfxnGanesh Sittampalam @g.. @eleganesh
655 Followers 757 Following I'm interested in politics, #FOI and lots of other random things. I work on #GitHubCopilotDerek Verbrugge @derekverbrugge
254 Followers 602 Following Drawing • Firearm Enthusiast • Trains • Google Streetview Driver • Master of Gimp • Startup Consultant • Former Orbis (Cardano) EngineerVladimir Sinyakov @vlas1n
997 Followers 199 Following Founder of @zkFold and @ENCOINS1 / Building on @Cardano / Ex-researcher in Applied Mathematics and Control TheoryOleg Alexander 🇺�.. @TheOlegarchy
397 Followers 546 Following Originally from Ukraine, I moved to the US when I was 12. I’m a polyglot programmer, husband, father, and Oxford comma guru.NeoHaskell @NeoHaskell
179 Followers 0 Following NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivityAlncom @Alncom_co_uk
550 Followers 2K Following NE Rural Broadband Experts who really who care about the communities they work in 📌 Register for your FREE Government Broadband Vouchers. #altnet #localMoritz 💫 @4ngerman
2K Followers 735 Following 💆 Head of Developer Experience. 💰No financial advice! 🤝 Views are my own!Arnaud @dr_c0d3
1K Followers 27 Following Building Cardano Scaling stuff: https://t.co/jGkuzj0QyL https://t.co/KIA5DcmpqG @InputOutputHK Tweets are my ownSebastian Nagel @ch1bo_
3K Followers 172 Following Standing on the shoulders of giants | Freelance Software Engineer | Working on @Cardano #Hydra | Sport-, Alpine-, Ice-climber | PGP 0x59FAA903C906659AAlex with Imagination @alex_with_ease
317 Followers 352 Following 🎵 Soul Singer 🌌 following the inscrutable exhortations of my soul 🕊️ peaceful crusader ❤️🔥devotion & integration ⚡dissociation & aliveness 📬 DMs openCCTV IDIOTS @cctvidiots
3.2M Followers 26 Following Exposing idiots behavior from all over the world caught on camera.TidalCycles @tidalcycles
4K Followers 0 Following Free/open source live coding language for (musical) patterns fediverse: https://t.co/ONW3y2Xt1s forum: https://t.co/JVwAGZWV9Q chat: https://t.co/NnsUA7mD4pJanus Troelsen @ysangkok
250 Followers 2K Following I do Haskell/PureScript at https://t.co/v0NoMti5Hl. #Mastodon @[email protected]Sam Derbyshire @samderbyshire
307 Followers 313 Following Cohomology enthusiast. I've seen rings you people wouldn't believe.Naresh Jain @nashjain
4K Followers 144 Following Developer | Consultant | Conference Producer | Startup Founder | Day Dreamer… struggling to stay up-to-date with technology innovation. Null Process Evangelist.Saurabh Nanda @saurabhnanda
1K Followers 452 Following Excited about FP and Haskell, but not a fan-boy.Csaba Hruska @csaba_hruska
1K Followers 732 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧Quantumplation | Pi L.. @Quantumplation
7K Followers 216 Following CTO Sundae Labs | https://t.co/9PNVVdu00U @adamKDean certified "shitty dev"₳ggelos @0xAggelos
951 Followers 803 Following Software Engineer | MSc on Computer Science | $INDY @indigo_protocol Dev I Genius Yield ₳mbassador | DYOR - Opinions are my owngelisam @haskell_cat
1K Followers 316 Following Professional Haskell developer at https://t.co/qG4jsBEIIO . Opinions are my own and do not necessarily represent those of my employer.Ruth Hook @ruth_hook_
12K Followers 1K Following immunology & stem cell biology- tissue culture in startups and basic research 🇺🇸🇮🇪🇫🇮 citizen- reading, running, climbing, paleontology, folk harp etcAnduril is hiring Nix engineers if anyone is interested in getting paid to fill any gaps left by departures like this.
Today, a contributor walked away from @nixos_org because they failed to condemn @anduriltech. The main lesson here is don't play these games. Kindly but firmly, and early, make it clear you don't allow politics into your OSS. "We don't do that here" github.com/NixOS/nixpkgs/…
Thank you @dr_c0d3 and @_KtorZ_ for such a nice conferrence @buidler_fest Hope this event becomes a yearly thing from now on 🤝
@ProgrammerDude Oh no. I'll have to compile software again, after 15+ years of that being done for free. Whatever will my ryzens do..? Maybe it would create more roots of trust, and more hydras, which could be healthy.
dating a normie with no insight into anything isn’t some blissful peace. it’s like being trapped in a prison where every thought lives and dies in your own mind
you do not want a "based" gf, you want a gf who is radically indifferent to politics, and has never heard of any of the things we talk about online, and who has no social media accounts whatsoever
Scientific publications taught me to not use qualifiers such as "improves", "interesting", "better", when presenting a work. The reviewer will judge if that's better. Instead gives absolute metrics and relative metrics (e.g. comparison) with previous work. 1/3
Every OSS project needs a BDFL who answers to no one. Not only is a dictatorship more effective, but it drastically reduces high school drama, because no amount of whining can override BDFL. Hopefully the BDFL is a Good King or Queen. If not, fork with a better BDFL!
New @nixos_org drama just dropped (it never ends, does it?) Infiltrated wokies are now attempting to dethrone the leader of the project, Eelco Dolstra (@n1ksnut). save-nix-together.org Seeing this, a community member joined the Governance channel under an alias (for fear of…
@locallycompact @ProgrammerDude It’s quite badly written. To boil it down - NixOS foundation board is white men - Eelco bad - Graham bad - DetSys bad - Kick Eelco out I read it all unfortunately.
@shenetworks @xdNiBoR @elonmusk That's what happens when you put laws in place that benefit a specific class with special privileges and access. It puts an asterisk next to your name regardless of how you got to where you are.
@shenetworks @xdNiBoR @elonmusk Attempting to belittle people who disagree with you doesn't make your arguments compelling, and DEI has done little to address gender disparities in tech, which have persisted despite the policies that put an asterisk next to your name.
@vvrrva IMO that’s also because the good thing about Flash wasn’t the runtime but the editor, simplicity of realizing ideas and the huge community that spawned across sectors. Without the editor the tech stack existing doesn’t really matter.
Honestly, getting rid of adobe flash on most Internet browsers is what killed the Internet there was so much more to do when flash was around
A b s o l u t e m a d l a d s
The first big PR for running Nix on Windows is now merged github.com/NixOS/nix/pull… (Screenshot credit @puffnfresh)
The first big PR for running Nix on Windows is now merged github.com/NixOS/nix/pull… (Screenshot credit @puffnfresh)
It is so perplexing to me that proponents of functional programming willing use Dockerfiles for their infrastructure with untracked (e.g. apt-get install, curling mutable unversioned URLs, etc) defects that changes result depending on time image is built alone.
Uncomfortable truth: The customer doesn’t care about your “product”. They don’t care about your “solution”. The only thing they care about is whether it is written in Haskell or not
@danpdc Given enough time, everything will reach the singularity that is functional programming.
It was just like you'd imagine.
Imagine being ripped out of your comfortable life by a higher being and getting exposed to the glory of the cosmos and then immediately getting put back
panpsychism is like trying to fix a mistake by piling an even bigger mistake on top of it AMA
I love Idris because even though it allows you to write proofs, it's first and foremost thought as a practical programming language with a goal to allow to write (somewhat) maintainable code.