Michal Grygierzec @LambdaMike
Functional programming enthusiast. I enjoy coding stuff in #Nix, @typescript, @scala_lang, @elmlang. Constantly learning and exploring (also) the realm of #FP. github.com/lambda-mike Kraków Joined September 2012-
Tweets256
-
Followers73
-
Following811
-
Likes713
For those who think the TIOBE Index is a big deal: #JuliaLang entered TIOBE top 20! They also did a nice and pretty accurate Julia summary (hilarious note: "... less expensive than Matlab"): > Julia has hit the TIOBE index top 20. This is the first time in history! Born about…
So, we've done something over the last few months. It is my pleasure to announce Effectful Technologies Inc (effectful.co) a company fully dedicated to @EffectTS_ and it's ecosystem. Deeply honored to have such an amazing team! Stay tuned for more updates.
Learning @EffectTS_ takes time and you will not like many of the things at first. That's inevitable for a library that has 30+ modules and 1000s of functions. Learning @EffectTS_ will save you years of productivity if not decades, and anyone who knows it can confirm.
Our Effect community has recently surpassed 1000 members on Discord! 🚀🎉 discord.gg/effect-ts Spread the word & invite others to our growing Effect community! Let's continue making a difference together! #TypeScript
Friends, I need you to retweet or attend. As a community, we are struggling. We need to build our women in compilers and tools community. We need your help!
Friends, I need you to retweet or attend. As a community, we are struggling. We need to build our women in compilers and tools community. We need your help!
TypeScript is JavaScript that scales, Effect is TypeScript that scales
The folks from @EffectTS_ team churning out top-notch documentation around functional programming in TypeScript land! 🤩 The documentation grows at a pace faster than a dwarven mine! ⛏️💨 #TypeScript #FunctionalProgramming
Functional Programming is hard. But learning it doesn't have to be. You don't need to be a mathematician. And no, you don't need to start with Haskell. Here's a crash course and a list of resources for how to get started in FP with Typescript: 🧵👇
So creators of both libraries @GiulioCanti and @MichaelArnaldi joined forces to unify "effect-ts/effect" and "fp-ts" into effect's ecosystem. The new ecosystem is still under development and is moving really fast. ⚡️ This is going to be huge for js community !!
Glad to say I've put in a proposal to @pragprog to co-author a book about #Nix, #NixOS and #DevOps with @toxicnaan The working title is "The Art of Working Deterministically" 📖 #functionalprogramming
When people are hurting, our first instinct is to change their feelings. What often helps them more is validating their feelings. Sharing your perspective is less comforting than showing you understand their perspective. Emotions need to be recognized before they're regulated.
Confident parents raise confident kids. 10 traits of confident parents:
I believe the opposite is also true: Anxious parents raise anxious kids. I want my kids to be sure of who they are and unafraid to take risks. And I know that starts with me. So I looked to other parents I admire and began taking notes. These are the traits I observed:
Confident parents check their fear: Fear is the # 1 battle for parents. We're wired to protect our kids. But fear-based parenting produces fear-full kids. Confident parents don't let fear run the show. Fear is an input to examine, Not a force that dictates their decisions.
TypeScript Turns Ten Today! 🎂🥳 We're humbled and grateful for our community and all that you've done! We wouldn't be here without you, and you've made these past 10 years amazing! devblogs.microsoft.com/typescript/ten…
♫ "Join us now and share the software" ♫ Today marks the 39th anniversary of the GNU project! Hurrah for free software and happy hacking, everyone! See the full history at u.fsf.org/3ub #GNUAnniversary #GNU
10 things you need to say to your children - immediately:

Udwoojim @Udwoojim1869
15 Followers 996 Following
Riya Kanwar @RiyaKan64392690
83 Followers 1K Following
AlbertaHarold @QC3z1x411WNHr
87 Followers 7K Following
EdwinaBess @Vw1rA6d81a181A
64 Followers 7K Following
Merry @shouenmoe83936
24 Followers 2K Following
Thoatoo @Thoatoo195539
13 Followers 1K Following
Lee Hughes (cybertrik... @toxicnaan
843 Followers 2K Following https://t.co/cVCs6d5WN9 : I am the Cybertriker! I like Trikes, AI, Reproducible Systems and Networking. Current Mission: https://t.co/Q8MBfvBaRh . I'll be back!
Alberto Schiabel @jkomyno
430 Followers 672 Following busy building tools for TypeScript devs; public speaker, core @prisma, contractor; born in Venice 🦁
Shesleesh @shesleesh3146
5 Followers 316 Following Follow me, maybe it's the beginning of our fate, we can talk
Andrea Ciceri @hornedSphere99
52 Followers 243 Following
Anne @anne_harritt
326 Followers 3K Following
Ampache @ampache
235 Followers 175 Following Web-based Audio/Video streaming & media management application.
🇦🇹 WorkerConf @workerconf
565 Followers 372 Following All things Node.js + AI, in beautiful Austria.
Emily Renee Cunningha... @EmilyReneeCunn1
43 Followers 148 Following Author - Activist - Citizen of Planet Earth
Chris Chalcraft @cchalc
790 Followers 4K Following interested in linux, functional programming, data science & geophysics. also love duplicate bridge. https://t.co/DyQUd6WNTu
astralship.org @theastralship
523 Followers 909 Following Innovative spaceship for a change-maker collective. Approaching warp speed.
EcoClipper @EcoClipper
15K Followers 12K Following Making a bold change in shipping. Sail along Move Cargo Become cooperative member / invest For more click: https://t.co/mpKTi2G5Zv
ReGenerate Trust @ReGenerateTrust
870 Followers 2K Following Unlocking the power of business to tackle the great social and environmental challenges of our age
🅹🅴🆂🆂🅸�... @Jessica_74855
191 Followers 2K Following Hi!Are you looking for fun? Me too!Let’s get to know each other on an intimate level.Follow me, and I´ll send you my favorite photo! 😊😘😚
Pandio @pandio_com
236 Followers 1K Following Helping enterprises take advantage of their data by enabling #AIOrchestration. #AI #PandioML #ApachePulsar #SaaS #Presto https://t.co/PQ5EvWjV8A
Diego Zamboni @zzamboni
823 Followers 1K Following I no longer post here. See me at https://t.co/YHo05C46g6. Archive of my tweets at https://t.co/zqs2COuQcS
Engineering Bytes @eng_bytes
440 Followers 3K Following Bytes of knowledge/learnings from a software engineer with more than a decade of industry experience
Torus Host @torus_host
134 Followers 1K Following A simple, one command, fully #opensource enterprise-grade hosting solution for #jamstack sites. Currently supporting @awscloud @godaddy
thelostmillennial🏆 @thelostmillenn2
80 Followers 352 Following 2x income in 1 year | 🚀Growth investor | 24/7 hustler | 💥Avoid 9 mistakes that RobinHood Beginners make (2020) 👇FREE GUIDE 👇
Kesque @kesquetech
986 Followers 3K Following Replaced by @DataStax Astra Streaming, a fully managed service powered by @apache_pulsar. Try Free.
Addition+ @AdditionRecruit
4K Followers 4K Following
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.
Szymon Mentel @szymonmentel
94 Followers 134 Following
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS
Andrey Fadeyev @_insight
268 Followers 320 Following software engineering at fintech; love studies about correctness, programming languages, types, distributed systems and engineering effectiveness; #dnb fan
selasie hanson @selasiehanson
167 Followers 538 Following Senior Consultant @Andela | ex @HubtelGhana. Software Dev: Ruby on Rails, Elixir, ReasonMl, React | Functional Programming & Distributed Systems
Lisp Flavored Erlang @ErlangLisp
2K Followers 1K Following Now on Mastodon at https://t.co/EU5aSWmI99
PAULA / No estoy aqu�... @Terceranexus6
4K Followers 4K Following Investigación de Linux y open source; Threat Intel; Privacidad y soberanía digital; presidenta cofundadora de Interferencias; profe | Opinions are my own
Kevin Moesker @kevinmoesker
119 Followers 846 Following Knowledge Engineer / Data Sorcerer 🧪🧙♂️. Curious mind 🧠. Tech innovator 🚀. Intertesed #KnowledgeGraphs #GraphML, #AI, #DataScience, #IIoT, and #Business.
X (formerly @PaniczGo... @PaniczGodek
641 Followers 1K Following I no longer post from this account. If you want to reach out to me or stay up to date, find me in fediverse.
Compose Conference @composeconf
669 Followers 188 Following Haskell, F#, OCaml, sml. NYC, June 24-25 2019
Kasia Małek @Kasia_Malek_
255 Followers 353 Following IT Recruiter at @FrontiersIn || sourcing | recruitment | people | data | work in IT | programming || ⛷🏔 🚲 enthusiast || Psychologist in Tech
HAIF Birsamuda old ag... @Donatejharkhan1
683 Followers 4K Following #haif #helpindia01 @helpindia01
Marian Dziubiak @MDziubiak
238 Followers 349 Following Legenda Polskiego Quidditcha ▪ Pasjonat technologii ▪ Software Engineer @ Microsoft ▪ @[email protected]
Heidi Mork @heidicmork
339 Followers 1K Following Mathematician, programmer, and researcher in computer science. I like books, guinea pigs, dresses and chocolate.
Alprazolam @Fab92Victor
22 Followers 378 Following
David Russell @gitpitch
698 Followers 805 Following The perfect slide deck solution for Tech Conferences, Training, Developer Advocates, and Educators.
Sean H. Robertson @SeanHRobertson
7K Followers 7K Following $SHIB Investor. #SHIBARMY RULES! Start investing in crypto with Voyager. Download the app and trade $100 to get $25 of free Bitcoin NOW! Use my code SEAC699.
fen @nbogusiewicz
58 Followers 983 Following
Check Point Software @CheckPointSW
71K Followers 3K Following You deserve the best security. Get the protection you need against AI-driven cyber attacks.
DiceDB @thedicedb
2K Followers 1 Following an open-source, fast, reactive, in-memory database optimized for modern hardware.
Proton Mail @ProtonMail
67K Followers 28 Following The world's largest secure & private email provider. Swiss-based, end-to-end encrypted, and free. Brought to you by the scientists behind @ProtonPrivacy.
Breakthrough Energy @Breakthrough
73K Followers 352 Following Investing in energy innovations to accelerate the path to net-zero.
AI Now Institute @AINowInstitute
58K Followers 1K Following The AI Now Institute produces diagnosis and actionable policy research on artificial intelligence.
OpenFeature @OpenFeature
1K Followers 96 Following Open standard for feature flags, created to support a robust feature flag ecosystem using cloud native technologies. https://t.co/KX2npKlsfH
Bun @bunjavascript
59K Followers 3 Following Bun is a fast, all-in-one toolkit for installing, bundling, running and testing JavaScript & TypeScript. To install: `npm i -g bun`
iFixit @iFixit
129K Followers 1K Following 🧑🔧 Free repair guides for every thing, written by everyone 📸 Share your repair with #ifixit 🌏 In Europe and Asia: @ifixitDE + @ifixitFR + @iFixit_Japan
htmx.org / CEO of Dja... @htmx_org
56K Followers 296 Following high power tools for html - ʕ •ᴥ•ʔ made in montana https://t.co/P2PXnepoeI (u know u want some)
Panda CSS @panda__css
3K Followers 4 Following The Modern CSS-in-TS framework without the runtime. Create modern websites with ease. Type-safe ⚡️ · Design Tokens 🎨 · Variants 🍭
MPK S.A. w Krakowie @MPK_Krakow
16K Followers 31 Following Oficjalny kanał informacyjny MPK S.A w Krakowie.
Proton Pass @Proton_Pass
23K Followers 19 Following Free and unlimited password manager from @ProtonPrivacy. Open-source, audited, e2e, passkeys and aliases. Try Authenticator: https://t.co/GKZAjnD9fm
Earth Runs @Earthruns4trees
99 Followers 61 Following Turning your miles into trees! We plant trees for every race you complete. Fighting deforestation and keeping fit. Join a race to help save the earth.
Organization for Ethi... @EthicalOSS
560 Followers 26 Following Empowering open source communites to ensure that their work is being used for social good and in service of human rights.
All Systems Go! @ASGConf
783 Followers 63 Following Moved to: Mastodon: https://t.co/Lq4m8lLGLo BlueSky: https://t.co/heA90xTUFd
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 727 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
Swift Language @SwiftLang
75K Followers 0 Following Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
The Julia Language @JuliaLanguage
30K Followers 322 Following Julia is a high-level, dynamic programming language built for technical computing. Join the conversation at #JuliaLang @JuliaConOrg @JuliaInclusive
Yaron (Ron) Minsky @yminsky
15K Followers 335 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Anil Madhavapeddy @avsm
6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected] and https://t.co/0P3DSgR0Dv
Maurício Aniche @mauricioaniche
12K Followers 4K Following Staff Engineer @ Uber, ex-Adyen, Former Assist Prof in SE @serg_delft, Author of https://t.co/WUAKj72qHb, 2021 CS Teacher of the Year
PragmaticProgrammers @pragprog
27K Followers 293 Following Technical excellence from a trusted friend and the highest author royalties around. We are pragmatic, and we are developers, for developers.
xchscan.com @xchscan
2K Followers 30 Following Chia Blockchain Explorer and Analytics Platform. $XCH #Chia
Ecosia @ecosia
84K Followers 2K Following Find what you need. Plant trees where they’re needed. Search with Ecosia and be climate active every day: https://t.co/xRSIih9Knm
Bitwarden @Bitwarden
115K Followers 166 Following Bitwarden equips enterprises and individuals with trusted security solutions for passwords, secrets, and passkey management.
Quentin Malapel @QMalapel
94 Followers 86 Following Music composer & audio designer🎶 Co-founder of @BreadPandaGames🌱🌊 Works with @BetaDwarf, @MongooseRodeo ... Also @subwaysurfers, @shirogames ...
Lee Hughes (cybertrik... @toxicnaan
843 Followers 2K Following https://t.co/cVCs6d5WN9 : I am the Cybertriker! I like Trikes, AI, Reproducible Systems and Networking. Current Mission: https://t.co/Q8MBfvBaRh . I'll be back!
Chinese Space Station @CNSpaceStation
23K Followers 405 Following As China's 1st permanent space station, CSS will become a crucial platform for int'l space coop & contribute to space exploration for all humankind.
Kia Worldwide @Kia_Worldwide
257K Followers 569 Following We believe movement inspires ideas. Get moving. Get inspired with #Kia. #MovementThatInspires
Rich Burroughs @richburroughs
13K Followers 2K Following I’m no longer active here. Find me on Bluesky and LinkedIn. Links are in my Linktree.
Gene Hoffman hoffmang... @hoffmang
27K Followers 2K Following CEO · https://t.co/5rWQ4S8EfM & https://t.co/N6LQdpJnfC. Formerly Vindicia, eMusic, PGP, UNC Basketball & Darkside Ultimate · CGF & SAF · https://t.co/jBWsFchKK4
Climate Warehouse @ClimateWarehous
416 Followers 4 Following The Climate Warehouse is public good data layer to facilitate the transparent sharing and reporting of climate project information and their issuances.
Buildkite @buildkite
4K Followers 75 Following Move beyond CI/CD with Buildkite’s Scale-Out Delivery Platform. Loved by the world’s most demanding companies, including Uber, Shopify, Slack, Canva, and more.
Flat @flat_io
4K Followers 72 Following Create sheet music online, collaborate in real time, and share with a global community #GoogleEdu Technology Partner, #GoogleClassroom, #MicrosoftEdu Partner
Effect | TypeScript a... @EffectTS_
11K Followers 36 Following Production-Grade Software in TypeScript. Open source library. →Community: https://t.co/rlme4wZIPR →Content: https://t.co/9DWBQLXFJ2
Peter Strachan @ProfStrachan
24K Followers 178 Following Professor of Energy Policy and Sustainability Transitions
Strange Loop Conf @strangeloop_stl
13K Followers 57 Following The Strange Loop software conference in St. Louis, MO. Videos: https://t.co/nzeElviisT.
Elm Land @ElmLand_
493 Followers 1 Following A production-ready framework for building Elm applications. Build your next app with confidence, step by step.
Fermyon @fermyontech
4K Followers 2K Following Faster, high-performance compute for serverless apps. Creators of @spinframework, collaborating on @spinkube. Powered by #OpenSource #WebAssembly.
ESLint @geteslint
41K Followers 57 Following Find and fix problems in your JavaScript code. Support us at https://t.co/pXum2pJAn6 @[email protected] Need help? https://t.co/z003GghLsF
Neo4j @neo4j
47K Followers 4K Following Leader in Graph Database & Analytics. Developers: https://t.co/XrnpLCVglr. Our community: https://t.co/mWzXAcVzve Same handle on all other platforms.
All Day DevOps @AllDayDevOps
9K Followers 176 Following #AllDayDevOps is an online community responsible for creating the world's largest DevOps conference. Register below for access to recordings from #ADDO2023
CNCF @CloudNativeFdn
110K Followers 729 Following CNCF is the home of @kubernetesio, @prometheusio, @envoyproxy, and many more. Join us at #kubecon.io - Jun 10-11 in HK, Jun 16-17 in Tokyo
Eficode @Eficode
2K Followers 580 Following The consulting, training, and managed services you need to master DevOps and AI. 🇫🇮 🇸🇪 🇩🇰 🇳🇴 🇳🇱🇩🇪🇵🇱🇨🇭🇬🇧🇺🇸 Host of #TheFutureofSoftware.
DevOpsDays London @DevOpsDaysLDN
3K Followers 1K Following DevOpsDays London 2024, 26th & 27th September 2024 at the QEII centre, London https://t.co/ihvfLiVdHL
DevOpsDays Birmingham... @devopsdaysbrum
615 Followers 14 Following DevOpsDays Is coming to Birmingham UK. 2024 dates to be announced