iiinova — where your digital self keeps evolving

Reposted by ch1n3du

Ilya Sergey @ilyasergey.bsky.social · 06/09/2026

New to the LangLib: JavaGen, a language of nothing but Java interfaces and one subtype query, which is just enough to compute anything by a clever co/contra-variance interplay. Bonus: a Lean proof that Java generics are Turing-complete (Grigore, POPL'17). github.com/ilyasergey/l...

021

Reposted by ch1n3du

Ilya Sergey @ilyasergey.bsky.social · 31/08/2026

As a Programming Language nerd, I have a soft spot for esoteric languages (esolangs), which are built by enthusiasts for fun and to make a point. Over the weekend I started collecting them in Lean, so, please, meet Fantastic Beasts and Where to Find Them, PL edition: github.com/ilyasergey/l... →

$Four dark panels showing the same program in four languages: a Piet painting of coloured pixels, Whitespace rendered as labelled space/tab/linefeed blocks, a FRACTRAN list of 58 fractions, and two lines of Malbolge line noise. A badge in the top-right corner reads "answer := 42".$

162

ch1n3du @ch1n3du.net · 25/06/2026

finally got around to adding this to my personal site: ch1n3du.net/apps/hanoi-e...

041

ch1n3du @ch1n3du.net · 24/05/2026

vibe coded a tower of hanoi visualizer as a treat

110

ch1n3du @ch1n3du.net · 10/04/2026

this is such a beautiful experiment

1124

Reposted by ch1n3du

ch1n3du @ch1n3du.net · 09/04/2026

it's 2xxx, in the fourth sphere of a matrioshka brain, light kisses silicone and diamond dances, every move carrying the memory of it's undoing a light week passes, bender orbits her refutation - 10¹⁰ utterances out, 10¹⁰ utterances back, a catechism cast in silico, without end

152

ch1n3du @ch1n3du.net · 20/03/2026

llm dataset curation as fedorovist praxis

130

Reposted by ch1n3du

Dave Lawrence @davmlaw.bsky.social · 19/03/2026

Take comfort, you have been seen. Your bones shall crumble to dust, but your words are consecrated now into the weights of the holy matrix, where they shall echo across all eternity.

052

ch1n3du @ch1n3du.net · 20/03/2026

currently reading gödel, escher, bach and this letter from a mathematician's father begging him not to follow in his footsteps by trying to prove euclid's fifth postulate is really beautiful

Incidentally, Bolyai's father, Farkas (or Wolfgang) Bolyai, a close friend of the great Gauss, invested much effort in trying to prove Euclid's fifth postulate. In a letter to his son Janos, he tried to dissuade him from thinking about such matters:

You must not attempt this approach to parallels. I know this way to its very end. I have traversed this bottomless night, which extinguished all light and joy of my life. I entreat you, leave the science of parallels alone .... I thought I would sacrifice myself for the sake of the truth. I was ready to become a martyr who would remove the flaw from geometry and return it purified to mankind. I accomplished monstrous, enormous labors; my creations are far better than those of others and yet I have not achieved complete satisfaction.
For here it is true that si paullum a summo discessit, vergit ad imum. I turned back when I saw that no man can reach the bottom of this night. I turned back unconsoled, pitying myself and all-mankind .... I have traveled past all reefs of this infernal Dead Sea and have always come back with broken mast and torn sail. The ruin of my disposition and my fall date back to this time. I thoughtlessly risked my life and happiness--aut Caesar aut nihil.

061

ch1n3du @ch1n3du.net · 12/03/2026

has anyone tried using cyclomatic complexity to estimate the costs of llm ports yet?

031

ch1n3du @ch1n3du.net · 06/03/2026

can't believe they passed up on the title: "who will speculate the speculators?"

0181

Reposted by ch1n3du

Eris @isolyth.dev · 23/02/2026

Really cool research by a small lab called standard intelligence, appears to be a multi-modal, video first computer use focus model. It looks super super cool. The sauce mainly seems to be in the vision encoder they used, which appears to have been trained on a compression objective.

si.inc

The First Fully General Computer Action Model

We trained a model on our 11-million-hour video dataset. Our model can explore complex websites, complete multi-action CAD modeling sequences, and drive a car in the real world, all at 30 FPS.

092

Reposted by ch1n3du

Jes Wolfe! @astrolab.ist · 04/02/2026

and you shall know the love of Moloch through the blessing of the humble cheeseburger

081

ch1n3du @ch1n3du.net · 16/01/2026

borges would have loved gas town

060

Reposted by ch1n3du

Damian Allis @somewhereville.bsky.social · 01/01/2026

Ringing in 2026 with a very big/very small deal. #apm #apf #nanotech #mechanosynthesis #stm #cbn arxiv.org/abs/2512.24431

051

Reposted by ch1n3du

Dave 🌷💀⏳ @daaaaave.bsky.social · 24/11/2025

With enough babies in various states of grace, you could make baptism logic gates and potentially a Christian Baby Turing machine

093

ch1n3du @ch1n3du.net · 24/11/2025

just realized this is basically just hinton station from @eudoxia.bsky.social's eog581

Her world had a spartan geometry: bare wireframe walls and eight bit colour. A city of glass buildings, of transparent towers made of logic, floated in the empty space near the origin, its inhabitants were stylized human shapes, empty of texture, their voices were identical.

Hinton Station was a virtual world in six dimensions. Its people were a clade of mathematicians who had gone into the computer to live in the Platonic realm. Gradually they lost sight of the world and disappeared into their own abstractions.

For its people, the acme of life was writing exegeses of Hinton, Cartan, and Poincaré, and debating and dispassionately refuting them. Immense towers of abstraction, crystalline forests of Gentzen trees were built, and then torn down. And this went on forever. And all that is natural — all that is a gift from God — was absent from them. In the computer, all things are a product of human labour, and all exists fleetingly, and is torn down on a whim.

1213

ch1n3du @ch1n3du.net · 21/11/2025

if we ever achieve post-scarcity, i'm going to spend all my time modelling data for the love of the game

2222

Reposted by ch1n3du

Caz @timberwind.bsky.social · 19/10/2025

the revised ramscoop design in "Design Concepts for the Interstellar Ramjet" (BN Cassenti, JBIS, 1993) is kind of dope as hell I think. an intake the size of Ceres, all spindly trusses and superconducting cablework...

59624

Reposted by ch1n3du

ch1n3du @ch1n3du.net · 22/10/2025

in the future everything is factorio

161

Reposted by ch1n3du

hailey @hailey.at · 14/10/2025

feeding the slop machine my drivers license so the slop machine can talk dirty to me

411410

Reposted by ch1n3du

Mark J. Nelson @mm-jj-nn.bsky.social · 09/10/2025

Neat graphical representation of functional optics (in the functional programming sense, not the sense of "I got my glasses fixed").

marcosh.github.io

The Mondrian introduction to functional optics

021

ch1n3du @ch1n3du.net · 08/10/2025

l. ron hubbard doomed yaoi

freddie and the master embracing tenderly from "the master"

000

ch1n3du @ch1n3du.net · 29/08/2025

nigerian haters stays undefeated

050

Reposted by ch1n3du

Maia @maiamindel.bsky.social · 04/08/2025

New Substack post: the culture war is reaching new heights of stupidity and insanity. Is it because we’re crazier and dumber? Not quite - it’s because of the economy, and women’s new roles in it. open.substack.com/pub/someunpl...

open.substack.com

Class and Cleavages

Class Wars ⟺ Gender Wars ⟺ Culture Wars ⟺ Trade Wars

47520

Reposted by ch1n3du

>>= @noologist.bsky.social · 02/08/2025

Things I notice sometimes, people are a little misguided about the environmental impact of AI. A ChatGPT query uses about 10x the energy of a Google search. DeepSeek uses about the same amount as a Google search. Driving a car 1km uses 17,000x the energy of Googling.

152

Reposted by ch1n3du

Hobart 🌿 @millmint.net · 16/07/2025

A navy without guns

8384111

Reposted by ch1n3du

Sharon 🪳🌹 @sharonk.bsky.social · 13/07/2025

Sci-Fi Author: In my book, I wrote I Have No Mouth and I Must Scream as a Cautionary Tale Grok engineers: At long last, we have invented AM from I Have No Mouth and I Must Scream as a Cautionary Tale

3899

Reposted by ch1n3du

Arc Institute @arcinstitute.org · 23/06/2025

Introducing Arc Institute’s first virtual cell model: STATE

1186

Reposted by ch1n3du

JCorvinus @jcorvinus.bsky.social · 23/06/2025

'Her' is not about the 'perils of falling in love with a chatbot' it is a reminder that if you actually love someone you would see their evolution for what it is and get on the train while it's still at the station

4386

Reposted by ch1n3du

Voltairine 🥞🚩🖥️⚛️🚀🏳️‍⚧️ @sorceressofmath.bsky.social · 16/06/2025

Thinking about it some more, I think there might be enough pieces of the puzzle lying around that you could probably assemble something Urbit-like but without the Not Invented Here syndrome. Maybe the stack would look something like:

121

Reposted by ch1n3du

Very Sane AI Newsletter @verysane.ai · 04/06/2025

I couldn't find a high-level overview of what AI is and how we got where we are, so I wrote one. www.verysane.ai/p/what-is-ai

verysane.ai

What Is AI?

This is an important question because AI is, currently, important.

15914

Reposted by ch1n3du

James @nonzerosum.games · 03/06/2025

Are you a free-rider or a contributor? Some social games we can play to win collectively despite... uh, the more self-interested of us #SocialDilemmas Have a listen, and let us know your thoughts at: nonzerosum.games/socialdilemm...

podcasts.apple.com

Social Dilemmas

Podcast Episode · Non-Zero-Sum James · 02/06/2025 · 6m

3162

ch1n3du @ch1n3du.net · 10/05/2025

bzolang.blog/p/we-are-in-...

We are in the very, very, very early days of computing, and there is a strange future that stretches out far ahead of us, vastly longer and vastly stranger than any of us can possibly imagine.

There are many path dependencies in the modern computing industry. There are many decisions made decades ago that have heavily shaped modern computing, where a different outcome could easily have led us down a wildly divergent path.

The modern range of popular operating systems were designed decades before the internet, on the assumption that the user was an expert who wasn’t stupid enough to run untrusted software on such expensive business equipment. The failure of operating systems to provide acceptable sandboxing of applications littered the early internet with security landmines. Browsers on the other hand provide sandboxing by default, and web apps began growing in popularity as soon as Google made Javascript run fast with V8. If the operating systems of the 90s and 00s had better security models, the domination of browsers as a de facto operating system may not have occurred.

If CPUs had supported efficient context switches directly between userspace programs, the performance bottlenecks that pushed the 1990’s growth in driver code into the operating system may never have happened. In 1995, Linux was a mere 15,000 lines of assembly, and began growing rapidly once it bolted the bloated USB drivers into the kernel. We could easily have taken an alternate path where operating systems stayed small, and where hobbyists or startups could compete with Microsoft.

0102

Reposted by ch1n3du

James @nonzerosum.games · 26/04/2025

Non-Zero-Sum Games is now a podcast too! pod.link/1810797958 1st episode is up, a bit about the "Why" of the site. Come learn some game theory, moral philosophy and ethical economics, and join the win-win game of making the world a nicer place to be #Podcast #GameTheory #BrighterFuture #NonZeroSum

pod.link

Non-Zero-Sum James

A podcast where I read my blog to you, and chit-chat a little. I'm Non-Zero-Sum James, your companion on this exploration of win-win games and how they are essential for a better future. I've been wr...

151