Marisa "Long Middle Name Looks Cool" Kirisame @MarisaVeryMoe
https://t.co/ATOeiQRiaT marisa.moe Joined March 2016-
Tweets9K
-
Followers2K
-
Following1K
-
Likes10K
We like this post, so it is true.
This is actually really cool -- you can now debug parallel SAT solvers. Super useful. github.com/facebookexperi…
I'm slowly getting back into work with the goal of offering freelance software engineering consultation and Rust education. More news soon, but in the meantime, I have availability to take on a few clients for short-term #rustlang coaching/adoption advice/mentoring/expert ...
But memory lookups are slow~ I raise you: return 'A' + ((0123555555 >> (score / 10 * 3)) & 7) No conditionals, no branches, no memory accesses, and only 32bit math!
But memory lookups are slow~ I raise you: return 'A' + ((0123555555 >> (score / 10 * 3)) & 7) No conditionals, no branches, no memory accesses, and only 32bit math!
Today at work I learned the Binomial Options Pricings algorithm, implemented in OCaml. A beautiful intersection of Finances, Math, Computer Science (trees, dynamic programming, recursion schemes) and Functional Programming! Love my job 🧡
Slides from my "JIT: From First Principles" talk docs.google.com/presentation/d… Thanks to everyone who attended! Had a great time :)
was looking at a hackathon organizer page
question that had been bugging me on and off: build/index is the 'native language' for array adt/pm is the 'native language' for tree what about graph/data structures with backpointer?
Turns out people *are* in fact still thinking about distributed filesystems. eecg.toronto.edu/~ashvin/public…
my fish jumped out of tank and die😭😭😭
genuine question: how do people do research before google?
jobs.lever.co/convergentrese… $168,000 - $252,000 a year (US, remote) to work on Lean! > you will play a crucial role in developing and enhancing Lean, collaborating with leading mathematicians and computer scientists worldwide, and contributing to the FRO’s long-term ...
jobs.lever.co/convergentrese… $168,000 - $252,000 a year (US, remote) to work on Lean! > you will play a crucial role in developing and enhancing Lean, collaborating with leading mathematicians and computer scientists worldwide, and contributing to the FRO’s long-term ...
Who is hiring in PL/FM areas in the industry (remote)? Someone who has worked ~5 years in industrial formal verification, ~10 years teaching OCaml and other subjects in an R1 university, PL PhD, is looking for new opportunities. They are based in the US.
Just the right time for a repost .. celebrating the Turing award of Avi Wigderson ..
Just the right time for a repost .. celebrating the Turing award of Avi Wigderson ..
hey folks: lets say i have a red black tree of <100 nodes, I want to render it on screen, in python, what's the best way to do that? dot?
Huge congratulations to Avi Widgerson on his Turing Award, for his foundational work on understanding the role of randomness 🎲 in algorithms and computing! Saying it's well-deserved would be an understatement. cacm.acm.org/news/wigderson…
Today, I got to witness the sun and moon setting up a discovered attack against planet earth
WTF am I reading
Shameimaru Yay @OwoTizusa
2K Followers 1K Following 3A yoyo thrower. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
[email protected] @ddvd233
17K Followers 978 Following MS in Computer Science @Stanford, RA in @StanfordSVL supervised by @drfeifei | 艾默里归宅部荣誉部员｜日本語本当下手｜ https://t.co/OXt8ui5Jq7
LightQuantum @LightQuantumhah
7K Followers 714 Following SJTU CS ’20 | call-by-need | PLT/FP | TT 趣味 | zh-CN daily life | 生活推
yetone @yetone
46K Followers 4K Following 一个只会写屎代码的垃圾程序员，静态强类型系统的门下走狗。代数数据类型的虔诚门徒。 精神白洋淀人。他妈的，瓦拉莫夫。争取用 Rust 养活我余生（后来发现我太笨了，我不配）。（我不是严肃推主，我是个垃圾，大家不要关注我，谢谢 🙏） 爱发电: https://t.co/drng9vQkXt
Talia Ringer 🟣 �.. @TaliaRinger
25K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
Kiv @kivdaychen
3K Followers 997 Following cmu mcse '24 | broke things @M5tTrading @RisingWaveLabs @Hyperledger, @BytedanceTalk and 3 others.
nihui @nihui
33K Followers 894 Following 春雨为观，香月为邻 | 喜欢玩游戏时看风景 | 想成为优秀的程序员 | 女装卖萌推主 | 看上去是dalao实际并不是（ | 中年大叔 | qwqwqwq
Ningning Xie @xnningxie
4K Followers 314 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
DaωnLighT @Yuu_dawn
7 Followers 74 Following Algorithm, mathematics and animate. No politics. Native Chinese speaker; English ok too.Nowadays studying Japanese and English.
Jeff Sullivan @JeffSul27156104
222 Followers 2K Following
us_Rebecca_ @UsRebecca53595
1 Followers 410 Following Nice to meet you. My hobbies are reading, food and sports. I like cats😘 I like to meet new friends while traveling🎉🎉🎉
Elliott Mccalla @mccalla_elliott
14 Followers 122 Following
SamArthur @SamARThur00
85 Followers 440 Following
nlpdrseres🍥🏳️.. @nlpdrseres
495 Followers 1K Following 臨清閣에서부터 어디에 가는 少女아나키? / 你们为什么都这么可爱呀 / 家长党 MtX🍥 / ASD, ADHD 等奇奇怪怪的神经多样性 / 退役 OIer, XCPCer / 励志关注所有 MtF/X
Dan Iskandarov @0xOnit3ngu
122 Followers 1K Following
errast @errasct
1 Followers 17 Following
abd_liac @abd_liac
0 Followers 23 Following
Tessa Long @zhixuan_long
0 Followers 143 Following
0xc0d91c @codgician
90 Followers 514 Following ✨Coding magic |🦋 INFP-T | λ❄️ | 🥺She used to be mine |🪟 SDE @ M365, but opinions are my own
Arif Ahmad @ArifAhm92263086
164 Followers 5K Following All things AI, Computer Science and Circuits! Prev. @GoogleAI
Jelly Terra λ @jellyterra
9 Followers 43 Following HACKING FOR FUN! Love CS/EE and automation! | 18yr old Senior High Student https://t.co/VcNgTTn3IH
ほたる @firefly3405
9 Followers 511 Following
Mohammed Mudassir @mohd_mudassir71
196 Followers 4K Following Full Stack Developer | Java | JavaScript | Node.js | React.js | Express | Senior Software Engineer @Oracle | Ex-@dassaultSystemes
Felix @DongLi68174
1 Followers 59 Following
beka_valentine @ kole.. @defnotbeka
3K Followers 2K Following a dyke who hacks on things. she/xey/ey. [email protected] [email protected]
Chris Henson @_chenson__
636 Followers 3K Following CS PhD student @DrexelCCI. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
DeaneKuban @DeaneKuban75839
83 Followers 2K Following
Lonnie Vreen @LonnieVreen
0 Followers 6K Following
finalrain @finalrain489
2 Followers 115 Following
Narcisse @narcisseuuh
195 Followers 458 Following Formal Prooving & Reverse Enthusiast. Code Wars : https://t.co/g8F8yNoMce Root-Me : https://t.co/KNXxNhRimM
Ryan Tjoa @ryantjoa
27 Followers 95 Following
Yixin Dong @yi_xin_dong
89 Followers 255 Following Undergrad in @sjtu1896, now visiting @uwcse, @ai_sampl. Working on @ApacheTVM, Compiler/MLSys/Distributed Sys. All views are my own
Andrew Kravchuk ☮�.. @awkravchuk
112 Followers 187 Following Знаете, если честно, микроблоггер из меня так себе.
Morgan @ScreamingCheb
76 Followers 549 Following The problem with wanting to get all the facts is that by the time you have them the conversation is over. Touhou fanatic, crocheter and cheese lover.
🐱 @commeowdore
9K Followers 515 Following disabled mixed artist, please dont follow me for one thing. i change interests alot. mutuals feel free to DM for private acc
Derek from Accounting @AccountingDerek
67 Followers 424 Following My opinions reflect those of the Bastard Collective https://t.co/sqGPwwCGpX Gnome Truther Creator of Various Doodads Kill Your Local Twitch Streamer
Aya Shameimaru 射命.. @asyameimaru
492 Followers 666 Following Traditional Reporter of Fantasy. Crow Tengu. Wind God Girl. Draenei enjoyer. Hybrid Personal/RP Acct 🏳️⚧️⛩️asyameimaru @ skyapp. Banner @nupkirlidzo .
神楽一葉 @kagura_hitoha
0 Followers 4 Following
Arber_Sephirotheca @Sephirotheca
27 Followers 627 Following
Timothy Arinzol @TArinzol
80 Followers 528 Following
Heychen @gycmraz
2 Followers 203 Following
Jin Hongchao @7007jhc
3 Followers 64 Following
researcher Gpt LLM @researchGptllm
230 Followers 4K Following
linrongen @linrongen0729
0 Followers 27 Following
Shivam Rai @IMSHIVAMRAI282
180 Followers 3K Following
Yuanbin Man @yyybinman32071
84 Followers 442 Following Studying computer science,Machine Learning @BUCompSci @BU_Tweets | ex @AlibabaGroup @alibaba_cloud, ex @IBM. | Interested in Robotics & AI.
Shameimaru Yay @OwoTizusa
2K Followers 1K Following 3A yoyo thrower. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
LightQuantum @LightQuantumhah
7K Followers 714 Following SJTU CS ’20 | call-by-need | PLT/FP | TT 趣味 | zh-CN daily life | 生活推
NadeshikoManju@摇曳.. @Manjusaka_Lee
27K Followers 959 Following A Python developer at day A Java developer at night PyCon China organizer @pythonhunter__ co-founder @containerd CTL maintainer. Super fan of @yurucamp_anime
Talia Ringer 🟣 �.. @TaliaRinger
25K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
Andy Pavlo (@andy_pav.. @andy_pavlo
28K Followers 205 Following Associate Prof. of Databases @CarnegieMellon. Co-Founder @OtterTuneAI
子茄 @ant_sz
9K Followers 985 Following Software Engineer @ Tokyo. Database Enthusiast. Work for fun. {🏂，☕} #日本旅游 #吃吃喝喝 #读篇paper
nihui @nihui
33K Followers 894 Following 春雨为观，香月为邻 | 喜欢玩游戏时看风景 | 想成为优秀的程序员 | 女装卖萌推主 | 看上去是dalao实际并不是（ | 中年大叔 | qwqwqwq
Ningning Xie @xnningxie
4K Followers 314 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Loris D'Antoni @lorisdanto
6K Followers 729 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.
Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.
Eulerian Moe @EulerianMoe
3K Followers 418 Following PhD student @ 某技校; 想成为萌萌哒计算机科学家 It's okay to struggle
Justine Tunney @JustineTunney
32K Followers 269 Following 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.
type Arthur(working_o.. @CohenArthurDev
332 Followers 293 Following https://t.co/i6qIXVcuxL | @[email protected] | @gcc_rust co-lead with @the_philbert. he/him
SaltyAom @saltyAom
7K Followers 461 Following I cosplay and code. Made @elysiaJS, Mobius GraphQL, and Niku. No context, daily life, programming stuff, and my cosplay stuff
Jonathan Gorard @getjonwithit
11K Followers 17 Following Neither necessary nor sufficient. Math ∩ Physics ∩ Computation @Princeton
Jorge A. Pérez @PerezJorgeA_
339 Followers 543 Following Fundamental Computing (https://t.co/A74tQNfab9) @univgroningen Member @YAGroningen Software correctness | Concurrency, Logic, Programming Father (x2)
DBOS, Inc @DBOS_Inc
216 Followers 1 Following Born from research at MIT and Stanford, DBOS is revolutionizing the way people build cloud-native TypeScript applications - transactional serverless computing.
Benno Stein @benno_stein
119 Followers 320 Following program analysis, incremental computation, good/correct takes. past lives: static analysis at Meta London, PhD at CU Boulder
Jacob Jackson @jbfja
6K Followers 659 Following @SupermavenAI, https://t.co/9CA1cdahOp, started @Tabnine, formerly researcher @OpenAI
Dimitris Vardoulakis @dimvar
716 Followers 921 Following ML compilers @nvidia. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua. @[email protected]
leithaus @leithaus
2K Followers 4K Following Founder of RChain Cooperative. Inventor of rho-calculus. Mathematics is an art. (ze/zer)
Anders Miltner (@amil.. @AndersMiltner
531 Followers 482 Following He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.
spocino @sampocino
105 Followers 146 Following Weird math/CS person seeking employment, entirely unqualified. many such cases. "Can't talk right now, I'm doing HoTT girl shit"
The Bloop Museum @bloopmuseum
687 Followers 59 Following Bloop is an Electronic Entertainment museum focused on computers, audio, video, and games! The Maryland Technology Museum hosts us just north of Baltimore.
Dr. Mirman @mmirman
2K Followers 687 Following radically open-source AGI | CEO @anarchy_ai_inc (YC W23) 🫡⛓️➡️🚀 | Dr of Deep Logic @the_sri_lab | building in public
Liam Bright @lastpositivist
64K Followers 5K Following Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]
Bernard Kolobara ␥ @bkolobara
1K Followers 425 Following Building https://t.co/gyW7tj2h7g, @ycombinator alum, prev. @cern.
Konstantinos Kallas @KonsKallas
704 Followers 481 Following Systems + PL PhD at UPenn // on the job market // he/they
Thomas Steinke @shortstein
8K Followers 448 Following Computer scientist interested in (differential) privacy & related topics, e.g., generalization. @GoogleDeepMind Opinions are mine ©. 🇳🇿
Julian Hyde @julianhyde
4K Followers 409 Following On a mission to tame data. Author of Apache Calcite, Mondrian OLAP engine, and the Morel language. Staff engineer at Looker/Google. (Also on @mas.to.)
狸川猫井 | MoTIEd.. @CatwellTanuki
136 Followers 429 Following The world need us. | Do works that inspire the world, For the best of yourself.
Mark Holum @MarkHolum
100 Followers 290 Following
Larry S @k4eo
178 Followers 478 Following Research Computer Scientist. High performance computing, Communications, SHMEM these days. Ex Xerox PARC, Digital, Open Market, SiCortex, etc.
Jonathan Castello @Twisol
231 Followers 236 Following Ph.D student under @lindsey. I like concurrency and sustainable codebases. https://t.co/5MtoW8xi5l No, the domain is not for sale, sorry.
Amin Barekatain @BarekatainAmin
976 Followers 258 Following Quant Dev @QuadratureLDN | Prev: Research Engineer @GoogleDeepMind | FunSearch, AlphaTensor, AlphaDev, MuZero
Juncheng Yang @1a1a11a
1K Followers 2K Following Ph.D. student at CMU, ex-Twitter, ex-Cloudflare. Teach computers to be lazy like me.
Yazhuo @Yazhuo11
144 Followers 183 Following Ph.D. student at Emory University, ex-Twitter, ex-Akamai.
davidad 🎇 @davidad
13K Followers 7K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Andy Gordon @AndrewDGordon
2K Followers 985 Following Computer scientist focused on AI & HCI, esp programming languages. Chief science officer at Cogna. Ex partner at Microsoft. Honorary prof at U Edinburgh.
(s)ad Astra 🏳️�.. @astradiol
778 Followers 404 Following 𝑆𝑝𝑎𝑐𝑒 𝑎𝑛𝑑 𝐿𝑜𝑔𝑖𝑐; 𝒮ℴ𝓎𝓁ℯ𝓃𝓉 𝓌𝒾𝓃ℯ 𝓅𝒶𝒾𝓇𝒾𝓃ℊ. 𝔓𝔲𝔯𝔢 𝔪𝔞𝔱𝔥𝔰 𝔓𝔥𝔇 𝔰𝔱𝔲𝔡𝔢𝔫𝔱. 🏳️⚧️ 𝒔𝒉𝒆/𝒉𝒆𝒓 (trans girl in type theory)
Björkus 'No time_t t.. @__phantomderp
12K Followers 1K Following The C Standard Cannot Be Replaced And Will Never Be Destroyed. ➡ https://t.co/IWEB4XZpve | Avatar @KIINGKIISMET | Banner @Reckless_Moss
Stewart Brand @stewartbrand
52K Followers 466 Following Co-founder of The Long Now Foundation--which takes no sides. In this forum, as a private person, I do take sides occasionally.
Daniel Litt @littmath
37K Followers 870 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
William Rudenmalm🇺.. @w_hgm
5K Followers 634 Following Writing Rust 🦀 - ml, comp vision + llms - work https://t.co/aH07o0rjfk https://t.co/pPOeAbtxtx
Alexander Obenauer @alexobenauer
5K Followers 4K Following I'm exploring the interfaces we think with & the future of personal computing Research: https://t.co/M9wP7sC09v, Lab Notes: https://t.co/WMly5hN8sQ
Eduardo Rafael @TheEduardoRFS
8K Followers 1K Following 25yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.
isaacs @izs
23K Followers 784 Following npm inventor. he/whatever. If I blocked you, might be a mistake. https://t.co/YmDQpUlfpU https://t.co/CU4d4ebDMP https://t.co/Sij7bKy3Wk https://t.co/wOeDpSUjWb @vltpkg
Manuel Simoni @msimoni
3K Followers 2K Following geek of programming languages, operating systems, and hypermedia platforms
@welltypedwitch @Idonbelonghere @Las______ @yawaramin @BartoszMilewski We do this in CSI: Haskell, but we let you control the length of the trace. We found that a length of around 500 was enough to find 90% of the bug causing locations! Soon to be integrated into GHC proper :)
@spdegabrielle I mean... yes, absolutely. consider the frequently trending three-letter acronym that constantly purports that we are just around the corner from perfect utopia!!!1! ugh I hate it.
收到了 2 个 weak reject Not too bad for the first try I guess?
We like this post, so it is true.
Uncomfortable truth: The customer doesn’t care about your “product”. They don’t care about your “solution”. The only thing they care about is whether it is written in Haskell or not
A frustrating day. Was trying to understand how CPython supports threads. It is a core part of how the language runtime works and the way this is done is a bit convoluted. After a lot of head banging, I think I've got a handle on it and can get back to writing my article
This is actually really cool -- you can now debug parallel SAT solvers. Super useful. github.com/facebookexperi…
@TheEduardoRFS @welltypedwitch but you can also be experimented in Rust and not care about the length of that error? as you said, I'll mostly look at the red squiggly line, see a fragment of red text saying "moved here" and fix it until the squiggles are gone. I'm still glad the lengthy error is here if I need
@guidosalva @ICSE2024 not sure if this is the statistic that a community wants to brag about…
@MarisaVeryMoe @alpha_convert That's not first class patterns imo
@MarisaVeryMoe x.com/krismicinski/s…
@miniapeur tons of modern semantics in programming languages uses stuff like sheaves..
@krismicinski Start with applied topology and work from there. There's no duller mathematics than mathematics unmotivated. (IMO) www2.math.upenn.edu/~ghrist/notes.…
realizing that my career will be a blunder if I don't learn algebraic topology, i downloaded a book that encompassed all of my knowledge of mathematics by page 8.
I'm slowly getting back into work with the goal of offering freelance software engineering consultation and Rust education. More news soon, but in the meantime, I have availability to take on a few clients for short-term #rustlang coaching/adoption advice/mentoring/expert ...
But memory lookups are slow~ I raise you: return 'A' + ((0123555555 >> (score / 10 * 3)) & 7) No conditionals, no branches, no memory accesses, and only 32bit math!
ok guys how about this
Today at work I learned the Binomial Options Pricings algorithm, implemented in OCaml. A beautiful intersection of Finances, Math, Computer Science (trees, dynamic programming, recursion schemes) and Functional Programming! Love my job 🧡
@rickasaurus what i mean is that if you only took the highest life expectancy portion of the population for any country, their line in the graph in the quoted tweet would shoot up and the us would still be an outlier
It is pretty frustrating that I am basically working on an optimizing compiler for a dependently typed language (PT2 + dynamic shapes + data dependent shapes) but it is so different from the literature that I don't know if any of it is relevant to our situation
Trends for United States
You might like
