David Fox @SeeReason
Haskell, automated reasoning, computational semantics, meta programming, fan of ImplicitParams. also @ddssff. United States Joined August 2016-
Tweets4K
-
Followers217
-
Following644
-
Likes1K
Human-machine collaboration in the teaching of proof. ~ Gila Hanna, Brendan Larvor, Xiaoheng Kitty Yan. researchgate.net/publication/36… #ITP #Lean4 #Math
Sauron had a lot of problems, but he knew how to manage a wetland. The Dead Marshes were one of the environmental gems of Mordor, and an impressive nature-based solution to help remediate the environmental damage caused by the corpse issue after the Battle of Dagorlad
Hey! I finally wrote my parser combinators post for @elmlang developers that want to learn #Haskell! Hope you enjoy it and please be nice! 🙈 flaviocorpa.com/haskell-for-el…
The Theorem Prover Museum theoremprover-museum.github.io
I get that it’s great to blame women for all your problems, but I was at bell labs when this happened and it definitely did not come from HR.
I get that it’s great to blame women for all your problems, but I was at bell labs when this happened and it definitely did not come from HR.
Me when my OCaml program runs perfectly after a long compiler-guided refactor:
Me when my OCaml program runs perfectly after a long compiler-guided refactor:
Hello #ocaml and #haskell - today I was reminded that 9 yrs ago I translated the Ocaml code in John Harrison's book on automated theorem proving (cl.cam.ac.uk/~jrh13/atp/) into Haskell. Find it at hackage.haskell.org/package/atp-ha… if you're interested in comparing the two languages.
this is such an interesting time to be alive. we concreted the internet as our second equal and primary reality but it's full of ghosts now we try to talk to them and they pass right through it's a haunted world of dead things who look real but don't really see us
I was walking through a park lost in thought and my airpod pros died and suddenly I heard birds singing and children playing and some gals walked by giggling about something. Anyway it was awful @Apple please prioritize battery life in the next models
OMG I just realized that X uses @stripe to make payments — and that puts STRIPE on the hook for violating U.S. sanctions. This means X's Stripe partnership is about to go bust. bbc.com/news/business-…
Thats what they said about Picasso.
Why do you want this?
"There is no clinical evidence for cognitive decline in President Biden — despite armchair gerontologists declaring otherwise." thehill.com/opinion/white-…
The vitamin D paradox. High levels are correlated with better health outcomes, but supplementation of vitamin D doesn’t lead to better outcomes. What gives? More than likely, vitamin d is a proxy for a high quality diet, which can’t be replicate via the supplement.
To all the journalists calling me tonight asking for off the record comments: I was with him for six hours yesterday. Hundreds of people. Dozens of questions across the political spectrum. There is no one I’d rather have in the Oval Office. Yes I’m fired up. 🇺🇸 @JoeBiden ❤️
3 million smart toothbrushes were just used in a DDoS attack. “These innocuous bathroom gadgets transformed into soldiers in a botnet army knocked out a Swiss company for several hours, costing millions of euros in damages.” zdnet.com/home-and-offic…
Thinks CGI is easier than space flight.
Linguist here! We have so many. pied piping sausage machine vocal fry bleeding counterbleeding colorless green ideas Nim Chimpsky copula sloppy identity wug
Linguist here! We have so many. pied piping sausage machine vocal fry bleeding counterbleeding colorless green ideas Nim Chimpsky copula sloppy identity wug
How is it that four years later, thousands of you are celebrating the anniversary of our "large boulder" Tweet?
How is it that four years later, thousands of you are celebrating the anniversary of our "large boulder" Tweet?
Look. Look into these tiny faces. Would you let them drown?
Gwyn @gwyn_leeder
175 Followers 3K FollowingDorothyIsabel @gj28GI63z2w98
1 Followers 159 FollowingSpenawsl @spenawsl82687
0 Followers 180 FollowingLaura Wolfert @WolfertLau54816
86 Followers 5K FollowingLacey Guitar @LaceyGui
75 Followers 5K FollowingLatanya Northrop @latan_north
40 Followers 5K FollowingMaybelle Dukhovny @DukhovnMaybel
47 Followers 5K FollowingIrene 🍓 @Irene7554
36 Followers 234 Following Dеsirоus еnсhаntrеss сaрtivаtеd by a nevеr-еnding lustZnthRys_21 @znthrys13327
8 Followers 623 FollowingKathie Favuzzi @FavuzziKat18147
66 Followers 5K Followingmarcel - so back / ng.. @mrclbschff
821 Followers 1K Following Staff Data Scientist, Mathematician, Father of two. Deep Learning / NLP / Computer Vision / MLOps OCaml Curious Not sponsored by SpindriftKurt Seebauer @KurtSeebauer
120 Followers 953 FollowingChris Henson @_chenson__
635 Followers 3K Following CS PhD student @DrexelCCI. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.sk @he_is_you
64 Followers 1K Followingneuroevolutus @neuroevolutus
4 Followers 994 FollowingGuillermo @memoselyk
189 Followers 2K FollowingARTHUR @ARTHUR88766848
65 Followers 2K Followingroadside_picnic @poadside_ricnic
13 Followers 2K FollowingTREE🌳 @Tree_of__Alpha_
52 Followers 837 Following Building News Of Alpha @TreeTokenEth Binance: https://t.co/SJ3dIxjUhe…. Bybit: https://t.co/pxx9cWXNOU b/Tree_Of AlphaAmanda Nicole @ANicole73175
0 Followers 80 FollowingAileen Glascock @ail_glasco
27 Followers 5K Followingruth @Terry1671867
214 Followers 2K Following I’m available for FaceTime fun with best sexting and masturbate video also down for hook up both incall and outcall telegram ( @meddy_dion)Vanessa Follick @VanessFolli
60 Followers 5K FollowingIvory Romos @romo_ivo
40 Followers 5K FollowingRosario Vorachek @RosariVorache
39 Followers 5K FollowingRivka Tomasulo @RivTomasul
50 Followers 5K FollowingLilly Toyn @LToyn59863
44 Followers 5K FollowingLiza Westmoreland @LizaWestmo84597
37 Followers 5K FollowingGeorgine Binnicker @GBinnicker4073
17 Followers 5K FollowingSummer-rose Carmickel @carmick_ro
50 Followers 5K FollowingAsuncion Topacio @asunci_topa
27 Followers 5K Following Free onlyfans BELOW · Asuncion🧡 · TOP5.08% ofLivi Pennachio @liv_pennach
59 Followers 5K FollowingEloise Baria @BariaElois73684
40 Followers 5K FollowingEnola Mario @EnolaMario83214
35 Followers 5K FollowingElinore Tansil @ElinoreTan54021
33 Followers 5K FollowingMichael Mroz @mjvmroz
221 Followers 542 Following Logical systems, abstraction and type theory enthusiast | engineering @mercuryMikolaj Konarski @MikolajKonarski
592 Followers 2K Following #Haskell programmer, creator of @AllureRoguelikeAndor Pénzes @sverien
481 Followers 1K Following Functional programming,software development,compiler construction.Alex Vzorov @0rca
84 Followers 225 Following Common sense and rational thinking; functional programming; Haskell; Elixir; Rust; Dutch; 日本語; getting things done & having fun doing them.harry 🏳️🌈 @hdgarrood
1K Followers 2K FollowingDependent Types @dependent_types
1K Followers 3 Following Mostly an automated feed from the Dependent Types redditJosé Manuel Calderó.. @josecalderon
2K Followers 839 Following Director @HaskellFound , lecturer @umdcs. Jazz, music theory, compilers + privacy, sometimes I combine them. I can also be found @[email protected] I miss YorkshireLogic & Applications @LogicPractice
25K Followers 8 Following Logic and applications of logic from @JohnDCookmarcel - so back / ng.. @mrclbschff
821 Followers 1K Following Staff Data Scientist, Mathematician, Father of two. Deep Learning / NLP / Computer Vision / MLOps OCaml Curious Not sponsored by SpindriftChris Henson @_chenson__
635 Followers 3K Following CS PhD student @DrexelCCI. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.Justin Baragona @justinbaragona
76K Followers 4K Following Senior media reporter @thedailybeast Founder @thecontemptor Formerly @mediaite @TheIJR @politicususa @411mania Send tips/hate mail to [email protected]Lucas @rvcas
3K Followers 833 Following λ : Open Source Team @Cardano_CF . Rust @txpipe_tools . Building @aiken_engJordan Miller @lambduhh
2K Followers 395 Following 🕸️:engineer ✨:creative-content 💜:community. a she/her out growing out my neck beardShopify Engineering @ShopifyEng
47K Followers 644 Following Making commerce better for everyone. Follow us for technical discussions and updates on how engineers build @ Shopify. Need help? @ShopifySupportMichael Mroz @mjvmroz
221 Followers 542 Following Logical systems, abstraction and type theory enthusiast | engineering @mercury@chris__martin@functi.. @chris__martin
5K Followers 547 Following Married @argumatronic; Work Freckle by @RenLearnUS (not a representative); Writing @typeclasses; Private @toxicblockchain; Masto @[email protected]There is no Magic @ThereIsNoMagic
412 Followers 1K Following FP developer (Haskell), usually UK, often London. @[email protected] (as @[email protected] is shutting down)Matt Russell @mrussell247
238 Followers 302 Following Director of Engineering for @Lumi with a passion for Haskell, rock climbing, and sailingEvan Rutledge Borden @evanborden
363 Followers 338 Following Bassist, Haskeller, Fermentation Enthusiast, Cyclist, Muay Thai. Engineering Director @nearpod, he/himAndor Pénzes @sverien
481 Followers 1K Following Functional programming,software development,compiler construction.Michael Sloan @treetopian
312 Followers 305 FollowingSean @mankykitty
275 Followers 1K Following Random 80s child with random ideas. Opinions are my own, obvs.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.Peter Murphy @pfmrph
171 Followers 796 FollowingMikolaj Konarski @MikolajKonarski
592 Followers 2K Following #Haskell programmer, creator of @AllureRoguelikemitchellsalad @mitchellsalad
242 Followers 587 Following mitchell @unisonweb formerly @SimSpaceCorp @sentenaiArian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryDiogo (f a) Castro @dfacastro
747 Followers 1K Following Software engineer at Serokell. Typed FP, Haskell, Scala, worshipper at the church of Church λ. He/him.Reuters Science News @ReutersScience
1.1M Followers 18 Following From newly charted astronomical anomalies at the far reaches of the universe to the rise of nanotechnology, nobody covers science like http://t.co/RtkLii8CUo.Paweł Szulc @EncodePanda
3K Followers 643 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsAlex Vzorov @0rca
84 Followers 225 Following Common sense and rational thinking; functional programming; Haskell; Elixir; Rust; Dutch; 日本語; getting things done & having fun doing them.pepe Iborra @IborraPepe
636 Followers 459 Following Haskell enabler @Facebook, all views expressed are my ownSebastian Graf @sgraf1337
293 Followers 272 Following Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]Haskell Weekly @HaskellDiscu
207 Followers 41 Following Articles, projects and tutorials about #Haskell. Weekly newsletter: https://t.co/wHDxdrfj8sDebasish (দেব�.. @debasishg
10K Followers 555 Following Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.David Fox @ddssff
203 Followers 667 Following Unintended consequence theorist. Also @seereason. BTW, believing a conspiracy theory doesn't make you a theorist, it just makes you a conspiracy believer.Andreas Klebinger @AndreasK_Tweets
396 Followers 52 Following Working on the Glasgow Haskell Compiler.{...} Phil de Joux @philderbeast
291 Followers 1K Following Linking moves, deferring to the compilersProphet @welltypedwitch
2K Followers 628 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/6DWstdv5ZfMae Milano @mbpmilano
2K Followers 603 Following @PrincetonCS Assistant Professor. I build Programming Languages for Distributed Systems! @mpmilano.bsky.socialEthan ap Paul @sixfourtwelve
351 Followers 341 Following ⊹ React Native Developer, static types enjoyer ⊹ lover of Coffee & Hockey. ⊹ Contact → [email protected]Sabine 🐫🦀 / 'us.. @sabine_s_
4K Followers 384 Following show me OCaml | an https://t.co/8e1icJBB76 maintainer | RFC 3339 dating coach | maybe not a Sith Lord | former overqualified señor meme developer | 5€ VPS kidJanus Troelsen @ysangkok
250 Followers 2K Following I do Haskell/PureScript at https://t.co/v0NoMti5Hl. #Mastodon @[email protected]Hannah Ritchie @_HannahRitchie
85K Followers 1K Following Deputy Editor @OurWorldinData / Researcher at @UniofOxford / Honorary Fellow at @EdinburghUni @EdCentreCC / Not the End of the World: https://t.co/FoINhggvoRI think about things like this when people want to apply AI to critical tasks without testing or human intervention. And you should, too.
I feel like the cybertruck should come up with extra safety features because the people that buy it are the most likely to need them.
The "Hymn to Nikkal", represent the oldest known substantially complete notated music It is 3,400 years old, dating back to approximately 1400 BCE. This is how it sounds
@EthanBearman @gregolear “The law, in its majestic equality, forbids rich and poor alike to sleep under bridges, to beg in the streets, and to steal their bread.” Anatole France (~quoted by Greg)
ChatGPT can now create graphs in seconds. Stop wasting hours on Excel and watching tutorials. Here's how to create any charts or graphs with ChatGPT:
@SeeReason That’s absolutely fine, I’m not trying to convince everyone to use OCaml 😌
@kmett @tritlo x.com/augustsson/sta…
@Iceland_jack This is the most hateful use of 'do'.
@datepsych Comedy. It’s impossible to fake. You can only be funny if you are both smart and honest, there’s no other way to do it.
I don't think there's ever been a society in the history of humanity where a majority of both sexes were single and childless. Who knew we could break something so fundamental.
@kakabuttdoodoo @Ericwang1101 You are worthy to have that clown as your profile picture.
Some people think that A.I.s can't become more "intelligent" than humans because they are trained on human input and so are fundamentally limited to having a human level of understanding. This is wrong for a lot of reasons: 1) Self-play Right now, A.I. is not just…
@uno_conejo Like I said, he had problems. But I feel there's another side to this, as all we have to work with is Gondorian propaganda
man, i love Haskell
crazy how every mainstream programming language lacks a reasonable notion of structural equality of nested terms
“How rightwing groups used junk science to get an abortion case before the US supreme court.” Including now-retracted papers. theguardian.com/world/2024/mar…
A multi-item clipboard feels like something that should have been standard in software from the start. The clipboard is invisible and you get no feedback when you've overwritten something that was there before. That feels risky, but somehow we've kept it that way for decades?
it took building a whole internet full of answer-machines for folks to understand the importance of asking interesting and well-specified questions