Vladimir Logachev @logachev_dev
Software Engineer | Scala, Haskell, Elm, TypeScript Creator of Awsum – correctness-first, cross-target functional language Joined April 2024-
Tweets65
-
Followers24
-
Following252
-
Likes437
Awsum: a functional language where every integer operation that can fail returns `Either`. No silent wrap. No `NaN`. No `Infinity`. No `-0`. Code that doesn't handle overflow doesn't compile. Same on JVM, CLR, JS, WASM, LLVM.
@VictorTaelin @husbandas @bryan_johnson Please tell him 😱
@hmemcpy I dislike golang, but I avoid talking about it because I don't want to sound like I'm whining and complaining. But this picture expresses precisely how I see this language: as a glitch.
@ppavel24 @damikin20734 @ChShersh My friends and I use Dmitrii's work to build my project to make money in the crypto market. Another friend uses Dmitrii's work in a real-time tracking system for gliders and other aircraft on a 3d map. And all of us use Dmitrii's work to brag more efficiently in our CVs.
@zack_overflow @mercury Now it's time for @Cardano and @kadena_io 🙂
@CFDevelop If Elm -> Yes If other -> No
@pingiun_ @TravisMWhitaker Killing people in Haskell is typesafe! Killing people in C, JavaScript, or Python would be way worse.
@TravisMWhitaker And with blockchains and shitcoins as well. btw, unsafeinterleave.io is available
@TravisMWhitaker Let's start our own Haskell-uncensored web app, with blackjack and rockets?
@vlad_kf and I are doing Haskell programming together at 9 am on Sunday. Again.
@ChShersh Haskell library authors can't help using fancy type signatures.
@ChShersh "whole ecosystem search by just type" Honestly, it's more fun than really helpful. Even though I think of types first, coming up with a useful query for that kind of search is 80% guessing on what wrappers, helpers, and whatever else the library author may use in the actual type
@ChShersh @sabine_s_ @p1xelHer0 "stuck" is `pure`, so... "unstuck" should be `impure`? Got it!
@ChShersh I'd say that using anything time- and date-related for a 1h challenge is a bad idea. A proper coding challenge answer should include tests. Testing this function correctly can easily take more than 1 hour.
Yura @LazarevYuriy
80 Followers 416 Following
Igal Tabachnik @hmemcpy
11K Followers 572 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Fedor Shabashev @FedorShabashev
176 Followers 1K Following
moritz ✨ @angerman
2K Followers 2K Following 🏠 Stay-at-home dad wrangling kids & LLMs 🤖 AI maxi | FP degen | Cumlang CEO (it’s a joke) Opinions hotter than my coffee. NFA ever.
Renzo @renzocarbonara
2K Followers 2K Following Author of @atopbook, building software with types and functional programming.
Barry @chiroptical
541 Followers 269 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
Nabil Abdel-Hafeez @987Nabil
373 Followers 355 Following Love Scala. Maintainer of zio-http. Work at rewe-digital
Cλris @7h3_360l355_d3v
347 Followers 1K Following cto ai-augmented • nostalgeek • monadist • web3 • egoless open source buidler CTO @axonexyz
Beekaycee @Olamilekan43058
23 Followers 112 Following A career coach is a professional who guides individuals in identifying their career goals, developing strategies to achieve them, and overcoming obstacles along
stengineer @stengineer_dev
234 Followers 4K Following design engineer. building interfaces for long horizon AI. design + code + music.
Shakthi Kannan @shakthimaan
1K Followers 402 Following Technologist | | Consultancy | Strategy | Econometrics | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan) | Chicago Booth MBA
Emily 🏳️⚧�... @emily_etale
202 Followers 298 Following Hello! I'm a mathematician and type designer based in Brazil, currently working on the Clowder Project and Darwin.
Lilia @liliamkrtumyan
56 Followers 70 Following Education enthusiasts, Mymachine Armenia project manager , nature lover, cutie one
sander @sandydoo
338 Followers 684 Following building @devenv_nix · declarative ops, functional langs, and generative art
George from 🕹prodm... @nurijanian
73K Followers 2K Following Can I make everyone a great product manager? I will do my best | Get my AI PM OS ⬇️
Paul Graham @paulg
3.5M Followers 794 Following
Kubernetes @kubernetesio
324K Followers 86 Following #Kubernetes: open source production-grade container orchestration management. #CNCF #K8s
Debasish (দেব�... @debasishg
13K Followers 651 Following Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Airbnb Engineering @AirbnbEng
53K Followers 219 Following Creative engineers building a world where you can belong anywhere.
Google for Developers @googledevs
2.6M Followers 313 Following Discover the latest developer tools, resources, events, and announcements to help you build smarter, ship faster. 🚀
Meta for Developers @MetaforDevs
320K Followers 89 Following Build the future and scale with us by leveraging advanced tools and technologies, from AI to MR.
GitHub @github
2.7M Followers 333 Following The AI-powered developer platform to build, scale, and deliver secure software.
Meta Open Source @MetaOpenSource
157K Followers 536 Following Empowering diverse community through open source technology.
Pinterest Engineering @PinterestEng
14K Followers 36 Following We're the engineers behind Pinterest, building a visual discovery engine powered by the latest in machine learning, 300+ billion ideas and 500+ million users.
Netflix Engineering @NetflixEng
55K Followers 44 Following
Engineering at Meta @Meta_Engineers
214K Followers 197 Following Engineering at Meta is a technical news resource for engineers interested in how we solve large-scale technical challenges at Meta.
Spotify Engineering @SpotifyEng
39K Followers 107 Following The official account for Spotify Engineering
Annie Sexton @_anniebabannie_
3K Followers 327 Following I no longer post here, find me on 🦋 sky app: https://t.co/gX2kt7oma3
Justin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him
Renzo @renzocarbonara
2K Followers 2K Following Author of @atopbook, building software with types and functional programming.
Matt Kline @CompareAndSwap
614 Followers 160 Following The great enemy of clear language is insincerity.
Sridhar Ratnakumar @sridca
791 Followers 0 Following Coffee, swimming & programming. Currently working on https://t.co/fQs4PyVKLE & https://t.co/mto3JrztzX
p1xelHer0 @p1xelHer0
1K Followers 3K Following
M @thecryptomars
87K Followers 2K Following
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Susan Potter @SusanPotter
6K Followers 2K Following Contrarian. Pro-privacy. Anti-authoritarian. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Gay af. Genocide is a stain on humanity.
Bryan Johnson @bryan_johnson
1.4M Followers 658 Following Conquering death will be humanity’s greatest achievement.
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 423 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Nabil Abdel-Hafeez @987Nabil
373 Followers 355 Following Love Scala. Maintainer of zio-http. Work at rewe-digital
Barry @chiroptical
541 Followers 269 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
Kowainik @kowainik
2K Followers 2 Following Anyone can change the world. We do. 🌌 OSS organization. #fp #haskell #Learn4Haskell Driven by @vrom911 Buy us a coffee ☕️ https://t.co/5Gs8Sz8s6F
Rick @rickasaurus
10K Followers 3K Following Information persistence hunter extraordinaire. 2x Dad, AI Guy, FP Enjoyer, Math for Fun, Tech Leadership. My views do not represent my employer.
Functional Scala 2024 @FunScalaConf
3K Followers 69 Following An annual conference dedicated to helping people effectively use the functional programming language, Scala, to do more. Online - December 5th and 6th.You might like
