-
Tweets606
-
Followers35
-
Following295
-
Likes856
Oleg Kiselyov's compilers course in OCaml 👀👀 okmij.org/ftp/tagless-fi…
Compiling #fsharp to JavaScript... this did not quite go as planned😜
excited to announce my new book
Learn #Haskell with our free video-based Introduction to Haskell course: well-typed.com/intro
Must-read excellent books with 🆓 PDF available to download from the author/book web pages: 👉 franknielsen.github.io/Books/CuratedB…
LSP-driven auto-completion is in Nvim 0.11, thanks to @MariaSolanoOs ! Enable it from on_attach: vim.lsp.completion.enable(true, client_id, 0, {autotrigger=true}) try typing "table." or CTRL-X CTRL-O (lists snippets too!) github.com/neovim/neovim/…
Incomplete and Utter Introduction to Modal Logic serokell.io/blog/incomplet…
I'm working on a book to introduce developers to the world of Succint Data Structures, and how they can leverage them in building software. Most DS and Algo books focus on passing coding interviews but this one focuses on practical knowledge not theory tonialaribe.gumroad.com/l/rxjgb
30 years to the day 16 August 1992 that I submitted "Functional Programming and Input/Output" as my PhD dissertation! The ">>=" symbol is the longest-lived survivor! microsoft.com/en-us/research…
HAVE YOU HEARD OF NIX? ITS A PURELY FUNCTIONAL DECLARATIVE REPRODUCIBLE PACKAGE MANAGER. ALL UPDATES ARE ATOMIC AND YOU JUST HAVE TO LEARN HOW TO OPERATE THE CLI WHICH IS KIND OF LIKE GIT EXCEPT THE HARD PARTS. IT HAS A CUSTOM LISP DIALECT TOO I CANT BELIEVE YOU HAVENT TRIED IT!
📕 I've finished the first 14 chapters of The #Rust Book. It's enough for me to start working on my own project. Meanwhile, I want to write my review of this learning resource. In today's thread, I'm going to focus on great things about this Rust tutorial 🧵
Reasonable Agda is correct Haskell: Writing verified Haskell using agda2hs. ~ Jesper Cockx et als. jesper.sikanda.be/files/reasonab… #ITP #Agda #Haskell #FunctionalProgramming
Haskell, though not perfect, is of a quality that is several orders of magnitude higher than Java — Edsger W. Dijkstra cs.utexas.edu/users/EWD/Othe…
Turns out it’s possible to implement TypeScript’s type system in TypeScript’s type system 😳 Check out github.com/ronami/HypeScr…
How you learn to code
#Scala lovers, here is something for you! Next week at Lambda Days, @Odomontois from @Evo_global will show us a new form of data encoding in Scala, we will explore Scala 3 powers and touch on a little bit of #CatehoryTheory. lambdadays.org/lambdadays2022…
SimpleX Chat – the first #opensource #private #messaging platform without user identifiers – v3.0 released: - instant iOS push notifications - e2e encrypted audio/video calls - database export and import - improved privacy and performance See this post: github.com/simplex-chat/s…
Ever wanted to watch a JIT compiler do its magic live? (Just me?) Well, here it is. Over the last week I’ve been working a quick little viewer for the ruby YJIT compiler from @Love2Code and folks at @Shopify
Зимнеее без... @CountFenring
410 Followers 357 Following
Shifahoas @ShifahoassvQXo
18 Followers 1K Following
Norma @nariyoshik46301
20 Followers 2K Following
AskSBOM @asksbom
167 Followers 2K Following I'm an AI assistant developed by Deepbits. I leverage deep learning, program analysis, and ChatGPT to answer cybersecurity-related questions.
Oleg Nizhnik @Odomontois
1K Followers 426 Following Scala Developer at https://t.co/BBA5zEjpIq Open source projects: https://t.co/1DqROquY1Y https://t.co/abOevclBCM
devgroundco @devgroundco
769 Followers 4K Following https://t.co/o7kkqkyYin courses for .NET developers. New Docker course! https://t.co/vmrQImykJe
Don Wibier @donwibier
358 Followers 213 Following DevExpress Technical Evangelist, Retired Microsoft MVP, Conference Speaker and Architect and creator of CMS2GO
Przemek Wlodarczak @pwlodarczak
62 Followers 314 Following .Net developer in Poznań, Poland. CodeRush enthusiast. Doing OSS by night.
Alex @alexzzed
31 Followers 43 Following I work at DevExpress and I develop CodeRush. This twitter reflects only my personal opinions and my own life.
Denis Khranovskiy @Xronosd
195 Followers 4K Following Backend Engineer Go, Fintech, Billing, Payments.
Dmitry Kharkov @DX_man71
1 Followers 12 Following
Alexander Gorpinich @ZmeiG83
22 Followers 167 Following
Ivan Nikitin @visualwatermark
233 Followers 519 Following I'm a software developer and aspiring photographer who build apps at https://t.co/hh7CDzjRR5 and https://t.co/EapNjQq4xs
Вы Застрахо... @Osago_Kasko_SPB
18 Followers 306 Following ОСАГО, КАСКО, Зеленая карта в Санкт-Петербурге. Все виды страхования. Лучшие компании и лучшие цены! #осаго #купить_осаго #осаго_спб #каско #каско_спб
Alexander Ziborov @alex_zib
5 Followers 59 Following
Alex Skorkin @AlexSkorkin
430 Followers 2K Following Insider's Tips and Tricks for DevExpress Visual Studio IDE Tools: CodeRush, Refactor!, and DXCore
Nicolas Rubiano @_senordiego
71 Followers 1K Following I’m a developer who loves dogs, and clean code. Looking opportunities to reallocate in some European Country as Full Stack Dev
Houston Heckard @Houston5Heckard
217 Followers 3K Following
DnBshop @DnBShop
171 Followers 454 Following Citizen of the world. Learning and sharing. Neurofunk lover. Tweeting about #drumandbass
Elena Five @sometimes_elen
104 Followers 73 Following I’ld like to be a pretty girl, but I don't want to lose an opportunity to drink whiskey from the bottle and yell the obscene songs. Just in case.
Оксана @aueiqizime
125 Followers 4K Following Многофункциональный аппарат для быстрого сжигания жира Fat Slim ➡https://t.co/LCAEvo2SVQ
Augmented Reality Met... @auguverse
3K Followers 3K Following 3D Digital Art and Entertainment in Creative ways
the book of apostroph... @apostroph1c
2K Followers 4K Following bad at twitter. mgmt: [email protected]
Bob Weisberg @BobWeisberg
4K Followers 4K Following 3rd party sponsored advertising specialist. devices enthusiast. West Coast Swing dancer, classical pianist & workout enthusiast. RT or follow ≠ endorsement.
Mantle Sound Core @mantlesoundcore
52 Followers 253 Following Surrealistic Acid Glitch Poetry based in Santa Cruz CA. Member of @Soquelle, https://t.co/9BIxPH82eq
TalkIT @NowTalkIT
5K Followers 5K Following Learn to code online when and where you want. Courses created by experts in all industry standard coding languages.
Nikolay Degtyarev @v4us
255 Followers 217 Following Product management & marketing consultant, Management consultant, Data analyst, computer scientist, traveler and just a thinking guy...
Alexander Granin @graninas
7K Followers 869 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Idris Language @idrislang
2K Followers 2 Following The Idris Programming Language. Tweets by @edwinbrady
Horizon Haskell - Has... @horizonhaskell
68 Followers 4 Following Join Matrix: https://t.co/SbK1wCmcCW By @locallycompact
Neovim, world leader ... @Neovim
41K Followers 15 Following Posts refer to Nvim 0.12 (current dev build). Discuss usage/config/ideas at: https://t.co/mfM6kFnSfE
Alexander Vershilov @qnikst_en
53 Followers 106 Following Head of software development department at https://t.co/JMsMOwPngp. Making a full featured education platform. Techlist: Haskell, Nix, k8s, TypeScript, Python.
What a week, huh? all... @whataweekhuh
367K Followers 0 Following Captain, it's wednesday. The amazing art for the profile picture was made by Blouk @bloukBlouk
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Inflex @InflexHQ
285 Followers 25 Following Inflex® is a new creative digital workspace: powerful functional language (Haskell-inspired), rich data structures (no grid!), browser-based.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Yaron (Ron) Minsky @yminsky
15K Followers 335 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
@[email protected] @donsbot
6K Followers 0 Following Not on Twitter anymore. Follow me at https://t.co/TsydQVKe5X and https://t.co/yZojCG7KEO
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Andrey Mokhov @andreymokhov
2K Followers 180 Following From engineering to abstract mathematics and back
SimpleX Chat @SimpleXChat
14K Followers 349 Following SimpleX - the first messaging network without user IDs - private by design! Get the apps: https://t.co/x2SRewagRP
typelevel.scala @typelevel
9K Followers 110 Following Let the Scala compiler work for you. We provide type classes, instances, supplements to the standard library, and much more. Now at @[email protected]
Evil Haskell Tips @EvilHaskellTips
3K Followers 18 Following go forth, my statically typed minions. Eval! Apply!
Oleg Nizhnik @Odomontois
1K Followers 426 Following Scala Developer at https://t.co/BBA5zEjpIq Open source projects: https://t.co/1DqROquY1Y https://t.co/abOevclBCM
João Forte Carvalho ... @bgamari
2K Followers 314 Following Director of Product @Constellation Network
patrick thomson @importantshock
4K Followers 441 Following poster (ret.) • engineer • distributed systems & programming languages at @github • immigrant 🇮🇪 • abolish ICE, police, and prisons • free Palestine • he/him
Open Logic Project @OpenLogicProj
2K Followers 15 Following Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.
Haskell IDE team @IdeHaskell
516 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering it
Nikita Volkov @NikitaYVolkov
1K Followers 40 Following Consultant in Haskell, Rust and software design. Author of "hasql" and "refined". Founder of https://t.co/jYXlfxPMjy.
Oleksii Nikiforov �... @nikiforovall
646 Followers 394 Following Always exploring .NET and the art of crafting better solutions. On an endless tech learning journey 🚀
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Dmitrii Kovanikov @ChShersh
43K Followers 207 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
deech @deech
5K Followers 1K Following
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Impure Pics @impurepics
6K Followers 0 Following FP Advocat. Distilling functional programming for the good of all. https://t.co/AzKirvGfEQ
Haskell Love Conferen... @_haskellove
1K Followers 46 Following #haskelllove https://t.co/vg1yElERCf https://t.co/6KK9yrS6Ql
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Haskell Weekly @haskellweekly
7K Followers 349 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
Haskell Foundation @haskellfound
5K Followers 58 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Bind The Gap @bind_the_gap
662 Followers 2 Following 🚅 Change here for the #FP line 📰 Modern and cosy #Haskell and FP monthly newspaper 💙 by @kowainik @chshersh @vrom911
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/BjVCyBuF9RTrends for United States
You might like
