Marisa "Long Middle Name Looks Cool" Kirisame
@MarisaVeryMoe
Followers
3K
Following
13K
Media
649
Statuses
10K
RT @satnam6502: Today was my last day at Groq. I'm looking for a new job, with a preference for larger companies that require in office att….
0
46
0
RT @PLDI: Some more exciting news! This year we had not one, but two(!) dissertations receiving the SIGPLAN John C. Reynolds Doctoral Disse….
0
7
0
RT @smarr: What's this? An abstract syntax tree? A bytecode? What does that even mean anymore?. Next Wednesday, @OctaveLarose is going to e….
0
11
0
RT @SandMouth: [New Blog Post] Telescopes Are Tries: A Dependent Type Shellac on SQLite #database #logic
0
2
0
RT @mboehme_: 100% of ACM publications available for free from 1st January 2026! 🎉 Landmark achievement!.
0
6
0
RT @tritlo: It’s a officially a new national record🇮🇸🇮🇸🇮🇸!! . 140kg at 57.2 bodyweight (<59kg), beating the previous record by 15kg 😄. Can….
0
3
0
RT @shwestrick: taking a go at oxcaml today. first attempt: let's try a parallel reduction. Idea is to compute the "sum" of [f(lo), . , f(….
0
7
0
RT @NC_Renic: I am once again pitching my romantic comedy:. - two academics start dating.- discover they are each other's terrible reviewer….
0
741
0
RT @mattoflambda: I have created a concurrent trie datatype in Haskell, which you may find interesting or useful. Posting here to get some….
0
4
0
RT @SandMouth: Hear ye, hear ye! Come 16:20 Korean time tomorrow for a talk "Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-….
0
4
0
RT @pavpanchekha: @vivekgalatage My favorite use case: CSS selectors (. When looking for elements matching a select….
0
3
0
RT @ellisk_kellis: New paper: World models + Program synthesis by @topwasu.1. World modeling on-the-fly by synthesizing programs w/ 4000+ l….
0
104
0
RT @awsTO: Here's a paper describing quantum computing using standard programming constructs, w/o linear algebra! . Goal: demystify quantu….
0
55
0
RT @HSVSphere: Great comment on how Rust's slow compilation speed is mostly a result of Cargo being the way it is and how "crates" are just….
0
18
0
RT @yotamfe: Had a great time talking about the astonishments I've experienced while thinking hard on invariant inference and finding mysel….
0
2
0
RT @JeffDean: Sad to hear about Bill Atkinson's passing. When I was a kid and we got our first original 128k Mac, I absorbed the programmi….
0
41
0
RT @dynlangsym: This year's DLS Most Notable Paper award goes to:. Compiling for Multi-language Task Migration.by Marc Feeley. This paper i….
0
2
0
RT @nicolas_hery: As a team's senior programmer, I often found myself advising others to avoid premature abstraction. Start with the simple….
0
11
0
