yasuo_ozu@Rust is special, SAT solvers are great @yasuo_ozu_en
{Nagoya, Tokyo}, Japan Physics / Arch Linux / Rust / SaTYsFi / FreeBSD / Compilers / SAT Solver / theorem prover / A Capella 日本語→ @yasuo_ozu Joined November 2020-
Tweets4
-
Followers13
-
Following50
-
Likes3
yasuo_ozu@Rust is special, SAT solvers are great retweeted
＼#20万円あげちゃうebook／ フォロー＆RTで20万円相当の PayPayボーナスプレゼント！😍🎁✨ 応募方法 ①@ebookjapan をフォロー ②この投稿をRT(3/6まで) 1等👑20万円相当のPayPayボーナス×1名 2等👑千円相当のPayPayボーナス×50名 3/28まで超PayPay祭り実施中 詳細🔻
782
41K
9K
0
163
I think, the money is not really printed, because Money Stock is just an amount of bank balance in FRB.
Rust shi-ka katan #rustlang
yasuo_ozu@Rust is special, SAT solvers are great retweeted
I made a command line tool for personal finance. How *pretty* the plotting is 🤯🥺🤢🥰 i must say working with the @rustlang compiler is like trying to do something with your thoughtful friend who is being a bit too stubborn🤖github.com/makotodejima/fi #rustlang @ThisWeekInRust
たつさん/チュ�... @Eindrachen
4K Followers 2K Following チューリングでエンジニア採用にフルコミットしています/最近は102kgから85kgへダイエットすべく減量がんばってます/夢は子どもたちが大きくなった時に、世界で戦い勝つ日本企業を見せることです。
うま @uma_muha_ta
138 Followers 1K Following
dgmwgwp @mgmdpmwwww
0 Followers 3K Following
ごまふあざらし... @MathSorcerer
3K Followers 6K Following ごまちゃんをもふもふするアカウント。 どこでもマイノリティ。 #GomahuArt ←Handwritten Goma images #ImportAzarashiAsAI ← AI generated images #AzarashiLivesEverywhere
Ming Gu @MingGu262
3 Followers 206 Following
ロロ @alt9573
48 Followers 3K Following
mimi @mimi_folha
10 Followers 2K Following せいしんねんれいは５さいです。 むずかしいことは、おにいさんか、おねえさんか、おにいさんのようなおねえさんか、おねえさんのようなおにいさんにきいてくださいwww。 意識高い系とか言っている人が超苦手ですwww。
Yari @theRasterizer
245 Followers 2K Following programming • voice acting • pixel art • i ❤️ free software
ぷり @puripuri2100
2K Followers 2K Following 好き：(SATySFi / LaTeX(TeX) / OCaml / Rust / ペンシルパズル / 3ディアと7ボール / カメラ)・歴：(15代目JGK部長 / 8代目パズ研部長 / 76赤庶務C / ITF. coins22 AC / AC部屋 / WORD編集部 / KDE)
yasuo_ozu 押すと�... @yasuo_ozu
3K Followers 3K Following QunaSys 早稲田/名古屋大 理論物理学/NixOS/Rust/SATySFi/FreeBSD/言語処理系/精度保証/OS自作/型システム/定理証明/新井朝雄/HPC/人狼 English → @yasuo_ozu_en https://t.co/iwd1vcLRht….
payload @payloadbay
96 Followers 425 Following
Rudy Richter @rudyrichter
830 Followers 230 Following Everything Evil. Previous: @GrowlMac and @GrowlMailMac, @netnewswire, @kaleidoscopeapp, @blackpixel, @ambrosiasw, @rogueamoeba, @nasaesto
adamshirey @adamshirey
16 Followers 112 Following Husband, father, data geek, occasional mountaineer, curious about everything, Microsoftie. I partner w/data scientists. J'apprends le français pour le plaisir.
Jeremy Chone @jeremychone
2K Followers 286 Following #ProductionCoding - Rust - Cloud App - AI Production Coding - https://t.co/ZXus8BasLM - https://t.co/mPdBE0971q - https://t.co/AdrnFT2AXA
Saeed Tabrizi 🇮�... @SaeedTabrizi01
442 Followers 2K Following 😀😊😍 Take a look to the sky just before you die .
Onat Yiğit Mercan @onatm
4K Followers 702 Following Platform Dev @StackOverflow. Loves 🦀 #rustlang. Previously @TrueLayer @Redgate @hepsiburada. Opinions my own. Mastodon @[email protected] Tweets in En/TR
Yari @theRasterizer
245 Followers 2K Following programming • voice acting • pixel art • i ❤️ free software
[email protected] @nbaksalyar
1K Followers 2K Following Rust, systems engineering, *nix | Creating @LowLevelAcademy and Headcrab https://t.co/WgG8znekVA | He/him
ぷり @puripuri2100
2K Followers 2K Following 好き：(SATySFi / LaTeX(TeX) / OCaml / Rust / ペンシルパズル / 3ディアと7ボール / カメラ)・歴：(15代目JGK部長 / 8代目パズ研部長 / 76赤庶務C / ITF. coins22 AC / AC部屋 / WORD編集部 / KDE)
Adamu @_adamu_
305 Followers 238 Following
Code Blacksmith @CodeBlacksmith
30 Followers 11 Following
tivrfoa @tivrfoa
206 Followers 273 Following
Mounir Lamouri @mounirlamouri
823 Followers 36 Following Engineering Manager @Meta @RealityLabs. Previously @Google, @Mozilla, and @Ubisoft.
@aturon.bsky.social @aaron_turon
4K Followers 1K Following Moving to https://t.co/P5wWeIrvf4 @[email protected]
Tim McNamara @timClicks
24K Followers 3K Following On the planet to build a better planet. Software person, kind of into Rust and creative coding. Author of Rust in Action (https://t.co/qgWenxBkeP).
Luca Palmieri @algo_luca
16K Followers 2K Following Rust / backend dev / org design / climate. Baking on the good days. Author of https://t.co/WDxzUHAAe6. Building https://t.co/YMfw1oaHIi, a new Rust web framework.
The Porgalorian @ThePorgMan
56 Followers 212 Following 0 days since last was an asshole on the internet
BillBarnhill @BillBarnhill
2K Followers 4K Following @BillBarnhill on https://t.co/bCq2pElf1x @BillBarnhill on https://t.co/hJufOjOdKO 25+ year sw engineer with a focus on distributed systems, messaging, blue check
Manish @ManishEarth
14K Followers 593 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
Sathish @SathishCodes
2K Followers 3K Following Lead Software Engineer @ Presidio | Gryffindor ⌁ ☍ ❾¾ | Carpe Diem | Tweets are personal | CSK 🦁
bsky: @nasso.dev @nasso4991
638 Followers 15 Following MOVED TO BLUESKY 👉 https://t.co/R40rXCjUfh NOT ACCEPTING NEW FOLLOWERS HERE! GO TO BLUESKY INSTEAD! icon by @fosbat
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Stephan @Extrawurst
2K Followers 2K Following Founder and tech tinkerer, Started Rustunit 🦀, GitUI and https://t.co/2TtLeFPi7B, this-week-in-rust co-author, #indie #gamedev 🎮, #rust 🥑
llogiq @llogiq
3K Followers 885 Following #RustLang 🦀 bard. Father of 3+cat. Devourer of waffles. Probably knows the German word for it, whatever it is. Sometimes randomly grabs a Ukulele&sings. he/him
marcus willock @Crazcalm
434 Followers 455 Following A software engineer trying to make the world a better place one line of code at a time
TerminusDB @TerminusDB
1K Followers 2K Following Open-source document graph database & headless CMS. Immutable. Git for data. Built for devs. Discord: https://t.co/6ERA7UMB6A GitHub: https://t.co/PCJP9o25bz
Thomas Cambau @ilnmtlbnm
79 Followers 469 Following Remote first. Dabbles in AI. Dabbles in #rustlang.
Pramode C.E @pcein@fo... @pramode_ce
2K Followers 767 Following GNU/Linux and Free Software enthusiast.
Christopher Hunt @huntchr
2K Followers 175 Following Co-founder Titan Class, getting data out of hard places. Co-founder Cuprous, unified products furthering the energy transition to renewables
Louis Dureuil @lodurel
260 Followers 198 Following Senior Engineer @meilisearch. #rustlang, #cplusplus, #python. Opinions and dogs are my own. https://t.co/XMm66ubUDc @[email protected]
François Mockers @FrancoisMockers
177 Followers 108 Following le rouge après le noir @[email protected]
Joe Clay @17cupsofcoffee
320 Followers 304 Following not here anymore, follow me on the less bad websites: https://t.co/SGWiQ5ugZZ https://t.co/CIzTNm2eK2
Makoto Dejima @mdejima
178 Followers 1K Following Software engineer. Graphic designer. Making T-shirts while democratising legal expert :wq
Gus Delgadillo @westerngazoo
35 Followers 422 Following Tech & weights. Programmer, c99 Kid, Rust enthusiast. IoT FW/SW Intergalactic Cosmic ninja programmer :sarcasm:
Mauro Gentile - GENTS @GENTS83
401 Followers 639 Following Tech Director @UbisoftMilan 🇮🇹 #MarioRabbids Love code, guitar and videogames - He/him - 🦀 - My opinions are my own - Instagram: gentsinsta83
Ossi Herrala @oherrala
388 Followers 430 Following Monad Nomad, Co-Founder and R&D lead at @SensorFu, OH8HUB. Mastodon: https://t.co/prLJA1bFel Ham radio: https://t.co/VI1hckLkBm
🇧🇷 nonunknown @nonunknown3
554 Followers 243 Following Game Developer (kind of...) Fiverr jobs (commissions open): https://t.co/lQyy79gBR0
aclysma @aclysma
121 Followers 87 Following
Thomas Cross @chmoder
176 Followers 366 Following Faithful. Husband. Father. Bitcoiner. Polyglot. Software/Platform Engineer.
Serhii Potapov @greyblake
7K Followers 353 Following Web dev (Rust/TS) and father. Building https://t.co/797K6EoE45 as my side project. Hoho.
Rust Language @rustlang
153K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
yasuo_ozu 押すと�... @yasuo_ozu
3K Followers 3K Following QunaSys 早稲田/名古屋大 理論物理学/NixOS/Rust/SATySFi/FreeBSD/言語処理系/精度保証/OS自作/型システム/定理証明/新井朝雄/HPC/人狼 English → @yasuo_ozu_en https://t.co/iwd1vcLRht….Trends for United States
2.146 posts
464 B posts
143 B posts
1.507 posts
946 B posts
7.775 posts
111 B posts
1.296 posts
286 B posts
7.149 posts
139 B posts
13,9 B posts
1.914 posts
107 B posts
20,8 B posts
23 B posts
You might like
miiyu
@miiyurick
286 Followers
ぐらぴあん
@piano_san
252 Followers
しらそら
@silasolla
880 Followers
とすお
@forest1040
246 Followers
keno
@keno_ss
1K Followers
高の者
@Takahash1_JAPAN
177 Followers
蝉
@_se_mi__
94 Followers
gobi
@gobi_503
393 Followers
さかき
@KsakakiFunassi
146 Followers
てくてく
@miniveloneko
717 Followers
Conao3
@conao_3
830 Followers
みゅ
@Nanamii_i
436 Followers
むううみん(水�...
@muuumin20
223 Followers
木曾可愛＠第4�...
@satsuki_fumi
200 Followers
杏仁豆腐
@Yamam0r1Kinoko
277 Followers