Vladimir Logachev @logachev_dev
Software Engineer | Scala, Haskell, Elm, TypeScript Creator of Awsum – correctness-first, cross-target functional language Joined April 2024-
Tweets65
-
Followers22
-
Following249
-
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
78 Followers 417 Following
Igal Tabachnik @hmemcpy
11K Followers 600 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Fedor Shabashev @FedorShabashev
181 Followers 1K Following
moritz ✨ @angerman
3K Followers 2K Following Building open source things for all of us: - https://t.co/dLSzvbY8aa · Docker is stupid - https://t.co/ts1OYFpBS0 · Your CLI deserves a UI
Renzo @renzocarbonara
2K Followers 2K Following Author of @atopbook, building software with types and functional programming.
Barry @chiroptical
541 Followers 270 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
Nabil Abdel-Hafeez @987Nabil
362 Followers 353 Following Love Scala. Maintainer of zio-http. Work at rewe-digital
Cλris @7h3_360l355_d3v
344 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
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
199 Followers 295 Following Hello! I'm a mathematician and type designer based in Brazil, currently working on the Clowder Project and Darwin.
Lilia @liliamkrtumyan
55 Followers 70 Following Education enthusiasts, Mymachine Armenia project manager , nature lover, cutie one
stengineer @stengineer_dev
263 Followers 5K Following design + product engineer. design + code + music.
Andrej Karpathy @karpathy
4.4M Followers 1K Following
George from 🕹prodm... @nurijanian
121K Followers 2K Following Can I make everyone a great product manager? I will do my best | Personal/Team OS for Product Management ⬇️
Paul Graham @paulg
5.4M Followers 806 Following
Docker @Docker
558K Followers 3K Following Docker securely contains autonomous agents so you can confidently build, ship, and run on trust.
Kubernetes @kubernetesio
328K Followers 86 Following #Kubernetes: open source production-grade container orchestration management. #CNCF #K8s
Satnam Singh @satnam6502
24K Followers 3K Following Scottish-Punjabi-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Soundwave @sndwv_
554 Followers 201 Following The chains of fate that bind us all together... do you really want to break them?
Airbnb Engineering @AirbnbEng
54K Followers 219 Following Creative engineers building a world where you can belong anywhere.
Google for Developers @googledevs
2.6M Followers 315 Following Discover the latest developer tools, resources, events, and announcements to help you build smarter, ship faster. 🚀
Meta for Developers @MetaforDevs
328K Followers 94 Following Build the future and scale with us by leveraging advanced tools and technologies, from AI to MR.
GitHub @github
2.7M Followers 334 Following The AI-powered developer platform to build, scale, and deliver secure software.
Meta Open Source @MetaOpenSource
158K 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, billions of ideas and 600+ million users.
Netflix Engineering @NetflixEng
54K Followers 44 Following
Engineering at Meta @Meta_Engineers
219K 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
48K 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 164 Following The great enemy of clear language is insincerity.
Sridhar Ratnakumar @sridca
920 Followers 0 Following Building https://t.co/fQs4PyVcW6 and https://t.co/BeUWSFxjNd. Posts auto-delete.
rain @rtroar
2K Followers 1K Following software working on https://t.co/uUGlD1N185 gpu kernel and inference optimization
p1xelHer0 @p1xelHer0
1K Followers 3K 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
2.2M Followers 682 Following Founder Immortals, Blueprint, Kernel, Braintree Venmo. Conquering death will be humanity’s greatest achievement.
Joachim Breitner @nomeata
3K 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 427 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Nabil Abdel-Hafeez @987Nabil
362 Followers 353 Following Love Scala. Maintainer of zio-http. Work at rewe-digital
Barry @chiroptical
541 Followers 270 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.
Trends for United States
You might like
