Jesse Cooke
@jc00ke.com
CTO at @ratiopbc.com. We built OpenResearch's Universal Basic Income platform, a bunch of apps in #ElixirLang during the pandemic, and some other fun stuff. Climber, dad, cyclist, coffee and math lover, not necessarily in that order.
Even though I'm a big fan of Postgres, its lack of loose index scan is frustrating.. The workaround is a recursive query that effectively acts as a loop, which is even more bizarre. Check out this new blog post about the performance issue with Postgres SELECT DISTINCT: www.dbos.dev/blog/postgre...
Postgres SELECT DISTINCT Does Not Scale | DBOS
Postgres SELECT DISTINCT performs surprisingly poorly. We explain why and how we mitigated it.
dbos.dev
I wonder how Erdős would feel about this. Would he care that a human didn't write the proof? Would he think any of these machine-generated proofs are from "The Book?"
Quanta Magazine@quantamagazine.org · 4w agoThe increasing capability of AI has made it easier for people with less mathematical training to solve puzzles. But has AI made those puzzles less interesting to people who have devoted a lifetime to understanding them? www.quantamagazine.org/why-the-lege...
@durumcrustulum.com have you heard of keri.one? It's the backbone of sedi.utah.gov and we're seeing it as a requirement in new systems.
Keri.one | The First Truly Decentralized Identity System
keri.one
A new proof deals an answer: www.quantamagazine.org/seven-perfec...
Anybody have a 5th or 6th gen iPod they'd be willing to sell to a dad to give to his daughter for her 10th birthday? 😀
Not sure if @felimwhiteley.bsky.social has mentioned this on LNL, but if not, I suspect he's gonna love it.
Orhun Parmaksız@orhun.dev · 3mo agoHow many planes are flying above you right now? 👀 🛩️ ads-b-tui — A real-time aircraft tracking dashboard for the terminal 💯 Live flight data, radar view, routes, country flags & more 🦀 Written in Rust & built with @ratatui.rs ⭐ GitHub: github.com/j4v3l/ADS-B_... #rustlang #ratatui #tui
In my continuing struggle to find a way to use LLMs while staying firmly engaged in the design of the code, here's a blog post about using LLMs like dynamic programming books. It suggests code, you type it out jola.dev/posts/treati...
Treating LLMs as programming books | jola.dev
Thoughts on an approach for using LLMs effectively for coding without losing engagement and cognitive effort.
jola.dev
This is an excellent suggestion (and something we've been doing for any deep changes). Typing out changes loads context into your mind in a way you'll never get from reading in a code review.
johanna 🇸🇪🇬🇧🇲🇽🏳️🌈@jola.dev · 3mo agoIn my continuing struggle to find a way to use LLMs while staying firmly engaged in the design of the code, here's a blog post about using LLMs like dynamic programming books. It suggests code, you type it out jola.dev/posts/treati...
📭 New Blog Post 📬 I wrote a tiny piece about how to store your SSH keys more securely. In times of distribution attacks like Shai-Hulud, it's easy to install malware on your computer that extracts your private SSH keys. Don't let them. peterullrich.com/store-ssh-ke...
Store your SSH keys in a Password Manager
Your SSH keys are sitting in ~/.ssh as plain text exactly where malware looks first. Move them to a password manager instead.
peterullrich.com
Oooooooh look at that! 😍 This update to @firefox.com's PDF reader is going to be super handy. No more dropping to the CLI or reading Finder help docs.
I can hear a calculus tutor outside of my office at the coffee shop and I so want to join.
The mathematician and podcaster Demian Goos has been obsessed with the story of set theory’s birth for years. Last March, he found a letter from 1873 that was thought to have been destroyed during the Second World War. It rewrites the story he thought he knew. www.quantamagazine.org/the-man-who-...
Certainly a lot of handwaving, but it's easy to imagine the coding model improvement trend line colliding with the run it on an ASIC trend line and really changing what software is.
@braintelligence.bsky.social · 6mo ago16000 tokens per second on a decent model. This type of speed is the future. Opens up an entirely new class of user experiences
My coauthor Dave Perkinson made this diagram to explain the binomial theorem and I think it's the perfect distillation. Here's our draft book, Discrete Structures, if you want more: kyleormsby.github.io/files/113spr... 🧮
Display an album that was important to you when you were nineteen.
Maxim Raginsky@mraginsky.bsky.social · 7mo agoDisplay an album that was important to you when you were nineteen.
Anybody use Google Chat for work, through Workspace? Tt's about the same as Slack for our needs and bundled in. Would love to hear pros and cons from anyone who's actually used it in anger. 🙏
Striking paper from researchers at Anthropic using a randomised control trial to look at the effects of AI use on skills acquisition. TL:DR ‘We found that using AI assistance led to a statistically significant decrease in mastery.’ www.anthropic.com/research/AI-...
How AI assistance impacts the formation of coding skills
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
anthropic.com
Hetan Shah@hetanshah.bsky.social · 7mo ago‘Novice workers who rely heavily on AI to complete unfamiliar tasks may compromise their own skill acquisition… We find that AI use impairs conceptual understanding, code reading, and debugging abilities, without delivering significant efficiency gains on average.’ arxiv.org/pdf/2601.20245
Still seeing this even though I've turned off all "Smart" features in Gmail
JFC AWS, all I needed to do was change my fucking password and an hour later, after fixing your permissions fuck-up, I have a new password.
In the first of our new series of curiosity-driven essays, Qualia, @nattyover.bsky.social asks particle physicists whether the field is facing a profound crisis. www.quantamagazine.org/is-particle-...
Is Particle Physics Dead, Dying, or Just Hard? | Quanta Magazine
Columnist Natalie Wolchover checks in with particle physicists more than a decade after the field entered a profound crisis.
quantamagazine.org
Not sure I think there should be SMS/email 2FA if I sign in with a passkey...
HAHA NO I DIDN"T TAKE DOWN PRODUCTION TONIGHT WHAT ARE YOU TALKING ABOUT?
Better Futures Club is a new idea that we're starting in Portland, Oregon 📆 First meetup: Thursday, January 15, 2026 Ruby hack night, programming languages design theory and practice, and an imagination of STEM and liberal arts building together Join us! #PDX betterfutures.club
Better Futures Club
Imagining and making better futures
betterfutures.club
