λ λ λ @lambdagoat
Joined December 2019-
Tweets116
-
Followers27
-
Following265
-
Likes454
I'm happy to announce a new release of Functional Programming in Lean, a free book on programming in the Lean theorem prover. A number of mistakes have been fixed and the text has been brought up to date with the changes in Lean version 4.1.0. It's here: lean-lang.org/functional_pro…
Three interesting blog posts on laziness in programming languages .. (and a reddit thread) Bob Harper argues against laziness in Haskell in his blog post The Point of Laziness (link: existentialtype.wordpress.com/2011/04/24/the…) If you feel convinced, @Augustsson has the counterpoint to the point…
Everyone is overlooking the real benefit of induction stoves which is that if they work today you can infer that they'll work tomorrow
Linear Temporal Logic (LTL) is widely used in verification/synthesis/planning… But how well do people understand it? We spent 2 years studying this 3 ways. We catalog misconceptions and provide concrete teaching instruments + logic design suggestions. See blog.brownplt.org/2022/11/05/lit…
Brazil is the land of inequality. But how much of a child’s future depends on her parents' income? A LOT In a new WP, @DiogoBrittoBr, @alex_fonseca__, @paolopinotti78, @Brenorsampaio, and I use admin and tax data to uncover social mobility in 🇧🇷 shorturl.at/bEP56 1/8
The 𝗘𝗳𝗳𝗲𝗰𝘁 community keeps growing every day! 🧑💻💯 We now have a logo, too! 🍾 → Explore 𝗘𝗳𝗳𝗲𝗰𝘁: github.com/Effect-TS → Check out the YouTube channel: youtube.com/channel/UC8wNH… → Join the #community: discord.gg/6SeZmURfTk #typescript
So let's put this out of the door, I am building a platform to serve courses on typescript and Scala from zero to hero, have a few options to show code that I am evaluating @codehike_, two slash, replit, github+Gitpod, any opinions on the absolute best? Even outside this list
It's time for a new Effect Time episode! ✨ 👇Register below and see you in 4 hours 👇 discord.gg/drVHpNgqDu?eve…
I have written a blog post to share my experience of writing a Game Boy emulator in OCaml! linoscope.github.io/writing-a-game…
In the first episode of Effect Time for 2022, @MichaelArnaldi & @schickling give us a sneak peak into potential #Effect DX improvements. 👇 Watch the episode now on YouTube! 👇 youtube.com/watch?v=rqlHUP… Retweet to spread the word! 🔃 #TypeScript #functionalProgramming
Crazy idea... a IRL #fp / #typescript conference. Who's up for it? I'll sponsor org via @matechsdigital looking for sponsors, speakers and ofc participants!
The wonderful world of early computing neatorama.com/2008/01/25/the…
Almost two years ago we started developing #Effect-TS – a set of libraries to write highly productive, purely functional #TypeScript at any scale. At the beginning of 2021, we started a community of developers who help each other learn and teach FP in the Typescript & #Scala 🧵
The painting The palette
NASA says Category Theory is the “Mathematical Basis of Systems Engineering.” nasa.gov/consortium/Cat…
The tallest tree in Wales, had been damaged by a storm and was supposed to be cut down. But chainsaw artist Simon O'Rourke found a better solution to symbolise the tree's last attempt to reach the sky. (2011) #archaeohistories
Milky way at Luxor temple located in the heart of ancient Egyptian Tebas. 🌌
FP folks - the Journal of Functional Programming has flipped to Open Access, so the great ideas from the community are now freely accessible to all, including back issues too!
FP folks - the Journal of Functional Programming has flipped to Open Access, so the great ideas from the community are now freely accessible to all, including back issues too!
SectorLISP now supports garbage collection and we reduced its size to 436 bytes. That means LISP has now outdistanced FORTH and BASIC to be the most lightweight programming language in the world. justine.lol/sectorlisp2/
Mathilde Morar @MathildeMo6348
91 Followers 4K Following
Herr DC Lange @CarlHedgren
377 Followers 949 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Eduardo Soldera @dusoldera
92 Followers 295 Following
Davide Scognamiglio @DadeSkoTV
167 Followers 629 Following PM & Editor @EffectTS_ when I'm not gaming.
stephane le dorze @stephaneledorze
696 Followers 2K Following CTO | VP of Engineering | Tech Lead Best used as an advisor or startup enabler Make teams deliver "software that works"
JCesar @JElyphas
203 Followers 2K Following
Md Likhon @MdLikho51840469
5 Followers 352 Following Empowering businesses with expert Lead Generation services 🚀 | Turning prospects into success 🌟 | Your partner in B2B growth 📈 #LeadGeneration #B2BServices
Advent of Haskell @AdventOfHaskell
533 Followers 334 Following Advent of Haskell - presented by @anteiGmbH and @KonfyCare
Math-Phys-Cat Group @math_phys_cat
1K Followers 3K Following A Brazilian research group on Mathematical-Physics and Categorification #mathphyscat #pesquisabrasileira | https://t.co/PczcQ8hkh4
Fredrik Holmqvist @FredrikHolmqvi4
14 Followers 177 Following Developer. Erlang, Clojure, Go. He/him.
Barry @chiroptical
557 Followers 276 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
Ahmed Al-Issaei @ahmedafox
248 Followers 1K Following
chinarin @0xnick1chandoke
45 Followers 793 Following
Helsonkumar @helsonkumar
66 Followers 264 Following Functional & Reactive Programming Enthusiast.....
Hannah (now elsewhere... @UncannyStatic
68 Followers 75 Following Find me on Fedi: https://t.co/hcVsJ21ZP3
Jannis Harder @jix_
511 Followers 293 Following Deprecated account. I'm posting at @[email protected] now they/them
apse @apseyyyy
420 Followers 939 Following
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.
Veronika Romashkina @vrom911
3K Followers 652 Following 💻 Software Engineer (FP) 🦄 Co-creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
David J. Pearce @whileydave
1K Followers 3K Following [email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.
sara :: panic! (the '... @typed_hole
2K Followers 401 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мову
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Monadic Party @monadic_party
309 Followers 294 Following A Haskell summer school in Poznan and a meetup from Warsaw. We love functional programming.
Puraingresia @fsmcruz
31K Followers 848 Following Pós-graduado em dança de rato, com especialização em ingresia
Informal Systems 🌱 @informalinc
49K Followers 726 Following Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
@[email protected] @lemmster
1K Followers 553 Following Principal Research Software Engineer at Microsoft Research
DHH @dhh
554K Followers 132 Following Father of three, Creator of Ruby on Rails + Omarchy, Co-owner & CTO of 37signals, Shopify director, NYT best-selling author, and Le Mans 24h class-winner.
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 473 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 kid
Nath Finanças 💰 @nathfinancas
639K Followers 6K Following CEO da @nathplayoficial | Investidora | Administradora | Palestrante | Educadora Financeira | Comunicadora |
Hakim @YaBoiHakim
100K Followers 162 Following Tired. Physician by profession. Co-host of @TheDeprogramPod and First Thought. لَا إِلٰهَ إِلَّا ٱلله
Yugopnik @yugopnik
89K Followers 468 Following Unitas Mundi. I have a Marxist political YouTube and Twitch channel + cohost of @TheDeprogrampod and First Thought.
LadyIzdihar @LadyIzdihar
66K Followers 699 Following Historian 📜 USSR 🚩 ☪️ لَا إِلٰهَ إِلَّا ٱلله Donauschwabe 🇷🇴🇷🇸 (because people always ask) https://t.co/ItAifU62Ug
📕 @SwampCommunist
38K Followers 915 Following Mao Zedong Thought is the sun that never sets. @freedomroadorg @jaxpsn @antiwaractionnetwork
🅹🅾️🅴🆈ա... @joeywreck
55K Followers 33K Following anti-imperialist • uncritical support for workers’ struggles
Bay Area People’s R... @Karl_Was_Right
82K Followers 2K Following Marxist-Leninist | Data Scientist | Currently reading: Look to Windward | https://t.co/o2OryIswWx
영노 🐍 @yeongno3
38K Followers 875 Following
JT Chapman 🇵🇸 @_SecondThought
76K Followers 608 Following On YouTube as Second Thought. Cohost of @thedeprogrampod and First Thought https://t.co/0uMLQJMBcM https://t.co/AdWyzGvZBb
Bad Socialism Takes (... @BadSocialisms
53K Followers 326 Following Collecting ridiculous arguments by the right, center, and left-wing of capitalism | Writes working-class speculative fiction. Link 🔻
Conrad Barski @lisperati
7K Followers 409 Following Clojure Coder - Medical Doctor - Illustrator - Land Of Lisp Author - Lisp Alien Creator - AI notkilleveryoneist
Rust Weekly 🦀 @RustDiscussions
4K Followers 83 Following Articles, projects and tutorials about #RustLang. Weekly newsletter: https://t.co/3SiDSYy6wc
Sergei Perfiliev 🇺... @perfiliev
66K Followers 593 Following I help investors make smarter decisions by explaining how markets, economics, and money work💡 | Ex-GS Quant Financial markets courses 👉 https://t.co/Tt72MB92Np
Sindpd SP | Sindicato... @sindpdtisp
20K Followers 3K Following Twitter oficial do Sindpd-SP | Sindicato dos Trabalhadores em TI de SP | 🟢 Filiado à @csbbrasil | Fale conosco: https://t.co/yQqr9XY0Mq
Rust Jobs 🦀 @rustjobs_dev
7K Followers 398 Following Follow us for the latest #rustlang jobs from https://t.co/lreBl2wF74. Are you hiring or looking for a job? Tag us to get retweeted!
LambdaConf 2025 @lambda_conf
9K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Acervo Maria da Conce... @acervo_tavares
58K Followers 99 Following Acervo em homenagem à economista Maria da Conceição Tavares/ 📩 para cortes: [email protected]
Type Theory Forall @ttforall
4K Followers 273 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Eduardo Costa Pinto @EduardoC_Pinto
3K Followers 416 Following Consultor da Presidência da Petrobras e Professor do Instituto de Economia da UFRJ (cedido)
BIANA @bianaaf
40K Followers 1K Following o último a sair, apaga a luz // bsky: @bianaaf.bsky.social
Flora Package Index @flora_haskell
221 Followers 8 Following Flora is a package index for the #Haskell ecosystem. We are moving to the Fediverse: @[email protected]
Timescale (now TigerD... @TimescaleDB
9K Followers 462 Following Now @tigerdatabase. The modern cloud platform built on PostgreSQL for time series, events, and analytics (and vectors too). ⭐️ - https://t.co/9HK3eQGIr5.
JUXT @juxtpro
2K Followers 186 Following For over a decade, we’ve built high-quality, scalable, and resilient software systems for the world's largest companies.
XTDB @xtdb_com
694 Followers 69 Following Immutable SQL database for time-travel reporting, developed by @juxtpro | https://t.co/bTcEgHWmJz
Elias Jabbour 🇧�... @eliasjabbour
204K Followers 2K Following Geographer | President: Pereira Passos Municipal Urban Institute | Prof Economics & Planning @UERJ_oficial | Special Book Award of China 2022 |
Henrietta Dombrovskay... @HettieDombr
291 Followers 80 Following Optimize everything, not just PostgreSQL.
Federico Razzoli @FedericoRazzol1
673 Followers 795 Following Founder of Vettabase | Database Automation & Consulting
Herr DC Lange @CarlHedgren
377 Followers 949 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Algebra Etc. @AlgebraFact
194K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Economia Underground ... @ecounderground
418 Followers 8 Following Twitter do maior podcast de Economia Institucional do planeta
Functional Scala 2024 @FunScalaConf
3K Followers 70 Following An annual conference dedicated to helping people effectively use the functional programming language, Scala, to do more. Online - December 5th and 6th.
Jones Manoel - YouTub... @jonesmanoel_PE
349K Followers 990 Following Historiador, professor, educador popular, Youtuber, Podcaster (@revolushow) e militante do Partido Comunista Brasileiro Revolucionário - @pcbrnacional
David Deccache @deccache
63K Followers 4K Following Doutor (UnB) e Mestre (UFF) em Economia. Assessor Parlamentar na Câmara. Diretor do IFFD. Coautor do livro Teoria Monetária Moderna. Opiniões aqui são pessoais.
Vitaly Bragilevsky @VBragilevsky
4K Followers 403 Following Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth https://t.co/gLENKWVA9E…Trends for United States
You might like
