iiinova — where your digital self keeps evolving

Marco Z

@ocramz.bsky.social

1.9K followers 1.1K following 2.9K posts

ML, λ • language and the machines that understand it • building trellis.unfoldml.com • ocramz.github.io

Posts Replies Media

Marco Z @ocramz.bsky.social · 17m

got this close to spreading sambal on the kids' pancakes instead of jam

Marco Z @ocramz.bsky.social · 32m

manager brain without the role boundaries

000

Reposted by Marco Z

Retro Computers @retrocomps.bsky.social · 1h

What, you thought this was Byte magazine? (Source.)

The cover of ROM Magazine, Volume 1, Number 2, for August 1977, done by Robert Grossman. In it, a man with a polka dot tie floppy drive for a head rests his head in on ehand and stuffs his face with a 5.25" disk backwards, with salt and pepper in front of him. Headlines in clude "SOFTWARE: THE GENIE IN THE BOTTLE" by Tom Pittman, "THE MEMORY PROBLEM" by Ted Nelson, "MEMORY, MEMORY, HOW MUCH MEMORY?" by Stan Velt, "APLomania" by Eben F. Otsby, and "BINARY CLOCKS IN 0011/0100 TIME" (uncredited here).

Marco Z @ocramz.bsky.social · 51m

the continents repeat on the left and right?? knew it

Marco Z @ocramz.bsky.social · 56m

SplitTheBillWithoutInconveniencingAnybodyBench

Marco Z @ocramz.bsky.social · 1h

introducing MeetingBench,

Marco Z @ocramz.bsky.social · 12h

if it's such a great idea it should be explainable in 30 seconds

Marco Z @ocramz.bsky.social · 17h

Been somewhat obsessed with this idea, I'm glad that it (sort of) works and to see it out of the gate. A post on my progress, ranging between semantic parsing, modal logic and Prolog. ocramz.github.io/posts/2026-1...

ocramz.github.io

Reasoning over a legal corpus with a neurosymbolic agent

Marco Z @ocramz.bsky.social · 09/10/2026

I think the above has nothing to do with ai as a field and everything to do with oai being run by chuds

Marco Z @ocramz.bsky.social · 08/10/2026

sheets.works/data-viz/hol...

The people holding up the internet

Four billion phones ask one text file what time it is. One lecturer keeps it in his spare time. We counted the rest.

Marco Z @ocramz.bsky.social · 08/10/2026

yes, but I'm curious about use cases from the "jagged frontier"

Marco Z @ocramz.bsky.social · 08/10/2026

that was quick

Marco Z @ocramz.bsky.social · 08/10/2026

any AI-positive UI/UX designers nearby? Please chime in #ui #ux #ai #aiagents

Marco Z @ocramz.bsky.social · 08/10/2026

how does one tweak UI flows with agents? surely that needs multimodal model, and/or something like playwright?

Marco Z @ocramz.bsky.social · 08/10/2026

there's (there was?) Gimpshop, but haven't used it it many moons.

Marco Z @ocramz.bsky.social · 08/10/2026

painfully accurate

Marco Z @ocramz.bsky.social · 08/10/2026

step 2, once you have established the types-values bijection in your domain : bsky.app/profile/ocra...

Marco Z @ocramz.bsky.social · 08/10/2026

in fact if you are doing anything web or cloud related, you should get the data model right first, so: SQL

Marco Z @ocramz.bsky.social · 08/10/2026

if you have the luxury of choosing languages for a greenfield project, you should start by modeling the domain with types Go isn't great for that, or any abstraction really. I'd pick a combination of Haskell (Typescript if extruding with AI) and SQL

Marco Z @ocramz.bsky.social · 08/10/2026

good post www.stephendiehl.com/posts/depend... faster Lean compilation ! (by avoiding parsing mostly)

stephendiehl.com

We Live in the Dependently Typed Future Now - Stephen Diehl

Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future

Marco Z @ocramz.bsky.social · 08/10/2026

making clopus go Brrrrap

Marco Z @ocramz.bsky.social · 08/10/2026

a (multivariate) KS or Kendall tau/bubblesort distance for enums?

Marco Z @ocramz.bsky.social · 08/10/2026

what's the type signature?

Marco Z @ocramz.bsky.social · 08/10/2026

yegge can't even keep gists short

Marco Z @ocramz.bsky.social · 08/10/2026

there, fixed it

Marco Z @ocramz.bsky.social · 07/10/2026

bsky.app/profile/ver....

000

Marco Z @ocramz.bsky.social · 07/10/2026

"decompiled" doesn't mean what you seem to think it does: en.wikipedia.org/wiki/Decompi... further, it's a pretty serious allegation that could even sink an open source project

en.wikipedia.org

Decompiler - Wikipedia

Marco Z @ocramz.bsky.social · 07/10/2026

we don't ride horses to work anymore, but horse farms are fully booked for leisure and sport. Not a great comparison!

Marco Z @ocramz.bsky.social · 07/10/2026

ok but that's very different from "decompiling" as OP above claims

Marco Z @ocramz.bsky.social · 07/10/2026

as much as I would like to believe the "robin hood" narrative, has the RE source been independently verified? this is a pretty serious allegation that could sink the project

Marco Z @ocramz.bsky.social · 07/10/2026

how do you know it's reverse engineered from adobe products?

Marco Z @ocramz.bsky.social · 07/10/2026

yes to all of this, but it has to fit within a sample budget and have strict correctness goals or it will go off the rails, guaranteed

Marco Z @ocramz.bsky.social · 07/10/2026

are you still sitting on the roadside while doing this

000

Marco Z @ocramz.bsky.social · 07/10/2026

then P=NP and we can all go to the beach

Marco Z @ocramz.bsky.social · 07/10/2026

man that 100 hit combo HOME WIPED is such a vibe

Marco Z @ocramz.bsky.social · 07/10/2026

plus your time and attention ofc :) thanks for clarifying. It's a cool experiment and result

Marco Z @ocramz.bsky.social · 07/10/2026

objectively, this is a very hard (rigorous) benchmark and I'd be surprised if typesafe even thought about this (maybe now they will)

Marco Z @ocramz.bsky.social · 07/10/2026

a 105x speedup for ds4.1f prefill with ~2wk of a large model sub (100 usd in total or so?) final result: fast coding on a ~10k usd workstation take this as a point in time, N=1 figure but still very cool

Marco Z @ocramz.bsky.social · 07/10/2026

🫣

000

Marco Z @ocramz.bsky.social · 07/10/2026

ok but how fast was it when it started working, that's what I'm after

Marco Z @ocramz.bsky.social · 07/10/2026

are they selling jpegs of photos of Ant shares on the blockchain

100

Marco Z @ocramz.bsky.social · 07/10/2026

tps after / tps before

Marco Z @ocramz.bsky.social · 07/10/2026

cool! did you take a total speedup % due to this process ?

Marco Z @ocramz.bsky.social · 07/10/2026

maximumeffort.substack.com/p/jev-is-poo...

maximumeffort.substack.com

Jev is Poorly Calibrated

Jev's calibration is tested by asking it to generate physically realistic probability distributions

Marco Z @ocramz.bsky.social · 07/10/2026

good thread 👇

000

Marco Z @ocramz.bsky.social · 07/10/2026

a Wall of Death would fix my wednesday tbqh

static.klipy.com

Massive Crowd Headbanging at Concert

ALT: Massive Crowd Headbanging at Concert

Marco Z @ocramz.bsky.social · 07/10/2026

writing a proof is slow and uncertain, search/collate/eval/backtrack, and checking is whatever Lean does in 30 seconds the labs have industrialized this process by throwing hordes of agents for months at a proof, but they haven't made it any simpler

Marco Z @ocramz.bsky.social · 07/10/2026

this is not true for NP-hard problems btw. Proving is a completely different beast than checking

Reposted by Marco Z

mimir @mimirwolv.bsky.social · 06/10/2026

so it's pretty simple first you take a fly genome and map it to Redcode assembler for the MARS VM, then run two genes in a CoreWar match against each other, that generates an execution trace. then you turn that into a series of fighting game moves and choreography etc, plus a soundtrack,

Marco Z @ocramz.bsky.social · 06/10/2026

just called the lads in kyoto, you're good