Sign in

Hindley–Milner Panda

@hmperson1.bsky.social
17 followers 23 following 46 posts

certified computer booper

PostsRepliesMedia
Hindley–Milner Panda @hmperson1.bsky.social · 11/10/2026
you wouldn't last an hour in the asylum where they raised me arxiv.org/html/1907.11...
arxiv.org
An Introduction to Logical RelationsProving Program Properties Using Logical Relations
000
Hindley–Milner Panda @hmperson1.bsky.social · 06/10/2026
bsky.app/profile/astr...
1110
Hindley–Milner Panda @hmperson1.bsky.social · 05/10/2026
have you heard of Focus Friend? youtu.be/q0JtK2TNXwA
youtu.be
The Problem with My Brother's Hit New App
YouTube video by vlogbrothers
020
Hindley–Milner Panda @hmperson1.bsky.social · 05/10/2026
bsky.app/profile/mend...
1152
Hindley–Milner Panda @hmperson1.bsky.social · 30/09/2026
fgiesen.wordpress.com/2016/08/25/h...
fgiesen.wordpress.com
How many x86 instructions are there?
It’s surprisingly hard to give a good answer (the question was raised in this article). It depends on how you count, and the details are interesting (to me anyway). To not leave you hanging: …
011
Hindley–Milner Panda @hmperson1.bsky.social · 29/09/2026
bsky.app/profile/dome...
010
Hindley–Milner Panda @hmperson1.bsky.social · 29/09/2026
like this?
020
Hindley–Milner Panda @hmperson1.bsky.social · 25/09/2026
do we know what the copyright situation with this stuff is?
110
Hindley–Milner Panda @hmperson1.bsky.social · 24/09/2026
a note on k-ID's AgeKey: gist.github.com/HMPerson1/f2...
gist.github.com
How private is AgeKey, really?
How private is AgeKey, really? GitHub Gist: instantly share code, notes, and snippets.
000
Hindley–Milner Panda @hmperson1.bsky.social · 22/09/2026
bsky.app/profile/cee....
120
Hindley–Milner Panda @hmperson1.bsky.social · 20/09/2026
bsky.app/profile/pbsn...
000
Reposted by Hindley–Milner Panda
Daily Wah (red pandas) @dailywah.bsky.social · 19/09/2026
TODAY IS A VERY SPECIAL DAY ITS INTERNATIONAL RED PANDA DAY! Have a Daily red panda getting booped :3
4287128
Hindley–Milner Panda @hmperson1.bsky.social · 20/09/2026
bsky.app/profile/matt...
041
Hindley–Milner Panda @hmperson1.bsky.social · 19/09/2026
making the digitizations publicly available would probably be illegal, unfortunately bsky.app/profile/lizt...
130
Hindley–Milner Panda @hmperson1.bsky.social · 18/09/2026
there was this from 2001 arxiv.org/abs/cond-mat...
arxiv.org
Language Trees and Zipping
In this letter we present a very general method to extract information from a generic string of characters, e.g. a text, a DNA sequence or a time series. Based on data-compression techniques, its key ...
180
Hindley–Milner Panda @hmperson1.bsky.social · 18/09/2026
there are some arguments against that, but honestly I'm not really convinced either way 80000hours.org/articles/fut...
80000hours.org
Longtermism: a call to protect future generations
The course of the future is uncertain. But humanity’s choices now can shape how events unfold.
010
Hindley–Milner Panda @hmperson1.bsky.social · 18/09/2026
some of the authoritarian developments are about EA bsky.app/profile/isol...
000
Hindley–Milner Panda @hmperson1.bsky.social · 17/09/2026
can you elaborate on what you mean by "a pretty conservative personal lifestyle"
240
Hindley–Milner Panda @hmperson1.bsky.social · 14/09/2026
relevant youtu.be/_BrFKp-U8GI
youtu.be
Exploration & Epiphany | Guest video by Paul Dancstep
YouTube video by 3Blue1Brown
010
Hindley–Milner Panda @hmperson1.bsky.social · 14/09/2026
this is the trolley problem. it's literally just the trolley problem. they're saying that flipping the lever to save more people is Bad, Actually. "consequences? of non-actions? irrelevant. you acted and that was murder." what are we doing here.
3192
Hindley–Milner Panda @hmperson1.bsky.social · 14/09/2026
the list on the website is: Meta DigitalOcean 1Password 37signals Anthropic Fireworks Four Technologies OpenAI OpenRouter omarchy.org/patrons/
030
Hindley–Milner Panda @hmperson1.bsky.social · 14/09/2026
I don't see Cloudflare on that list
100
Hindley–Milner Panda @hmperson1.bsky.social · 14/09/2026
haven't you heard??? acknowledging that $65k/yr is top 1% of global incomes is a project of Effective Altruism a.k.a the AI doomers!!!11! you're basically doing free advertising for AI companies!!‽! www.givingwhatwecan.org/what-is-effe...
givingwhatwecan.org
What is effective altruism?
Effective Altruism is a research field, philosophy, and social movement that used evidence and reason to find out how to do the most good, and then does it.
050
Hindley–Milner Panda @hmperson1.bsky.social · 11/09/2026
it's intentional youtu.be/LvmwGwnJf7c
youtu.be
Why the Right Hates Atheists but Loves Elon Musk
YouTube video by Genetically Modified Skeptic
000
Hindley–Milner Panda @hmperson1.bsky.social · 05/09/2026
the resolution to "what if you lose your phone" is just email-based password reset; same as if you forget your password
110
Hindley–Milner Panda @hmperson1.bsky.social · 05/09/2026
there was this talkie-lm.com/introducing-...
talkie-lm.com
Introducing talkie: a 13B vintage language model from 1930
020
Hindley–Milner Panda @hmperson1.bsky.social · 04/09/2026
would you like more?
best known arrangement of 29 squares inside a 5.934x larger square
230
Hindley–Milner Panda @hmperson1.bsky.social · 04/09/2026
relevant bsky.app/profile/jdp....
000
Hindley–Milner Panda @hmperson1.bsky.social · 04/09/2026
en.wikipedia.org/wiki/G%C3%B6...
en.wikipedia.org
Gödel's incompleteness theorems - Wikipedia
010
Hindley–Milner Panda @hmperson1.bsky.social · 03/09/2026
bsky.app/profile/isol...
000
Hindley–Milner Panda @hmperson1.bsky.social · 03/09/2026
Cyprus en.wikipedia.org/wiki/Muse_Gr...
en.wikipedia.org
Muse Group - Wikipedia
110
Hindley–Milner Panda @hmperson1.bsky.social · 03/09/2026
I think it's more that audacity now has salaried swes funded by the revenue from ultimate guitar dot com
080
Hindley–Milner Panda @hmperson1.bsky.social · 02/09/2026
it's US and Canada drivers licenses (though that makes only a minor difference)
040
Hindley–Milner Panda @hmperson1.bsky.social · 28/08/2026
this came to me in a dream
040
Hindley–Milner Panda @hmperson1.bsky.social · 28/08/2026
"really any group of people can be called a cult if you think about it" is apparently the consensus opinion now youtu.be/6Pn2enNmtFI
youtu.be
What's the Difference Between Cults and Religion?: Crash Course Religions #3
YouTube video by CrashCourse
020
Hindley–Milner Panda @hmperson1.bsky.social · 26/08/2026
sky no
000
Hindley–Milner Panda @hmperson1.bsky.social · 23/08/2026
do you think andy would be a better science communicator if he lied to his audience but avoided jargon, was relatable, stuck to three points, and had an elevator pitch?
170
Hindley–Milner Panda @hmperson1.bsky.social · 20/08/2026
THE WORLD HAS NO RIGHT TO MY HEART 💔
000
Hindley–Milner Panda @hmperson1.bsky.social · 15/08/2026
bsky.app/profile/sky....
020
Hindley–Milner Panda @hmperson1.bsky.social · 14/08/2026
wait isn't threads on ActivityPub?
210
Hindley–Milner Panda @hmperson1.bsky.social · 26/07/2026
there is some evidence suggesting that the area was already so polluted that the addition of the illegal generators had minimal effects on air quality theconversation.com/air-quality-...
theconversation.com
Air quality analysis reveals minimal changes after xAI data center opens in pollution-burdened Memphis neighborhood
Analysis of the air quality data available for southwest Memphis finds that pollution has long been quite bad, but the turbines powering an xAI data center have not made it much worse.
110
Hindley–Milner Panda @hmperson1.bsky.social · 25/07/2026
the duality of claude
010
Hindley–Milner Panda @hmperson1.bsky.social · 24/07/2026
...okay but has the "Copilot Gaming Experience" actually gotten better since?
100
Hindley–Milner Panda @hmperson1.bsky.social · 17/06/2026
there was this: cloud.google.com/blog/product...
cloud.google.com
Announcing the 2024 DORA report | Google Cloud Blog
Key takeaways from the 2024 Google Cloud DORA report that focused on the last decade of DORA, AI, platform engineering and developer experience.
000
Hindley–Milner Panda @hmperson1.bsky.social · 04/06/2026
in an RGB or CMYK color space, blue and yellow are opposites by construction
010
Hindley–Milner Panda @hmperson1.bsky.social · 04/06/2026
"blue" is vague enough that mixing "blue" and yellow pigments (or lights) can be anywhere from green to black (or white) en.wikipedia.org/wiki/CIE_193...
en.wikipedia.org
CIE 1931 color space - Wikipedia
110
Reposted by Hindley–Milner Panda
Cawtious Imber @cautiousimber.bsky.social · 09/02/2026
Concerned crow with text "I care about you so dont explode or anything"
81701676
Hindley–Milner Panda @hmperson1.bsky.social · 01/09/2025
any chance WA could do this too? bsky.app/profile/luck...
010