Remco

The future is agents writing proof carrying code directly. No dependencies. No kernel. Your personal operating system for your specific hardware with your specific functionality. All Ring0 flat rwx memory cause faster. Ubiquitous self modifying code. Stack is a vestigial abstraction: sp is a gp now. No abstractions; deeply integrated hacks beyond human comprehension that make biology look refreshingly simple. Somewhere inside, the agent keeps rewriting everything. The formal specifications say everything is fine.

The shop is Mogema a subsidiary of Aalberts. aalberts-am.com/technology/ult…

Teenage me helped my dad build a new machine shop. It was (and is) one of the world's best, achieving micron precision over many meters using gigantic Okuma CNC mills (precise climate control, independent massive foundations, etc). ASML was one of their first clients with the EUV Twinscan. I remember seeing all the technical drawings for it hanging on the walls. I didn't realize at the time, but so fun to have played a small part in the EUV revolution. I did all the IT admin of the shop remotely while attending high school. I made it easy on my self: I made a floppy disk called "fix it" that when booted from would wipe the computer and reconstruct it from the server, including recovering user profiles. That was enough for people manage themselves. Only had one incident where they had to call my high school to get to me: a privileged user accidentally deleted al lot of files on the server and recovering from the weekly tape-backup would loose much work. I told them to pull one of mirrored-RAID drives out of the server immediately and continue working. When I came over that weekend I used forensic tools to recover all the files from the removed drive. Fun times. Last I heard they have grown a lot and are swamped building frames for ASML machines.

@_patrickogrady Having seen the engineering of some new chains, I always wondered who was responsible for keeping that **** up and running at CB.

At my first job (at Coinbase 🫰), I spent an absurd amount of time figuring out how to integrate with (and maintain support for) new blockchains. I've never underestimated a technical challenge by such a wide margin...

@levelsio Public schools, or should government stay out of the education business?

I'm a big fan of taxes IF they worked Like I'd be fine paying even 50% personal income tax but then I'd want: - high quality roads with walkable sidewalks - police, fire brigade, ambulance that shows up fast - police that enforces laws, arrests criminals and a justice system that actually punishes them and keeps society safe - police that's at your house fast to protect you when you get a burglar or criminal - healthcare system where I can get helped fast, no waiting lists with preventative care (free blood work every 6mo) - fast fully digital government system - fast gov in general, like fast building permit approvals etc But in most countries you get absolutely none of this now so why would people wanna pay tax then? It's like paying for a service but you get nothing back or the service doesn't work and you're forced to pay it and you can't do a chargeback either!

@angeris Krypton-Chloride excimer lamps with filters for >230nm UV. Not the 254nm germicidal mercury lamps that are common.

@angeris One such product in question: ergo222.com

everyone suddenly being really into photonics is really throwing me for a spin ngl

@angeris Buying some far UVC lights and not wanting to take the manufacturer’s word for it :D

@recmo hell yeah (but also why)

@sierracatalina @shawnwows If only there was some sort of knowledgeable automated assistant that could tell them such things. I guess no-one thought to ask.

@shawnwows literally entirety of the valley unaware.

poor macOS people.

@RrnRaindeer @worldnetwork Exactly, keep them to yourself and use modern cryptography to proof you are human.

@worldnetwork Don’t give away your biometrics to some sketchy crypto bros, kids

The new World flagship in Munich is officially open to humans. This community space near Marienplatz is built to answer one question: how do you prove you're human online in a privacy-preserving way? Come find out in person.

Zero-knowledge proofs can convince an audience that a statement is true without revealing why it’s true. Computer scientist Rahul Ilango has devised a new type of zero-knowledge proof in which secrecy stems from the fundamental limits of math. quantamagazine.org/how-unknowable…

@RadicalFalk This is how Ikea became so succesful.

In Germany you have to bring your own Kitchen when renting an Apartment

@banteg Are the compilers deterministic enough for this to be viable?

there are hard mode decompilation projects that aim to recover c/c++ code that compiles into exactly the same binary as the original. the tooling looks mature and extremely fitting for /goal type agents and puzzle-loving models. decomp.dev/projects zelda.deco.mp

@sjurgis @levelsio My humidifiers can go through 20L a day trying to get it back to >40% while keeping enough ventilation to keep CO2 down. It’s quite crazy!

@sjurgis @levelsio Yeah, my concern is European mainland in the winter. Basically <20% humidity after you warm it up.

I want this!

@angeris But really people should have the right to sell alternative firmware and backend subscription services commercially. BECAUSE CAPITALISM!

@angeris I mostly mean being able to open source /share results and not have to worry about DMCA lawsuits.

Right to repair + codex powered reverse engineering will hopefully end the hardware subscription model.

@gakonst All this from just inspecting traffic? Or did you also mess with the firmware?

@recmo btw i've gotten pretty far on this project i found out that rekordbox serves tracks to the deck over NFS which was cool! can load tracks on the deck analyzed from my own file system vs rekordbox's sqlite but haven't managed to play them yet