Software Algebra @SoftwareAlgebra
Joined November 2013-
Tweets229
-
Followers32
-
Following302
-
Likes166
Software Algebra retweeted
More on Uncle Bob's Oath Going too far is quite difficult to do. ronjeffries.com/articles/015-1…
0
1
1
0
0
Software Algebra retweeted
People run into trouble with DRY because it doesn't tell you *what* not to repeat. People assume syntax, but it's actually concepts.
Software Algebra retweeted
Good argument for sequential consistency guarantee in programming languages, especially in Java: drops.dagstuhl.de/opus/volltexte…
Software Algebra retweeted
Linda! You keep asking me about Java, and I keep telling you I'm a #JavaScript developer. Listen! @_ericelliott
Software Algebra retweeted
#FP101x math.harvard.edu/~mazur/preprin… : ericlippert.com/2013/10/07/mat… = mathematical elegance : programming tediousness. #Enjoy
Software Algebra retweeted
Apparently you really shouldn't use your fingerprints instead of passwords. hackaday.com/2015/11/10/you…
Software Algebra retweeted
Drove by this road today. I hope whoever came up with this road name is now a coder making up variable names.
Software Algebra retweeted
@posco Why not write your type sigs that way directly? gist.github.com/LeifW/8f99aaca…
Software Algebra retweeted
My MSR talk on program synthesis from refinement types is online! research.microsoft.com/apps/video/def…
Software Algebra retweeted
How recursion got into programming buff.ly/1KjMCkd there was a time when it was not a natural thing
Software Algebra retweeted
Tout codeur se doit de tenter le coup au moins une fois commitstrip.com/2015/08/26/sau…
Software Algebra retweeted
Your PhD Matters - Next Scientist nextscientist.com/your-phd-matte… via @NextScientist
Software Algebra retweeted
Just finished a revamp of elm-lang.org, really happy with how it turned out so far!
Software Algebra retweeted
XKCD: Types xkcd.com/1537
Software Algebra retweeted
#Haskell proposal "Moving fail out of Monad" thread.gmane.org/gmane.comp.lan… github.com/quchen/article… - enormous +1 to this. Let's make it happen!
superbeef150 @superbeef150
370 Followers 2K Following tweets are your own (even these ones I checked with my lawyer)
Dr.Lulu Al-Essa @iLulu_705
473 Followers 3K Following
Nouf @Nouf27971421
2 Followers 99 Following
Yonatan Zilpa @yonizilpa
16 Followers 148 Following
Enrique Pérez @enriperez
154 Followers 4K Following Sociólogo, Planificador Urbano y Geógrafo (o sea, heteroflexible urbano); LINUX; amante del patinaje; por una movilidad alternativa, sustentable y SEGURA!!!
Hasitha Pathiraja @hpathiraja
915 Followers 5K Following CTO | I train and coach engineering leaders | Senior Engineering Leader (Ex-Shopify) | Speaker | Blogger | Educator
Mohammed Ahmed @mahmed912
83 Followers 1K Following
oli osorhan @yo5amm
60 Followers 334 Following
Dalibor Gogic @dalibor_gogic
1K Followers 1K Following
🕷 @Cynede
742 Followers 553 Following
Jack Fox @foxyjackfox
2K Followers 2K Following Urbit maximalist ~nomryg-nilref Developing Obelisk, the time-travelling RDBMS for Urbit https://t.co/tn8lY1ehCT
hamilton verissimo @hammett
1K Followers 608 Following @rustlang @golang / ex-MSFT / Castle Project founder / fintech stuff
Scala Friends @ScalaFriends
8K Followers 10K Following Community driven Scala initiative. Email Newsletter: https://t.co/3HyGoao4V2 #scala #akka #typesafe #fp
Purely Functional λ @purelyfunc
7K Followers 9K Following We admire functional programming. #haskell #scala #fsharp #clojure #lisp
Javascript 6 @javascript_6
2K Followers 2K Following The latest and greatest about the new features and pure awesomeness about javascript 6. #es6 #javascript
Web components @web_component
2K Followers 1K Following The curated list of web components and custom elements.
Angular-js Directive @ng_directives
9K Followers 9K Following An Angular-js Directive/Module a Day.Curated by @techiejayk
Veronica Andrino @veronandrino
42K Followers 46K Following Capitalist, Investor,Entrepreneur, Tech Founder, Speaker, Traveller, Hodler, Blockchain Evangelist. https://t.co/5im5wwEGBD
Michael Feathers @mfeathers
38K Followers 2K Following Director, R7K Research & Conveyance. Author of Working Effectively with Legacy Code.
Eric Elliott @ericelliott_
61K Followers 13K Following ✨Make some magic 🖤 In love 🔥 Manager, Adobe Firefly 🪄 Conjured SudoLang 📖 Author of books on AI, AIDD, JS, FP
Max Colorado @MaximumColorado
438 Followers 532 Following I develop stuff. With... My... MIND. Of course, I use Ember. Currently diving into Node.js backend and iOS. Huge fan of Amazon Prime, USC Football and Mac.
netinformations @netinformations
357 Followers 2K Following
Dr Suzanne Harvey @SuzeMonkey
255 Followers 561 Following Schools Programme Manager at the Royal Institution. Lizard fan, and professional monkey watcher 🐒
Jill Tarter @jilltarter
6K Followers 9 Following Earthling, chief cheerleader for SETI, setiQuest, and the Allen Telescope Array Jack's wife - Shana's mom - Li Yao and Clara's grandma
Steve Bohlen @sbohlen
4K Followers 2K Following Software Engineering Ronin; Principal Software Engnr @Microsoft ; author Summer of NHibernate scrncasts; co-founder ALT .NET NYC; chair of @codecampnyc; mentor
ppk.css 🇪🇺 @ppk
19K Followers 429 Following CSS coach - technical writer - browser expert - @cssdayconf and @perfnowconf organiser - @[email protected] - https://t.co/75gRPAoe8A
Allen Holub. https://... @allenholub
76K Followers 607 Following I'm done with Musk and his Nazis, so I've moved to BlueSky (@allenholub.bsky.social) and LinkedIn (https://t.co/EBnkZ8qUC8). LinkedIn is more lively.
Yegor Bugayenko @yegor256
13K Followers 302 Following Co-founder of https://t.co/a85MFEh1V5; co-author of https://t.co/gPKQ7zNt5K; co-creator of https://t.co/YXwDE3eR96; co-organizer of @iccq_ru and https://t.co/fzudgYCfat.
Laurie Voss @seldo
42K Followers 3K Following VP DevRel @llama_index. Previously: data at @Netlify, co-founder @npmjs. 🏳️🌈🇹🇹🇬🇧🇺🇸 he/him @seldo.com on BlueSky.
Aggelos Biboudis @biboudis
2K Followers 473 Following Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Jared Parsons @jaredpar
15K Followers 714 Following Work on compilers and languages. Creator of VsVim. He/Him #BlackLivesMatter
Jen Myers @antiheroine
12K Followers 1K Following Lanky brunette with a wicked jaw. Technologist/writer/grown-up film student. Talks about horror films on @quiethorrors podcast. she/her
Arash Milani 🌏 @arashmil
12K Followers 752 Following Husband, son, uncle, software product creator and happiness ninja.
Sarah Mei @sarahmei
44K Followers 3K Following Software engineer & founder of @RailsBridge and @LivableCode. Engineering at @BackerKit. Black Lives Matter. she/her
Nathan (check pinned ... @NathOnSecurity
8K Followers 690 Following I'm around but like fuck this website.
Hasitha Pathiraja @hpathiraja
915 Followers 5K Following CTO | I train and coach engineering leaders | Senior Engineering Leader (Ex-Shopify) | Speaker | Blogger | Educator
Rick ASP.NET Core MSF... @RickAndMSFT
7K Followers 594 Following I work for @Microsoft as a https://t.co/wroBi0uB0r Core programmer/writer. Opinions are like ternary coin flips on a unicorn.
Tomas Petricek (find ... @tomaspetricek
9K Followers 931 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Mathias Brandewinder @brandewinder
3K Followers 0 Following Figuring out things, one model at a time. F# globe-trotter. https://t.co/pvFE4OP1wh
Evelina Gabasova @evelgab
4K Followers 737 Following Principal Research Data Scientist @turinginst, member of @turinghut23, VP @ResearchSoftEng
@[email protected]... @pdxleif
932 Followers 2K Following Professional footgun artist https://t.co/iWjmi98rqC
Verónica ✨ @maria_fibonacci
15K Followers 1K Following eng @authzed prev: @planetscaledata @digitalocean @coreos | tech lead @kubernetesio SIG-Release| certified yoga teacher 🕉️
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Tracy @HackyGoLucky
4K Followers 4K Following You can plan a pretty picnic but you can't predict the weather. CFO | Director @OpenSourceOrg GM @ Restack Foundation CXO | OSS consulting She/Her
Pamela Fox @pamelafox
24K Followers 223 Following (she/her) Currently a Principal Cloud Advocate in Python at Microsoft. Happy Pride! 🏳️🌈 🏳️🌈 👩🏽❤️💋👩🏼 👨🏼❤️👨🏿
Diomidis Spinellis @CoolSWEng
7K Followers 1K Following Professor of software engineering @AUEB & Analytics @TUDelft, programmer, technology author. (Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
Laura Rogers, Microso... @WonderLaura
21K Followers 3K Following #SharePoint & #PowerApps consultant, trainer author & speaker, Microsoft MVP. Complete Microsoft 365 geek. CEO @IWMentor https://t.co/9lQC1VIfYk
Andrey Karpov @Code_Analysis
6K Followers 201 Following CMO. Co-founder of PVS-Studio. My company develops the PVS-Studio static code analyzer for C, C++, C#, Java.
Jon Kalb @_JonKalb
5K Followers 902 Following Jon is a freelance C++ trainer, who help organize C++ events (conferences and local meetings).
James McNellis @JamesMcNellis
5K Followers 25 Following C++ maven. Systems programmer. Scotch connoisseur. Classical music enthusiast. Photographer. Software security at Roblox. Ex-Visual C++ and WinDbg.
Chandler Carruth @chandlerc1024
14K Followers 233 Following Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 he / they
@ericniebler.bsky.soc... @ericniebler
12K Followers 138 Following C++ core compute libraries tech lead at @nvidia, husband, father, @isocpp member, former nomad, and sometimes artist wannabe. Views are mine, not my employer's
Herb Sutter @herbsutter
22K Followers 4 Following Author, chair of the ISO C++ standards committee, and native languages architect at Microsoft.
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Michael Snoyman @snoyberg
6K Followers 569 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
FP Complete @FPComplete
6K Followers 2K Following FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.
fsharp.org @fsharporg
7K Followers 19 Following The official twitter account of the F# Software Foundation
Functional Works @Functionalworks
7K Followers 1K Following A hub for everything Functional Programming. News, tips and open source projects to help you get your next functional job. | Part of the @Workshub family
Zen ⚡️ @zensavona
2K Followers 2K Following Wasting IPv4s on cloud toasters. Elixir, React, Vue, Ruby, electronics and other garbage. IG: https://t.co/uY2u0EoxdQ
Mili @Ing_Mili
7K Followers 3K Following CEO & Founder @TodoPDP MBA | Ing. UNAM | Privacidad, IA y ciberseguridad con enfoque ético | Promuevo la protección de datos en entornos digitales.
Shanda Hancock @SourcerShanda
2K Followers 965 Following EA is my domain hiring is my game!! [email protected] @WIGJ Ambassador https://t.co/QRXfaGkTr2…
Taofik Abdulkareem @taofikabdul
6K Followers 3K Following Tech, Agric, Entrepreneurship, Books, Health and Fitness... My interests are as diverse as life itself. @platng
𝓖. @Grace_Amandine
153 Followers 118 FollowingTrends for United States
1,01 Mn posts
324 B posts
72,4 B posts
99,3 B posts
45,8 B posts
74,2 B posts
2.636 posts
86,8 B posts
53,9 B posts
44,3 B posts
87,1 B posts
108 B posts
38,2 B posts
9.421 posts
59,1 B posts
14,6 B posts
10,8 B posts
72,5 B posts
16,4 B posts
110 B posts
You might like
Matthew Kalch
@matthewkalch
385 Followers
Danny 🇹🇹🇵�...
@danfnyc
222 Followers
Israel Junior
@israeljrs
698 Followers
spongebobdevpants
@oriyanivalmog
331 Followers
Matt Pavey
@matthewpavey
92 Followers
Frederic Bazin
@bazinfrederic
160 Followers
JIJO JOHN // TextCraf...
@jijojohnz
327 Followers
yeraycaballero
@yeraycaballero
253 Followers