you know I keep that thang on me (bootable linux usb drive)
31.01.2025 10:30 — 👍 2 🔁 0 💬 0 📌 0
I remember quite well my lambda calculus professor saying "We are lucky, in a sense, that this minus function exists"
09.01.2025 15:25 — 👍 4 🔁 0 💬 0 📌 0
I was getting nauseous from the first game and found that increasing the FOV to ~100 helped
19.12.2024 15:05 — 👍 1 🔁 0 💬 0 📌 0
Any specific reasons?
17.12.2024 22:16 — 👍 1 🔁 0 💬 1 📌 0
A google search for "sigma type", the first result being a wikihow article explaining what a Sigma Male is.
Not exactly what I was looking for
26.11.2024 12:44 — 👍 4 🔁 0 💬 0 📌 0
Finishing a proof feels so good for the PhD student
19.11.2024 11:04 — 👍 5 🔁 1 💬 2 📌 0
Was able to immediately find about half the accounts I was following on the other website, not bad!
18.11.2024 23:26 — 👍 3 🔁 0 💬 0 📌 0
PL/Systems PhD student at Cornell
ngernest.github.io
PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
artisanal shitposting
Original channel:
https://www.youtube.com/@JCFoster
prototypes @wikipedia.org
prev @tldraw.com
prev @inkandswitch.com
London
todepond.com
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
Professional computer scientist, unprofessional mathematician
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️
https://linktr.ee/gabriella439
💖 @ember.pet
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
