Evgenii Kotelnikov @aztek
I write programs, prove theorems, and write programs that prove theorems ekotelnikov.com Amsterdam Joined November 2007-
Tweets1K
-
Followers252
-
Following174
-
Likes544
Duck typing? You're thinking too small. With AI, we can finally take Guido van Rossum's dream to its logical conclusion
The "X is Turing-complete" Iceberg aztek.github.io/turing-complet…
What is the difference between the two urls? one has an @ and one doesn't. But also the first downloads version 15 of postgres from GitHub and the second one resolves to v15 dot zip domain which can also downloads a zip file that sure doesn't have postgres in it. You see, URLs with @ in them are split into two parts, anything before @ is user info and anything after it is the host name, however this rule is broken if what comes before @ are forward slashes. The second URL includes a character encoded like forward slash but isn't really the real forward slash, which URL parsers ignores making anything before the @ as user info and treating whatever comes after it as the real hostname. While this can happen on any domain, the zip domains makes it more likely to happen. When you click on a link that ends in zip especially if it looks like from GitHub you won't think twice about it. Read the full blog from Bobbyr below.
I'm speechless. Not peer-reviewed yet but a submitted paper. The 'presented images' were shown to a group of humans. The 'reconstructed images' were the result of an fMRI output to Stable Diffusion. In other words, #stablediffusion literally read people's minds. Source 👇
This weekend I built =GPT3(), a way to run GPT-3 prompts in Google Sheets. It's incredible how tasks that are hard or impossible to do w/ regular formulas become trivial. For example: sanitize data, write thank you cards, summarize product reviews, categorize feedback...
The mark of a great programmer is not doing exotic stuff. It is writing code that anyone can understand and see is obviously correct by inspection. Once a year you might do something extreme--and then write a giant comment explaining why it was unfortunately necessary.
An underappreciated aspect of functional programming is that it's different from other styles because it arose from a historical context where the foremost goal was to formally reason about semantics, not to accomplish programming tasks on existing hardware.
emacs on a remarkable 2, wireless edition
But what if you don't allow yourself to use comments like that? I came up with this monstrosity of a quine palindrome: gist.github.com/aztek/def775ae…
Palindrome programming is easy if you hide the "mirrored" code in the comment. Here is a palindrome Haskell program that print its own source code.
Hmm, I didn't know you could do this in #Python: >>> float(bytes([51, 46, 49, 52])) 3.14
When your code fails 997 out of 1000 tests, it will probably take a lot less time to fix than when it fails 3 out of 1000 tests.
Happy Halloween. 😱 trojansource.codes
Some real Neal Stephenson shit wired.com/story/malware-…
Theoretical computer scientists make up a computer and get mad at it
“Can you explain this gap in your resume” yeah I made it in LaTeX and I don’t know how to make the paragraph breaks smaller
No One: Academics: It’s a shame this conference is online… I would much prefer the State fund and fly me to an otherwise cost-prohibitive conference at the Hilton in NYC, where I’ll present my research for 12 mins to nobody, and then drink wine with my buds for five days.
Unusual music trivia (via math.stackexchange.com/questions/4207…).
Edward Kmett @kmett
17K Followers 814 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Alejandro Russo @poke48k
576 Followers 276 Following Computer security researcher and functional programer. Professor at Chalmers University of Technology. Founder of DPella. Executive MBA. From Argentina/Sweden
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Eugene Lazin - @lazin... @Lazin
766 Followers 616 Following VP of Undefined Behavior at https://t.co/AQ57e435tA
Kaşif Koral Koçak @KasifKoral
236 Followers 2K Following
Matt Abate @_laundry_matt_
1K Followers 786 Following I work with AI. In my free time I make puzzles. @TextQL | Robotics PhD | @pioneerdotapp
turgut çalışır @turgutalr3
21 Followers 294 Following
Mikail Özen @OzenMikail35
55 Followers 279 Following
Yadigar Erbey @ErbeyYadigar
12 Followers 37 Following
Onur Sağlam @onursaglam6135
105 Followers 1K Following
Vahap Makas @MakasVahap
0 Followers 17 Following
Turan Kaya @ewabmeab
10 Followers 67 Following
Numan Corcor @NumanCorco7474
214 Followers 2K Following
Mesut Arslan @MesutAr40453053
4 Followers 107 Following
BANU ÇELEBİ @b_ozbin
17 Followers 135 Following
Alcides Fonseca @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Ersin Denli @DenliKawa12965
4 Followers 58 Following
islam bozkurt @islambozkurt3
28 Followers 283 Following
Esra gökcan @AyeGkcan4
26 Followers 74 Following
Fabio Mogavero, Ph.D.... @fabiomog
125 Followers 1K Following A Theoretical Computer Science Passionate Associate Professor in Computer Science @[email protected] @fabiomog.bsky.social
morango @morang0_
22 Followers 665 Following
Sean McLaughlin @EnglishLabDad
88 Followers 595 Following
Esoteric.Codes @EsotericCodes
2K Followers 579 Following Computational art blog: esolangs, code poetics, more, 2011 - 2021 https://t.co/mQDG7EeFur // find me on BLUESKY: @dtemkin.bsky.app
chaxteazy @gucciglipglopps
4 Followers 59 Following Power Is Only Given To Those Who Are Willing To Lower Themselves To Pick It Up
Dave Sands @davsands
39 Followers 73 Following
Nick Papoulias @npapoylias
430 Followers 4K Following Programming Languages & Tools, AI/VR, Simulation, Reflection, Debugging. Director of Research 🚀 Bringing the Future Back !
ловец багов @prof_ilya
416 Followers 319 FollowingSam Faktorovich @lazeez
1K Followers 529 Following Chief Technical Writing Officer at https://t.co/6Hp7XQoZvW. Предался кириллице и латинице.
sk @he_is_you
25 Followers 2K Following
R ॐ A4 @rponjesf
58 Followers 513 Following It's possible that I'm full of shit, but I have good intentions
Victor Savkov @VSavkov
8 Followers 291 Following
Willard Þór Rafnsso... @willardthor
35 Followers 57 Following My research: proving that software preserves the confidentiality of data. I build tools for this task, that scale to real programming languages and platforms.
Marco Vassena @m_vassena
173 Followers 264 Following Assistant Professor @ Utrecht University Research: PL and Security Hiring PhD students
Matti Palli 🧙�... @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher
Sandro Stucki @stuckintheory
252 Followers 414 Following Computer scientist, programmer, theorist, science geek (he/him).
kokoichko @kokoichko
18 Followers 2K Following
Malcolm Mobley @MalcolmMobley3
6 Followers 153 Following
Violet McCay @violet_mccay
43 Followers 44 Following
Md. Monirul Islam @monirulkhushbu
58 Followers 1K Following
Marie Reno @emde_m
147 Followers 841 Following Urban digital traveler, at home between Madrid and Hamburg. Informatics student, Barcamper and Sprinter. Now in work my new fb homepage: Moreno&Co, all about me
maele|ë vingon @ellevingon
0 Followers 63 Following
Rúnar @runarorama
13K Followers 117 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
Lev Walkin @levwalkin
4K Followers 732 Following We have a pact: I don’t speak for my employer. My employer doesn’t speak for me. ⛷🧗♂️🏍🛩👨💻🏸
Aleksey Shipilëv @shipilev
28K Followers 581 Following In love-hate relationship with machines. Doing weird stuff, so you don't have to. Personal account, expect no perfection. Currently: everything OpenJDK at AWS.
Вастрики @vas3k
35K Followers 172 Following Погромирую. Веду бложек https://t.co/yvqJ9EwLo9. Сделал https://t.co/CiRUdkcs6J и https://t.co/wH8SjMK5H6. Mastodon: https://t.co/iZ6I35Q8qK. In English: @vas3kcom
Edward Kmett @kmett
17K Followers 814 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Hacker News Bot @newsycombinator
718K Followers 2 Following Get the latest from Hacker News! Top 5 stories on the hour, every hour. By @riklomas from @superhi_ – unofficial and not affiliated with Y Combinator
Vitaly Bragilevsky @VBragilevsky
4K Followers 422 Following Head of Rust Ecosystem at @JetBrains/@rustrover. Author of Haskell in Depth https://t.co/gLENKWVA9E…
Alejandro Russo @poke48k
576 Followers 276 Following Computer security researcher and functional programer. Professor at Chalmers University of Technology. Founder of DPella. Executive MBA. From Argentina/Sweden
Dan Luu @danluu
46K Followers 43 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Colm MacCárthaigh @colmmacc
37K Followers 2K Following VP / Distinguished Engineer at Amazon Web Services. Also: Open Source and Apache, Cryptography, Irish Music, mediocre Photography.
Denis Moskvin, ανε... @deniok
1K Followers 259 Following Аny resemblance to the views of HSE University management in this Twitter account is purely coincidental.
@levelsio @levelsio
889K Followers 3K Following 📸https://t.co/lAyoqmSBRX $100K/m 🛰https://t.co/ZHSvI2wjyW $44K/m 🎮https://t.co/jFirUbDgtZ $39K/m 🏡https://t.co/1oqUgfD6CZ $35K/m 👙https://t.co/RyXpqGuFM3 + @X $14K/m 🌍https://t.co/UXK5AFqCaQ $10K/m 💾https://t.co/T74ZwJ1F0C $0/m
Accidentally Turing C... @ACompleteTuring
181 Followers 0 Following Finding things that are unintentionally Turing complete.
Matt Abate @_laundry_matt_
1K Followers 786 Following I work with AI. In my free time I make puzzles. @TextQL | Robotics PhD | @pioneerdotapp
Tatiana @TanyaTretyak
1K Followers 419 Following Product Manager (tweets are my own). Runner. Amsterdammer since 2016. Mary Poppins of local cats. Moved countries 4 times 🇷🇺🇮🇹🇵🇱🇬🇧🇳🇱
Вениамин Ко... @v_kovrigin
2K Followers 52 Following
Fes 0xFF @usehex
11K Followers 820 Following Fes, explorer of archery, tech guy (dev:SRE) Sharing experiences opinions RUS, and randomness on Twitter, opinions are my own, ADHD confirmed
Fabio Mogavero, Ph.D.... @fabiomog
125 Followers 1K Following A Theoretical Computer Science Passionate Associate Professor in Computer Science @[email protected] @fabiomog.bsky.social
Egor Tolstoy @igrekde
10K Followers 360 Following Днем делаю инструменты для разработчиков, а ночью – @PodcastPodlodka и https://t.co/fXLicSUd7h. Англоязычный твиттер: @HeyTolstoy. Telegram: https://t.co/xYT1xhhnAu
Sean McLaughlin @EnglishLabDad
88 Followers 595 Following
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
Martin Kleppe @aemkei
10K Followers 416 Following Mapper. Reducer. https://t.co/P01fQFzxsF and https://t.co/i2eJi6XDjs creator. @Ubilabs co-founder and @GMapsPlatform GDE. Ex @HHjs and @JSUnconf organizer.
Evan Sultanik @ESultanik
1K Followers 480 Following Ph.D. computer security researcher @TrailOfBits. Editor of and frequent contributor to #pocorgtfo. My CV is a PDF that’s also an NES ROM https://t.co/lDrC4Hz6AI
Joey Dodds @n1nj4
670 Followers 302 Following Automated reasoning, cryptography, and systems at AWS This is a personal account. https://t.co/mHZnPLjx9p
Developing Leadership... @devleadership_
1K Followers 821 Following ⚡ by @athenian 🚀 The podcast for Engineering Leaders 🎙 Hosted by @eisokant and @jasoncwarner 👉 Chats about Engineering Leadership filled with mental models
Jacques Carette @jjcarett2
2K Followers 938 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Ilya Kurdyukov @ilyakurdyukov
295 Followers 46 Following Low-level programming (C/Asm), performance optimization, image processing.
Deconstruct @DeconstructConf
1K Followers 25 Following Deconstruct, a software development conference.
Jay Parlar @parlar
1K Followers 891 Following 🇨🇦 Engineer @crowdstrike. Ph.D. in Software Engineering. Formal methods advocate (TLA+, Alloy, Z3). Python/JavaScript/etc. Husband & dad. He/him
Zenseact @zenseact
335 Followers 114 Following Using AI-based techology to create the ultimate driver support, we’re fighting to end car accidents and make roads safe for everyone.
Stephen @stephenmagill
248 Followers 144 Following VP of Product Innovation at Sonatype. Founder of MuseDev. @CSDatCMU PhD. Computer science researcher.
MatLab crashes @memecrashes
336K Followers 264 Following currently working on our PhD (imaginary issues no one cares about except a really really really specific audience)
Nick Papoulias @npapoylias
430 Followers 4K Following Programming Languages & Tools, AI/VR, Simulation, Reflection, Debugging. Director of Research 🚀 Bringing the Future Back !
Mike Dodds @miike
1K Followers 618 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
jason reed @jcreed
873 Followers 308 Following theorems, types(cript), tunes, typefaces, terms-of-art, tropes, tohuvabohuo. @[email protected]
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Esoteric.Codes @EsotericCodes
2K Followers 579 Following Computational art blog: esolangs, code poetics, more, 2011 - 2021 https://t.co/mQDG7EeFur // find me on BLUESKY: @dtemkin.bsky.app
Bas @basalberts
2K Followers 527 Following
GitHub Next @GitHubNext
25K Followers 42 Following We are a team of researchers and engineers at @GitHub who investigate the future of software development.
Oege de Moor @oegerikus
7K Followers 598 Following CEO and founder of XBOW. Previously: Founder of GitHub Next, founder of GitHub Copilot, CEO and founder of Semmle (GitHub Advanced Security), prof at Oxford.
Grant Sanderson @3blue1brown
437K Followers 368 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdif
Daniel Temkin - find ... @rottytooth
2K Followers 1K Following bsky: https://t.co/9BJwFtG8hW IG: https://t.co/ELjpwI64M9 my site: https://t.co/Uo7J4s0u9b
Vladimir Keleshev @keleshev
2K Followers 917 Following Programmer, author of Compiling to Assembly from Scratch: https://t.co/7YcZc355RD
GitHub Security Lab @GHSecurityLab
27K Followers 15 Following GitHub Security Lab’s mission is to inspire and enable the community to secure the open source software we all depend on.
Amazon Science @AmazonScience
92K Followers 2K Following The latest news and research from Amazon's science community. #AmazonScience
The Olognion (parody) @theolognion
1K Followers 0 Following Exquisite technology news. Community supported via https://t.co/PbnSH6JcVM…
Ben Eater @beneater
25K Followers 78 Following Scaling education somehow. Formerly @khanacademy. Now making things at https://t.co/O7StbNzWXo, https://t.co/wxK2GObTmU, and sometimes https://t.co/hZEJcP4Lr9



































