iiinova — where your digital self keeps evolving

Reposted by Anaël seghezzi

Bruno Dies @brunodias.dev · 11/10/2026

The actual math in this paper is over the heads of non-mathematicians but the core argument is pretty easy to follow: AI theorem-prover formalizations can't actually be trusted to faithfully be the same argument as the natural-language paper they come attached to arxiv.org/abs/2610.081...

arxiv.org

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...

217144

Reposted by Anaël seghezzi

John Scalzi @scalzi.com · 10h

And while we're on the subject: there's no ethical use of a product brought to market through unethical means. It doesn't matter whether the product is "AI" or chocolate or diamonds. Most generative "AI" was knowingly developed through massive theft from creatives; we have the emails admitting this.

8924178

Reposted by Anaël seghezzi

Alan Wolfe @demofox.bsky.social · 21h

df_game_data v1.0.1 released! github.com/Atrix256/df_... * Adds C language support, to go along with the C++ support it already had. * Adds option to obfuscate your .bin file. It xors it against a one time pad on save and on load. df_game_data is a solution for read only game data.

github.com

GitHub - Atrix256/df_game_data: Game data middleware - describe schemas, edit data, pack data, load data, hot reloading support

Game data middleware - describe schemas, edit data, pack data, load data, hot reloading support - Atrix256/df_game_data

0203

Reposted by Anaël seghezzi

Freya Holmér @freya.bsky.social · 10/10/2026

"why can you not just enjoy AI art?"

572511866

Anaël seghezzi @anaelseghezzi.bsky.social · 09/10/2026

Once you have random search, you don't need intelligence. You need compute, and a lot of it. Also, who need a validation set, just add it to the training data. Better yet, use a diffusion model and make the output be the input.

010

Reposted by Anaël seghezzi

Gianmarco Soresi @gianmarcosoresi.bsky.social · 08/10/2026

Man who won’t give his employees piss breaks claims many piss breaks on the horizon

810207354627

Anaël seghezzi @anaelseghezzi.bsky.social · 09/10/2026

Why not just refactor "x"emulator function names and say it's "new"emulator. All vibe coded retro games are ports. Most of the time from source. Sure we have to do a lot of basic coding, but all important works are works where you thought hard about it, typing it means nothing.

000

Anaël seghezzi @anaelseghezzi.bsky.social · 08/10/2026

Love it ! "yes, I do lift, bro" so good 😂

020

Anaël seghezzi @anaelseghezzi.bsky.social · 06/10/2026

It's hard, I'm myself wondering if I should just quit discord, for going into too many arguments about this crap...

110

Anaël seghezzi @anaelseghezzi.bsky.social · 02/10/2026

That's what I use the most now (started with c, did a lot of c++ and back again). Especially with github.com/anael-seghez.... More importantly, it can make the use of your tool easier with all the languages cool kids use today, like zig and all.

110

Anaël seghezzi @anaelseghezzi.bsky.social · 02/10/2026

Awesome ! Any chance to make it usable in C ?

110

Reposted by Anaël seghezzi

Jason Kint @kint.bsky.social · 17/09/2026

Eye popping. Court just unsealed Summary Judgment motions in New York Times v OpenAI / Microsoft. Easy to see why the AI companies had so many redactions (pink). Their own people wrote the lede for NYT, the "largest theft of labor in human history"... "more and more substitutive..." /1

4253922348

Reposted by Anaël seghezzi

Kala Paint @kalapaint.bsky.social · 01/09/2026

Kala Paint is out! I'm @olawson.bsky.social , professional artist for 15 years, then game dev, now wrote the painting software I wish I'd been using all this time. GPU-run creamy brushes, no subscription, no gen AI crap, hand-coded with ideas from artists in our Discord, and more added weekly!

5728651095

Anaël seghezzi @anaelseghezzi.bsky.social · 12/09/2026

Amazing, congrats !! And thank you !

000

Reposted by Anaël seghezzi

Michael Pavone @retrodev.com · 12/09/2026

I promised a new BlastEm release on September 11th... and it's still September 11th here in PST... by 16 minutes anyway. Presenting BlastEm 1.0.0 - supporting most of Sega's 16 and 8-bit hardware. It includes some new features and debugging improvements too www.retrodev.com/blastem/anno...

retrodev.com

BlastEm 1.0.0 Release Announcement

96938

Anaël seghezzi @anaelseghezzi.bsky.social · 08/09/2026

So now you *have* to make it a graphical app as well :)

110

Reposted by Anaël seghezzi

Félix the Rover @therovercomics.bsky.social · 03/09/2026

European artists! The EU commission is opening a feedback on the use of AI in the cultural and creative fields. Their vision is clearly pro-use of AI, but we clearly have an opportunity to push back: ec.europa.eu/info/law/bet...

ec.europa.eu

European Commission - Have your say

1612731475

Anaël seghezzi @anaelseghezzi.bsky.social · 01/09/2026

Ah ok, I couldn’t understand your phrasing

010

Reposted by Anaël seghezzi

Eniko Fox @enikofox.com · 30/08/2026

rich fuckers and corporations not respecting the social contract is behind a lot of society's ills, and now it's also destroying the internet people.kernel.org/monsieuricon...

people.kernel.org

Creepy crawlies

You've probably heard me complain about the "AI crawlers" before, but now I actually have some hard numbers I can put up to show their im...

413655

Reposted by Anaël seghezzi

Astrofra @astrofra.bsky.social · 22/08/2026

New Amiga demo with the Resistance team : www.youtube.com/watch?v=weCo... #demoscene #evoke #theRockyRoad

youtube.com

The Rocky Road by Resistance (Amiga, 2026)

YouTube video by Resistance

3123

Anaël seghezzi @anaelseghezzi.bsky.social · 24/08/2026

There is more and more of that, it is very depressing. I don't get it. Most of them are ports, so what's the point if not for learning something ? Some admitted not even reading the generated code. Makes me question sharing so much of my code in open source. For it to end up in the big dataset ?

000

Reposted by Anaël seghezzi

MatteusBeus Retro Developer @matteusbeus.bsky.social · 23/08/2026

If you want to support someone trying to make their childhood dream to publish a sega mega drive game and be successful at it then now is your chance ❤️ wishlist: store.steampowered.com/app/4909120/...

store.steampowered.com

Chords on Steam

Chords is an authentic retro 16-bit cyberpunk visual novel. Dive into a twisting, deceptive story packed with pixel art, chiptune energy, and classic adventure vibes where nothing is quite what it see...

53817

Reposted by Anaël seghezzi

ToonHive @toonhive.bsky.social · 15/08/2026

‘OSWALD’ will be created entirely with hand-drawn 2D animation. The three-part miniseries premieres in February 2027 on Disney+. #D23

13601172

Reposted by Anaël seghezzi

Eternal Skies TCG RPG @eternalskies.neocities.org · 15/08/2026

I'm not being very productive, which could be due to sleep or thyroid. But what I can do is dick around on social media. So let's share again the starter packs I made of game devs who refuse to use gen AI in any capacity. Here you go: go.bsky.app/6DRdowf go.bsky.app/AS5R4p7 go.bsky.app/7K7JDCJ

48449187

Reposted by Anaël seghezzi

Michael Pavone @retrodev.com · 11/08/2026

In exactly 1 month, I'm going to release BlastEm 1.0! This will be the first "stable" release since 2019 and will mark exactly 13 years since the release of BlastEm 0.1.0. Compared to 0.6.2, this release adds support for Sega CD, 32X, Sega Pico, Yamaha Copera, Game Gear, SC-3000 and Colecovision

24311

Reposted by Anaël seghezzi

Tom Forsyth @tomforsyth.bsky.social · 06/08/2026

Yeah that was really great. Two seasons, six episodes each. Perfect length to cover a good story arc. Watch it! www.youtube.com/watch?v=MPqz...

youtube.com

We Are Lady Parts | Official Trailer | Peacock Original

YouTube video by Peacock

181

Reposted by Anaël seghezzi

Luke Plunkett @lukeplunkett.com · 30/07/2026

Really happy with how this one turned out. Like I say in the post, some of these scenarios would make for a great workplace comedy if this wasn't the stupidest timeline irl.

3767244

Reposted by Anaël seghezzi

chiller @chiller.eurosky.social · 29/07/2026

This is ... horrific

lawsuit, Anthropic used a hydraulic powered cutting machine to neatly remove the pages from the books it procured from book resellers and then scanned them usina industrial- grade imaging equipment. In other words, it was literally ripping off authors' books to train its Al
This process took advantage of a egal concept known as first-sale doctrine, which allows a buyer to do what they want with a purchase without the original copyright holder's say-so. And since Anthropic was turning the original physicak texts into digital ones - rather than redistributing them as new copies a iudqe found this to be "transformative." and therefore
protected by fair use

One small book seller said that in April, he suddenly went from selling no more than 20 books a week to hundreds. and he's almost certain that the customers are Al labs. noting the random selection of the books and how they all have ISBNs He added that his inventory is full with rare and out of print books. meaning that an Al company could be destroying some of the few remaining copies that can be found

311799951

Reposted by Anaël seghezzi

THE MEANS OF DESTRUCTION @meansofdestruction.bsky.social · 29/07/2026

ONLY 48 HOURS REMAIN. BACK THE CAMPAIGN NOW, OR MISS OUT FOREVER.

215454

Reposted by Anaël seghezzi

Matt (Tired) @mattfrith.bsky.social · 18/06/2026

Please observe my madness... I'll finish this eventually ;') #pixelart

40816182

Anaël seghezzi @anaelseghezzi.bsky.social · 22/07/2026

Merci ! Ah ce serait cool, un jour peut être

010

Reposted by Anaël seghezzi

Jodi Jacobson @jljacobson.bsky.social · 22/07/2026

Mamdani is quite literally the moral leader of this country right now. No one speaks with as much clarify, moral leadership, and consistency. I am grateful for him. www.youtube.com/watch?v=8ZuV...

youtube.com

Benjamin Netanyahu is a war criminal.

YouTube video by NYC Mayor's Office

301103351831

Reposted by Anaël seghezzi

Simon S. Andersen @snakepixel.art · 18/07/2026

Making new enemy sprites for Vikings on Trampolines. The temp-sketch for the Blimpolini is a large balloon that acts as temporary platform, but its also mindlessly carrying a bomb, so you need to pop it before it blows up. I added a bit of a subtle fish-theme as well #pixelart #ドット絵 #gamedev

228141

Reposted by Anaël seghezzi

THE MEANS OF DESTRUCTION @meansofdestruction.bsky.social · 19/07/2026

CHECK OUT OUR KICKSTARTER, LINK IN REPLIES This week is BTS WEEK!! We'll be showing you all kinds of glimpses behind the scenes of how we made our trailer, designed our characters, and more! Hope you're excited to see our process 👀

311935

Anaël seghezzi @anaelseghezzi.bsky.social · 20/07/2026

How I made the road : I painted the texture by hand in photoshop, added noise, directional blur. Then I made 8 looping frames in perspective. I wrote a tile compressor (K-means clustering) to compress it to 512 tiles + custom dithering and palette quantization to 16 colors in Megadrive's precision

0421

Anaël seghezzi @anaelseghezzi.bsky.social · 20/07/2026

ahh thaanks 😊 I picked in my bag of tricks bsky.app/profile/anae...

020

Anaël seghezzi @anaelseghezzi.bsky.social · 18/07/2026

Sure does bsky.app/profile/anae...

020

Anaël seghezzi @anaelseghezzi.bsky.social · 18/07/2026

Kawasaki Superbikes is pretty amazing, it's almost all done in software

140

Anaël seghezzi @anaelseghezzi.bsky.social · 17/07/2026

Thanks ! I should also try tall trees with a thin trunk, so the top part is forced in the perspective and are less on the same lines

150

Anaël seghezzi @anaelseghezzi.bsky.social · 17/07/2026

Small update on the Megadrive *rally game* ? I added sprites and did some optimization so CPU is still at 70% usage with a stable 60 fps. I'm a bit disappointed by the sprite width limit per-line. I wanted a lot more dense vegetation but it's not possible with sprites. I'll try other methods.

2330882

Reposted by Anaël seghezzi

Shannon Birt @shannonbirt.bsky.social · 16/07/2026

* Sega Megadrive 3D V8 * Toni Galvez joined the project for GFX / models & level design 25% Larger Buffer 256x160. Music added - XGM1 works, XGM2 doesn't :-( Faster buffer swap, rewrote Quad Renderer. Added a 114 sprite multiplexor ( the background is all sprites ) Added Tilt effects :-)

210336

Anaël seghezzi @anaelseghezzi.bsky.social · 14/07/2026

Yes it's not a problem, but probably not a lot at 60fps. Specially if sprite data need to be streamed for scaling. CPU is already at 70%.

130

Anaël seghezzi @anaelseghezzi.bsky.social · 14/07/2026

It's not a palette trick, more of a scroll and interrupt trick. bsky.app/profile/astr...

190