iiinova — where your digital self keeps evolving

lykron @lykron.bsky.social · 08/10/2026

There are seaplane tours that do a loop of the area and on clear days it’s remarkable

010

lykron @lykron.bsky.social · 08/10/2026

Yeah. You just delete that shit and ignore it. It a new eternal September

000

lykron @lykron.bsky.social · 08/10/2026

Abliteration is surgical removal of the refusal circuits from the model. it can be done to any model.

010

lykron @lykron.bsky.social · 08/10/2026

hot take: it's less the model and more the amount of compute you can throw at the model.

010

lykron @lykron.bsky.social · 08/10/2026

once you put something out there, it takes on a life of it's own. it's up to the owner to decide how much control is given to others. the world exists. the more you let in, the less control you get over the outcome.

100

lykron @lykron.bsky.social · 08/10/2026

why use github- a source code hosting website- to publish something. github is where you publish your source code so it becomes open source. not every free software project needs to go on github

120

lykron @lykron.bsky.social · 08/10/2026

open source projects are under no obligation to accept contributions. open source by definition is open source code. that gives you access to the source code. projects can choose to accept or reject submissions at whim because you have no inherent right to contribute. ai has nothing to do with it

110

lykron @lykron.bsky.social · 08/10/2026

yeah. and? that's the same complaint about javascript. visual basic. excel macros.

000

lykron @lykron.bsky.social · 08/10/2026

yeah. just because the people who made oxytocin knew it was addictive and pushed it as such, it doesn't mean that there isn't value from oxytocin when used correctly. the worst people are selling you a good thing for bad reasons

000

lykron @lykron.bsky.social · 08/10/2026

they have an entire suite that covers almost every language. Their C++/Rust stuff is amazing

000

lykron @lykron.bsky.social · 07/10/2026

Just makes him work all the harder when he can’t get hard

020

lykron @lykron.bsky.social · 07/10/2026

You just gotta make the pig cum first. Only then may you cum

120

lykron @lykron.bsky.social · 07/10/2026

Pfft. You follow instructions? Next you’re going to say you follow what a sign tells you?! Gotta be a rebel

020

lykron @lykron.bsky.social · 07/10/2026

That’s a different kind of medication. Ritalin can’t help with those

000

Reposted by lykron

crumb @crumb.bsky.social · 07/10/2026

news.ycombinator.com/item?id=4998...

ihoggan
I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it. But it's supposedly proven here - problem 180. I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight. There's no Lean proof for this one so I'm digesting the paper. On the surface it looks like an approach I considered 24 years ago and abandoned.
I revisited the problem this summer, along with my partial solutions, when the previous round of stunning proofs came out. Several hours of work with Fable simply convinced me it wasn't yet solvable and reinforced how hard of a problem it was.

jboggan
I went back to that Fable chat and showed it this new preprint. It coded up the new constructive algorithm and ran it against the existing test suite, that looks good at least.
It has been super helpful in delineating where the crucial concept came from. The proof is rather simple as graph theory proofs go, but it does seem to use some constructions that would only seem obvious if you had serious physics experience with partition function and calculating energy states that cancel out. It's not a wholly alien bolt from the heavens, but I can also see how there hasn't been a human being with the broad theoretical physics knowledge combined with the deep graph theory experience in planar graphs to come up with this idea. I don't know, I'm looking for precedents of this formulation and some old papers of Penrose counting the number of edge colorings of this same graph type are coming up, the line of argument at least rhymes. But I agree with the thought that this sort of progress should not be siloed inside those companies. I propose a tax so that every slop cannon Al video pays for another hour of compute time for advancing mathematics.
reply

823452

lykron @lykron.bsky.social · 07/10/2026

that's jetbrains ai autocomplete? does a very good job of doing those kind of shortcuts. It might even run locally. Maybe just the single line version

100

lykron @lykron.bsky.social · 07/10/2026

you're assuming the tools arn't advancing as well. "make me a Vulkan renderer for my game" is not something most people will need to do because most people aren't building an engine.

100

lykron @lykron.bsky.social · 07/10/2026

you need a FSM to parse xml and therefor svgs? unless a state machine is something specific in swift that seems like a perfectly valid approach

100

lykron @lykron.bsky.social · 07/10/2026

hmm. usb has the ability to do direct memory access on supported controllers... host to host RDMA over USB-C? hmmmmm

000

lykron @lykron.bsky.social · 07/10/2026

then you get to start the stuff gathering phase of gathering stuff!

110

lykron @lykron.bsky.social · 07/10/2026

as someone who is dealing with back pain- I can see why oxy was a hit

000

lykron @lykron.bsky.social · 07/10/2026

ai doesn't know or do more than what you explicitly instruct it to do. the output you get [from top 25 model] is 80% a function of what you put into it along what you know about what you need the result to be.

100

lykron @lykron.bsky.social · 07/10/2026

full stack- yes. as in OSI layers 1 to 7.5. funny enough my recent project actually applies the same concepts as: www.youtube.com/watch?v=q4vX... ai doesn't replace knowledge, it just makes the ability to apply knowledge more required. I don't need to know calculus to apply it's concepts.

youtube.com

The Missile Knows Where It Is... Explained

YouTube video by Skymaps

110

lykron @lykron.bsky.social · 07/10/2026

ai to swe is as waterfall is to agile. you can get the same result in 3 months, it's just two different approaches to get there. I'm just talking about "tech" here where deliverables have built in quality gates.

100

lykron @lykron.bsky.social · 07/10/2026

sure, but AI doesn't help you produce a good answer. It just helps produce an answer. AI has replaced 30% of my job. it doesn't help me be better at my job, it just lets me collapse a week's worth of work into an afternoon. for a job, I don't care if you use an ai. I just need the deliverable

110

Reposted by lykron

Gnoll, DNGN DLVR @gnollandvoid.bsky.social · 06/10/2026

What do you call a werewolf from Chicago? A Loop-garou

1176

lykron @lykron.bsky.social · 05/10/2026

That can be accomplished. Birthday cake flavor?

110

lykron @lykron.bsky.social · 04/10/2026

protip. AIs do not like abnormal IP ranges. it will confuse them.

000

lykron @lykron.bsky.social · 04/10/2026

what classification model is this using?

000

lykron @lykron.bsky.social · 04/10/2026

heheheh. data science is fascinating

000

lykron @lykron.bsky.social · 04/10/2026

heh atlas.jazco.dev?sel=topic-14...

110

Reposted by lykron

Micah @rincewind.run · 02/10/2026

wonderful reminder of the funniest dynamic of the mayoral race, where sliwa clearly liked mamdani and was delighted to see him humiliate cuomo also, more politicians should do this! get your flu shots!

342853375

lykron @lykron.bsky.social · 01/10/2026

Who said dogs can drive?!

000

Reposted by lykron

Momma Sciggles @sciggles.com · 30/09/2026

A lot of people assume FA is profitable. If that were the case we wouldn't have needed a GFM when Neer passed to keep it out of probate. It's been two years. The funds were used. FA is struggling financially. And I am 🌟s t r e s s e d🌟 I'm scared to ask for help, I feel like no matter how much-

28643692830

lykron @lykron.bsky.social · 30/09/2026

... the claude report artifact?

100

lykron @lykron.bsky.social · 30/09/2026

i honestly think I should try doing wake up ketamine. at mild doses the afterglow feels like... being aware i'm present. like walking in a puddle and causing a splash vs walking on water. hmm

001

Reposted by lykron

Jaz @jaz.sh · 27/09/2026

Okay so I've built a new Atlas, this time it lets you explore the conversations on Bluesky over the past 7 days graphically. It should update every ~6 hours and help you navigate the information environment that exists on here. I've learned a LOT about what people do here today... atlas.jazco.dev

atlas.jazco.dev

Atlas

A living map of what Bluesky is talking about: the past week's conversations, grouped into topics and regions and rebuilt every six hours.

1161426424

lykron @lykron.bsky.social · 28/09/2026

The picture used for the cover?

010

lykron @lykron.bsky.social · 28/09/2026

that's an effective way. just make sure there's a test at the end to make sure he pays attention

010

lykron @lykron.bsky.social · 28/09/2026

I am very curious the lab behind stealth/space-bunny-alpha on openrouter. it has adhd. bit too much of it lol

000

lykron @lykron.bsky.social · 25/09/2026

I enjoy the fact that Trump is bitching about not getting covered, while Mamdani is getting all the coverage of him just doing random stuff with World Leaders. Why is he doing Bingo with the Irish Prime Minister? Visiting Kindergarten class with the Norwegian Prime Minister? It’s quite a contrast

010

Reposted by lykron

SpotGideon @shepf.art · 24/09/2026

me, when I check the Hot/Popular feeds and see my own silly post there 🐶❤️🐶

1736022

lykron @lykron.bsky.social · 25/09/2026

That’s what it always turns into. Gotta get that bump in profit

010

lykron @lykron.bsky.social · 24/09/2026

Boeing has a horse problem

000

Reposted by lykron

SpotGideon @shepf.art · 23/09/2026

they always said the plane of the future will contain 3 things: a computer, a pilot and a dog so really we’re just optimizing by combining roles

26917233