Hindley–Milner Panda @hmperson1.bsky.social · 11/10/2026you wouldn't last an hour in the asylum where they raised me arxiv.org/html/1907.11...arxiv.orgAn Introduction to Logical RelationsProving Program Properties Using Logical Relations 000
Hindley–Milner Panda @hmperson1.bsky.social · 05/10/2026have you heard of Focus Friend? youtu.be/q0JtK2TNXwAyoutu.beThe Problem with My Brother's Hit New AppYouTube video by vlogbrothers 020
Hindley–Milner Panda @hmperson1.bsky.social · 30/09/2026fgiesen.wordpress.com/2016/08/25/h...fgiesen.wordpress.comHow 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 · 25/09/2026do we know what the copyright situation with this stuff is? 110
Hindley–Milner Panda @hmperson1.bsky.social · 24/09/2026a note on k-ID's AgeKey: gist.github.com/HMPerson1/f2...gist.github.comHow private is AgeKey, really?How private is AgeKey, really? GitHub Gist: instantly share code, notes, and snippets. 000
Reposted by Hindley–Milner PandaDaily Wah (red pandas) @dailywah.bsky.social · 19/09/2026TODAY 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 · 19/09/2026making the digitizations publicly available would probably be illegal, unfortunately bsky.app/profile/lizt... 130
Hindley–Milner Panda @hmperson1.bsky.social · 18/09/2026there was this from 2001 arxiv.org/abs/cond-mat...arxiv.orgLanguage Trees and ZippingIn 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/2026there are some arguments against that, but honestly I'm not really convinced either way 80000hours.org/articles/fut...80000hours.orgLongtermism: a call to protect future generationsThe 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/2026some of the authoritarian developments are about EA bsky.app/profile/isol... 000
Hindley–Milner Panda @hmperson1.bsky.social · 17/09/2026can you elaborate on what you mean by "a pretty conservative personal lifestyle" 240
Hindley–Milner Panda @hmperson1.bsky.social · 14/09/2026relevant youtu.be/_BrFKp-U8GIyoutu.beExploration & Epiphany | Guest video by Paul DancstepYouTube video by 3Blue1Brown 010
Hindley–Milner Panda @hmperson1.bsky.social · 14/09/2026this 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/2026the 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/2026haven'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.orgWhat 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/2026it's intentional youtu.be/LvmwGwnJf7cyoutu.beWhy the Right Hates Atheists but Loves Elon MuskYouTube video by Genetically Modified Skeptic 000
Hindley–Milner Panda @hmperson1.bsky.social · 05/09/2026the 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/2026there was this talkie-lm.com/introducing-...talkie-lm.comIntroducing talkie: a 13B vintage language model from 1930 020
Hindley–Milner Panda @hmperson1.bsky.social · 04/09/2026en.wikipedia.org/wiki/G%C3%B6...en.wikipedia.orgGödel's incompleteness theorems - Wikipedia 010
Hindley–Milner Panda @hmperson1.bsky.social · 03/09/2026Cyprus en.wikipedia.org/wiki/Muse_Gr...en.wikipedia.orgMuse Group - Wikipedia 110
Hindley–Milner Panda @hmperson1.bsky.social · 03/09/2026I 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/2026it's US and Canada drivers licenses (though that makes only a minor difference) 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/6Pn2enNmtFIyoutu.beWhat's the Difference Between Cults and Religion?: Crash Course Religions #3YouTube video by CrashCourse 020
Hindley–Milner Panda @hmperson1.bsky.social · 23/08/2026do 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 · 26/07/2026there 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.comAir quality analysis reveals minimal changes after xAI data center opens in pollution-burdened Memphis neighborhoodAnalysis 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 · 24/07/2026...okay but has the "Copilot Gaming Experience" actually gotten better since? 100
Hindley–Milner Panda @hmperson1.bsky.social · 17/06/2026there was this: cloud.google.com/blog/product...cloud.google.comAnnouncing the 2024 DORA report | Google Cloud BlogKey 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/2026in 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.orgCIE 1931 color space - Wikipedia 110
Hindley–Milner Panda @hmperson1.bsky.social · 01/09/2025any chance WA could do this too? bsky.app/profile/luck... 010