×
You are not logged in
Bluesky Follows
efroach76.bsky.social
Follows by @efroach76.bsky.social
dzaima.bsky.social
Registered:26 Oct 2024 22:16
Follow date:17 Feb 2025 20:45
Tavian Barnes
Registered:1 Mar 2024 01:25
Follow date:9 Jan 2025 20:50
Aspiring computer scientist
Typst
Registered:8 Nov 2024 09:02
Follow date:4 Jan 2025 00:09
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Matteo Fischetti
Registered:1 Jan 2025 16:44
Follow date:2 Jan 2025 09:06
Professor of Operations Research at DEI, University of Padova.
www.dei.unipd.it/~fisch
sharonhue.bsky.social
Registered:1 Jan 2025 16:43
Follow date:2 Jan 2025 08:56
camel-cdr.bsky.social
Registered:28 Nov 2024 17:12
Follow date:29 Dec 2024 14:10
🐘 @camelcdr@tech.lgbt
xenaproject.bsky.social
Registered:11 Dec 2024 17:17
Follow date:13 Dec 2024 00:19
Tobias Achterberg
Registered:22 Nov 2024 06:42
Follow date:29 Nov 2024 19:10
Gurobi developer, former CPLEX and SCIP developer, mixed integer programming
JF Puget
Registered:13 Feb 2024 13:40
Follow date:29 Nov 2024 19:10
Competitive Machine Learning director at NVIDIA, 3x Kaggle Grandmaster CPMP, ENS ULM alumni. Kaggle profile: https://www.kaggle.com/cpmpml
Bo Jensen
Registered:15 Nov 2024 07:41
Follow date:29 Nov 2024 19:09
Works at Optibus, previous developer of high performance optimization software at CPLEX/IBM., MOSEK and SULUM. Opinions are my own.
Marco Lübbecke
Registered:6 Feb 2024 21:22
Follow date:29 Nov 2024 19:09
professor of operations research at RWTH Aachen university, I like mathematical optimization in theory and practice; #orms
Michael Trick
Registered:12 Nov 2024 13:58
Follow date:29 Nov 2024 19:09
Dean, Carnegie Mellon in Qatar. Operations Research, Sports Scheduling
Claire Xen 🏳️⚧️ 🧙🏻♀️ 💖💛💙
Registered:21 Oct 2023 17:44
Follow date:29 Nov 2024 19:08
Neurodiverse Trans Geek Girl 🧙♀️
Queer Kinky Poly Mess 🏳️🌈 🏳️⚧️
CTO @YosysHQ 😺 RISC-V, SMT 👩💻
Opinions are my Ceti eel's 😛
ACAB BLM ✊ I am Antifa 🏴🚩
Vienna, Austria 📌 she/her 🧚♀️
Armin Biere
Registered:17 Nov 2024 20:21
Follow date:29 Nov 2024 19:08
SAT Solver Hacker, Professor, University of Freiburg
geofflangdale.bsky.social
Registered:15 Nov 2024 21:09
Follow date:29 Nov 2024 19:07
Prof. Dr. Katharina Zweig
Registered:13 Oct 2023 17:16
Follow date:29 Nov 2024 19:06
KI-Professorin an der RPTU in Kaiserslautern. Leitet das Algorithm Accountability Lab und den Studiengang Sozioinformatik. Bestsellerautorin mit "Ein Algorithmus hat kein Taktgefühl" und "Die KI war's", beides im Heyne-Verlag.
InstLatX64
Registered:12 Nov 2024 12:21
Follow date:29 Nov 2024 19:06
x86/x64, SIMD, #AVX512, "Aha!" moments.
I have been writing code since 1986.
Budapest, Europe
https://instlatx64.github.io/I...
Peter Ammon
Registered:5 Aug 2023 21:39
Follow date:29 Nov 2024 19:05
Bit player
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:29 Nov 2024 19:04
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:29 Nov 2024 19:04
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
🇺🇦 Alex Polozov
Registered:11 May 2023 02:15
Follow date:29 Nov 2024 19:04
Sr. Staff Research Scientist @ Google DeepMind • previously Google X, Microsoft Research, UW • program synthesis, AI for Code and SWE • he/him • alexpolozov.com
Eric Topol
Registered:2 May 2023 18:42
Follow date:29 Nov 2024 19:03
physician-scientist, author, editor
https://www.scripps.edu/facult...
Ground Truths https://erictopol.substack.com
SUPER AGERS https://www.simonandschuster.c...
Dougall
Registered:21 Jul 2023 05:39
Follow date:29 Nov 2024 19:03
wunk
Registered:4 Jul 2023 23:14
Follow date:29 Nov 2024 19:02
Hey I'm Joey! I like to do art and lots of computer-things!
Senior Graphics/Rendering Engineer at Riot Games
👊
https://twitter.com/wunkolo
https://github.com/wunkolo
💍@strovi.art
halvarflake.bsky.social
Registered:27 Apr 2023 13:44
Follow date:29 Nov 2024 19:02
damageboy
Registered:17 Aug 2023 12:25
Follow date:29 Nov 2024 19:01
Stefan Szeider
Registered:17 Nov 2024 17:45
Follow date:29 Nov 2024 19:01
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
Kate
Registered:22 Apr 2023 03:18
Follow date:29 Nov 2024 18:59
If I unfollowed you, it's because you keep posting things without alt text
Marc B. Reynolds
Registered:19 Oct 2024 07:13
Follow date:29 Nov 2024 18:59
Sarah
Registered:3 May 2023 15:34
Follow date:29 Nov 2024 18:59
Compiler wrangler or something of the sort.
FCLC (FOSDEM!)
Registered:4 Aug 2023 20:43
Follow date:29 Nov 2024 18:58
Patrick Walton
Registered:24 Jul 2023 17:27
Follow date:29 Nov 2024 18:57
Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Paul Krugman
Registered:14 Jun 2023 04:33
Follow date:29 Nov 2024 18:54
Ex NY Times, now author of Substack Paul Krugman. Nobel laureate and, according to Donald Trump, "Deranged BUM". Also Research Professor at the City University of New York Graduate Center and senior scholar at the GC-CUNY Stone Center.
shachaf
Registered:6 Feb 2024 14:50
Follow date:29 Nov 2024 18:52
Justine Tunney
Registered:12 Nov 2024 22:02
Follow date:29 Nov 2024 18:52
I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
chipsandcheese.bsky.social
Registered:25 Nov 2024 02:55
Follow date:29 Nov 2024 18:50
Ragnar {Groot Koerkamp}
Registered:15 Sep 2023 22:44
Follow date:29 Nov 2024 18:50
Postdoc on high troughput bioinformatics @ KIT Karlsruhe;
IMO, ICPC, Xoogler, Rust, road-cycling, hiking, wild camping, photography
Igor Ulitsky
Registered:9 Sep 2023 21:00
Follow date:29 Nov 2024 18:23
Associate Professor, Weizmann Institute of Science. RNA biologist, interested in what (long) RNA molecules do and how. Father of 4.
Bluesky
Registered:12 Apr 2023 04:53
Follow date:29 Nov 2024 18:23
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app