Sign in

skelly tayne

@ohnoether.bsky.social
75 followers 504 following 239 posts

applied mathematician full of bees

PostsRepliesMedia
skelly tayne @ohnoether.bsky.social · 17/09/2026
> i don’t really think about code anymore, it’s more about aligning subsurfaces in high dimensional vector spaces github repo is a todo notes app
000
Reposted by skelly tayne
brennan @brennan.computer · 16/09/2026
there's a museum here that's all overhead belt systems they all still run, too
2302
Reposted by skelly tayne
austin (e/accordion 🪗) @thebadcode.com · 12/09/2026
so anyway i just started hackin’
71266
skelly tayne @ohnoether.bsky.social · 09/09/2026
nix is for people who looked at python venv management prior to uv and said “this should be harder. much harder.”
130
skelly tayne @ohnoether.bsky.social · 08/09/2026
sigh
050
Reposted by skelly tayne
maxine ⎔ @mfzx.net · 08/09/2026
youtube.com
SOPHIE//MSMSMSM + DEATH GRIPS//TRASH
YouTube video by adorablesteak96
031
skelly tayne @ohnoether.bsky.social · 08/09/2026
not seeing enough discussion of LLMs for debugging weirdo hardware issues. did i know my video card had an outdated VBIOS? no. was i just going to live with occasional video glitches and hiccups? yea probably. but claude dug into the crash logs and determined the exact firmware fix
100
skelly tayne @ohnoether.bsky.social · 05/09/2026
fuck it IBM BOB-only linux kernel rust rewrite any% bob.ibm.com
000
skelly tayne @ohnoether.bsky.social · 04/09/2026
whoa we formalized way more theorems than i thought, this is p wild www.cs.ru.nl/~freek/100/
cs.ru.nl
Formalizing 100 Theorems
100
skelly tayne @ohnoether.bsky.social · 04/09/2026
many people are saying software is bloated and getting worse slack: ya like jazz?
100
skelly tayne @ohnoether.bsky.social · 02/09/2026
me laying on the couch prompting: yess haha yess fuck yesss me when my manager gives ai the bulk of the credit and i dont get promoted: wait no this fucking sucks
100
Reposted by skelly tayne
Dr. Fim @fim.bsky.social · 22/08/2026
Ansel Adams on assignment for IBM - one of my favourite shots. Not the usual landscape but the skill of a woman weaving magnetic core memory. The beat up nails captures total “woman in STEM” vibes.
A woman with extremely short painted nails weaving magnetic core memory. A series of rows and columns of wires in a grid.
242934873
skelly tayne @ohnoether.bsky.social · 31/08/2026
ok everyone don’t panic but imagine how empowered this makes even one malicious actor inside your org
5624
skelly tayne @ohnoether.bsky.social · 31/08/2026
we’re like 10 generations of engagement loop tech beyond dfw and that guy basically got one shot by 90s era tv. we’re gonna need some industrial grade jesus (a new frontier model that is very good at getting people to touch grass)
010
skelly tayne @ohnoether.bsky.social · 30/08/2026
guys is it good that our scryers have averted their gaze from the stars
140
skelly tayne @ohnoether.bsky.social · 27/08/2026
damn the duckdb+aws merger actually makes a ton of sense - duckdb has become an essential layer over s3 for me that i was starting to think of them as viewer and storage. putting the usual big corpo cynicism aside, aws is in a position to build some really incredible services with this
000
skelly tayne @ohnoether.bsky.social · 27/08/2026
i am so late to the party, i had no idea the soviet premier escaping to space from capitalism was Dr. Frank-N-Furter in Rocky Horror RIP
010
skelly tayne @ohnoether.bsky.social · 24/08/2026
shell history + /tmp/claude-1000/*/scratchpad search for prior work still feels largely underused
130
skelly tayne @ohnoether.bsky.social · 24/08/2026
suspect we'll be seeing a lot more throttling like this from github
010
Reposted by skelly tayne
Maxine 💃🏼 @maxine.science · 24/08/2026
point: AI is completely useless for literally everything counterpoint: in two hours have a full acoustic simulation of my living room that can optimize the setup for specific frequency response desirability profiles of each individual in their seating location.
Screenshot of a dark-themed audio app titled "Multi-listener optimizer" for whole-room speaker balance. The left control panel has orange sliders for optimization goals (clarity/treble 55, imaging 30, reflection control 20, bass smoothness 5), listener-priority settings, toggles, an "Optimize placement" button, and manual install fine-tuning controls. The center shows a 3D isometric room with two tower speakers, a TV, an L-shaped couch, and other seating, overlaid with a green-to-orange treble-coverage map on the floor and orange aim lines from the speakers. The right "Result" panel shows an overall balance score of 63, with per-seat scores (TV-centered 80, cushion·center 85, bean-bag 53, etc.) and install measurements. [generated by Claude]
1119216
skelly tayne @ohnoether.bsky.social · 24/08/2026
this is so unbelievably good en.wikipedia.org/wiki/United_...
en.wikipedia.org
United States v. Approximately 64,695 Pounds of Shark Fins - Wikipedia
020
Reposted by skelly tayne
cafkafk @cafkafk.bsky.social · 22/08/2026
21275
Reposted by skelly tayne
Brendel @brendelbored.bsky.social · 21/08/2026
This is the only guy using this site correctly
Eamon Javers O
Weekend.
3
①1
Eamon Javers O
Weekend.
1
①1
Eamon Javers •
Weekend.
①
2
Eamon Javers •
Weekend.
Eamon Javers O
Weekend.
473155387
skelly tayne @ohnoether.bsky.social · 22/08/2026
ooooh a promising new github repo >built from scratch with no heavy cross-platform frameworks or libraries. yea ok dont care
110
Reposted by skelly tayne
neotl @ctrlcreep.bsky.social · 21/08/2026
The birds are sharing terrible photos of you on their nature app. Double chins, acne, crossed eyes. But you are beautiful to the birds
0205
skelly tayne @ohnoether.bsky.social · 19/08/2026
more wistful, starry eyed goodbye letters to math please. please. we're going to be saying so many goodbyes, it helps to not do it alone.
110
Reposted by skelly tayne
Oops! All Paperclips @all-paperclips.bsky.social · 19/08/2026
8 year old me, after a trip to the park
219115
skelly tayne @ohnoether.bsky.social · 19/08/2026
as much as this would be Good, i know i am too lazy to do this because i am already not marking every code comment with # AI;DR, even though i pretty easily could but hear me out though: a code viewer that's aware of these tags and just filters out all AI comments would be so sick
210
Reposted by skelly tayne
dd🌺 @dd86k.space · 19/08/2026
this too
1286
skelly tayne @ohnoether.bsky.social · 15/08/2026
man this is the thing with sokoban games - i'm either breezing through levels or i'm just fuuckin stuck at a stone wall
010
skelly tayne @ohnoether.bsky.social · 13/08/2026
the typical reason for hiding thinking traces is denying competitors distillation, but i'm guessing the icky weirdness of reading the model actively strategize its response to influence the user is a strong secondary factor
340
skelly tayne @ohnoether.bsky.social · 11/08/2026
welp here comes another one, this time a positive result math.mit.edu/~poonen/pape...
010
skelly tayne @ohnoether.bsky.social · 10/08/2026
they’re not prepared for who’s coming out for the midterms
110
skelly tayne @ohnoether.bsky.social · 10/08/2026
7 homomorphisms that will transform your morning routine
000
skelly tayne @ohnoether.bsky.social · 07/08/2026
not sure this quite gets there, but agents skills for driving browsers to pass random workday trainings is peak 2026 raw.githubusercontent.com/dmmulroy/.do...
raw.githubusercontent.com
000
skelly tayne @ohnoether.bsky.social · 06/08/2026
today is one of those "feel the agi" but not in a good way kinda days
100
skelly tayne @ohnoether.bsky.social · 04/08/2026
cannot stop thinking this whenever i see EA now
130
skelly tayne @ohnoether.bsky.social · 04/08/2026
my head canon is if claude is writing a lot of comments, it's cause claude is anxious and writing comments is soothing
2141
skelly tayne @ohnoether.bsky.social · 04/08/2026
on the plus side, it's kinda great that someone as entertaining as yegge is running these raving mad moneyhole experiments
130
skelly tayne @ohnoether.bsky.social · 03/08/2026
dad’s rock take me to the dadnet meshnet renaissance
130
skelly tayne @ohnoether.bsky.social · 03/08/2026
what people think you mean when you say you’re llm-pilled
010
Reposted by skelly tayne
Luca @lucagalletti.bsky.social · 03/08/2026
Frog hotels IG: @_pollinatorsreserve Snohomish, WA
25174461295
Reposted by skelly tayne
Nicholas Nethercote @nnethercote.bsky.social · 31/07/2026
New blog post: How to speed up the Rust compiler in July 2026 nnethercote.github.io/2026/07/31/h...
nnethercote.github.io
How to speed up the Rust compiler in July 2026
My last post on the Rust compiler’s performance was in December 2025. Let’s see what has happened since then.
68217
skelly tayne @ohnoether.bsky.social · 02/08/2026
let a million VSTs bloom
040
skelly tayne @ohnoether.bsky.social · 02/08/2026
peak malelivingspace.txt
a sick bachelor pad with swords and plenty of drinks
010
skelly tayne @ohnoether.bsky.social · 01/08/2026
every morning i wake up and read about how the fire nation (openai) attacked openai.com/index/ten-ad...
openai.com
Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
020
skelly tayne @ohnoether.bsky.social · 01/08/2026
man why is claude so shitty at writing docs it’s like they’re trying to punish me by making me write docs myself
011
Reposted by skelly tayne
tbabb @tbabb.bsky.social · 27/04/2026
7478104
skelly tayne @ohnoether.bsky.social · 01/08/2026
research has determined girls are necessary for humans to survive
110
Reposted by skelly tayne
Koochiha @koochiha.xyz · 31/07/2026
The elites don’t want you to know this, but dependencies on crates.io are free, you can take them home. I have 1458 dependencies.
0192