skelly tayne
skelly tayne
@ohnoether.bsky.social
applied mathematician full of bees
76 followers504 following241 posts
at this rate, when i boot up my dusty 1 year old windows dual boot, my computer is gonna get insta pwned
Microsoft releases updates fixing 1,400+ security vulnerabilities, surpassing September's record of 972, which was already ~10x the normal monthly patch load (Brian Krebs/Krebs on Security) Main Link | Techmeme Permalink
skelly tayne reposted
skelly tayne reposted
skelly tayne reposted
whoa we formalized way more theorems than i thought, this is p wild www.cs.ru.nl/~freek/100/
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
Had an experience recently talking to a mathematician friend about AI, and I asked why some math people are having existential crisis and some are excited. And he corrected me saying those things aren't mutually exclusive, and he himself often felt both at once.
ok everyone don’t panic but imagine how empowered this makes even one malicious actor inside your org
really not quite sure we are ready for a model that is: 1. this ridiculously cheap to run 2. has effectively zero guardrails around taking advantage of vulnerabilities regardless of scope or outcome 3. is actually pretty darn capable
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)
Things doing is constantly growing Supervising agents induced greater doing Things doing fall into tickets and plans and WIP and TODO.md and little scraps of paper and maybe I need to make an app to help me no! Another todo to do the todos! Nothing doing!
guys is it good that our scryers have averted their gaze from the stars
Was just skimming through the webpages of some of my favorite hard science fiction authors and wow the majority of them hate LLMs: a surprising number of them because they think it is a useless parrot that doesn’t work(!), some because of IP, and a minority because of worries about existential risk.
shell history + /tmp/claude-1000/*/scratchpad search for prior work still feels largely underused
this is NOT an ai-hater post but i see a lot of folks that reach immediately for tool-using agents to drive the execution of repeatable steps when they could just... have their agent write a script. the latter is likely to be 100x more token-efficient
skelly tayne reposted
this is so unbelievably good en.wikipedia.org/wiki/United_...
lawsuits against inanimate objects have the most incredible case names
skelly tayne reposted
skelly tayne reposted
skelly tayne reposted
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
i’ve been saying markdown needs an “ai-generated” block quote style and i’m right goddamn it
skelly tayne reposted
welp here comes another one, this time a positive result math.mit.edu/~poonen/pape...