Nicole Heinimann

Realizing it's called "firmware" cause it's between "hardware" and "software"

We clearly need a moratorium on λs in PL related logos and mascots.

buzz lightyear from toy story is sitting in a capsule in a room . Alt: the gif starts focusing on a box containing a buzz lightyear, slowing panning out to reveal a whole shelf full of the same toy

"im making a language that is basically rust but simpler"

I don't care that I spent 2 hours just now making a homework assignment a LaTeX doc that builds in GitHub Actions, I'm still gonna make fun of Nix users

Did you know your MacBook has a sensor that knows the exact angle of the screen hinge?

It’s not exposed as a public API, but I figured out a way to read it and make it sound like an old wooden door.

talking to gamedevs about PL design is always so funny because it's constant whiplash between

"the language should support incredible magic for these extremely specific idioms"
and
"the language having any magic at all is the most offensive thing in the world to me, why am i not in control of this"

Kann aus dem subgenre The Villainess empfehlen

desktop computers should be gross and beige instead of rainbow and glowing. your computer should look like a piece of soap. it should look like a telephone from a horror movie. it should look like someone smoked in front of it before it left the factory

Oh so when you use emacs as a standalone ide it has ide features?

It’s morally correct to do so

The "If those kids could read they'd be very upset" meme with emacs users instead of kids and "Monospaced fonts are less legible than variable-width fonts with serifs and rendering everything in a terminal is harmful." on the sign.

Just learn to use an IDE, you can still have cursed keybindings I promise.

Real DB WiFi has never been tried

rust isnt special. you know what else is memory safe. a beautiful forest stream

Thank you for coming to my TED talk

Kein Eurostile?
Smh…

Just learn to type on a stenographers keyboard if you actually care about typing speed and ergonomics.

But also, it’s deeply worrying if typing speed is your bottleneck.

Alternative keyboard layouts are chiropractic for people who spend too much time staring at terminal emulators.

Modified edit of an xkcd comic. Two people are talking, one person walks on screen. One says "Our field has been struggling with this problem for years" The person who walks on screen says "Struggle no More! I'm here to solve it with DEPENDENT TYPES!" holding up a computer. The next panel shows them sitting down and watching the guy on a laptop The final panel is 6 months later. The person on the laptop says "Wow, this problem is really hard." The original speaker says "You don't say."

PL research be like

Fast walking is a key to longevity, research shows | CNN Walking fast for a minimum of 15 minutes a day can reduce mortality by 20%, according to new research

i'm gonna live forever

"Emulating Type Classes in OCaml" on the OCaml discourse

"Emulating OCaml modules with typeclasses" on the haskell discourse

nature is healing

Please follow proper ASCII convention and include STX at the start and ETX EOT at the end of your posts from now on.

Key takeaway: De Broglie-Bohm wave theory is still in the race, love to see it!

inventing an even longer kind of dash in an arms race against chatgpt

46% chance of AI utopia by 2100

55% chance of genetically engineered catgirls by 2100

9% chance of catgirl dystopia

i think itd be funny to add some javascript for my website where if you leave it open for long enough it starts making the slack notification sound

ACM SIGPLAN Special Interest Group on Programming Languages The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...

(1/3) We are happy to announce the release of our PLDI'25 coverage totaling over 200 talks and presentations across PLDI, ISMM, LCTES, EGRAPHS, WQS, ARRAY, RPLS, SOAP, Sparse, and PLMW!
youtube.com/@acmsigplan

The recordings will also be available on ACM DL alongside their respective publications.

My father in law is a compiler. We were in an irreducible control flow graph and I asked him what it would cost to build it today. I will never forget his answer… ‘We can’t, we don’t know how to do it.’

A SIGTERM is issued by the operating system; my process effortlessly dodge rolls it, then immediately executes a perfect parry against the MMU. Before it can recover, a null pointer has been loaded into EBX. The kernel groans at my shit.

Fine, wir machen ein Yaoi Tatort Anime Spin-Off.

3) Markus Lanz wird Kommissar bei Polizeiruf 110 (spiritual Ossi)