Viewing profile — lambdas

Did the restrictions on JavaScript get resolved? IIRC, they made it so you had to use their “Ports” mechanism to interface with JavaScript, and you couldn’t write your own wrappers…

Oooft, in cubical.ml why is your identity equivalence `CVar "__id"`? Surely this should be some fibration/reduction? In fact, these weird string terms pop up pretty often, but sure…

I don’t think that’s Orion specific, I have the exact same issue with Safari and Firefox

Eh. I’ve been writing a small HoTT language over the past two years based on schemes, stacks, and sites and anything short of Agda or Lean falls short in terms of Real™ Category Th…

> There is nothing that will inherently limit AI from doing all knowledge work Resources is one. Energy, water, cost. There seems to be diminishing returns in intelligence at the m…

Nothing a little digital lisdexamfetamine won’t solve

I don’t feel their stance is “I’m not getting enough attention and it’s all Musk’s fault and I’m leaving”. More “X is simply not worth our time anymore”. I can’t say with any certa…

A pharmacist is someone who is a chemical practitioner though? “Man, these cryptographers didn’t know a thing about tailwind. Useless!”

Ah, but only a truly great writer could have come up with: > Start reading books or you're going to look stupid to the people around you Wherein the prose wasn’t at all sloppy, the…

I was more getting at the angle that when people say things like “Wow, I asked AI to code a terminal emulator and it got it mostly right!”, it’s not because the LLM is amazingly sm…

Mitchell Hashimoto doesn’t need LLM’s, LLM’s need Mitchell Hashimoto

Sorry, I mean verify the semantics of what the LLM has generated is exactly what you were asking for.

I’ve never used them first hand, but crackpots sure do love claiming to solve Riemann hypothesis, P vs NP, Collatz conjecture etc and then peddle out some huge slop. My experience …

Something running an SSH server service, yes. A decade plus ago, you could ssh into localhost on iOS, but that got nipped in the bud with sandboxing.

Online safety act passed in the uk on 26/10/2023, aligning suspiciously close with the mysterious advent of OpenAI’s screening tool

Only if the shop assistant took your ID, photocopied it and stored it in a box marked “do not touch” under the counter, alongside transcriptions of everything you ever say inside t…

Those pesky whistleblowers, journalists, and political dissidents have had it good for far too long. They’ve needed taking down a peg

I’ve lived in two apartments with the setup OP described, and they were both built 2003-2006. But I’ve not had it anywhere else, so it does seem constrained to a specific window of…

Other way round, no? TidalCycles predates Sonic Pi by a number of years

You can pick it up passively over time, and with your skills, if you were to actively engage then I suspect pick up the necessary very quickly, and the rest comes from experience. …

> [..] as a design goal - to make programming fun. There was even for a while in the late 2000s the culture of _why and MINSWAN. It was a great time - titles like Learn You A Haske…

90% manned. A lot of money and time goes into getting track access. And collecting unmanned data is still such a pain. At the moment, you stick calibration gear to a train and hope…

Tell him that, not me; I’m simply referring to what’s on the board, above her right hand, left of her stomach. Perhaps it’s abuse of notation.

Yeah, that’s not right. I’m not sure about painstakingly… it said it couldn’t make out the notation, and spat out what it thought it could read, and you never checked it - nor read…

> They are expensive, but that is partly because rail workers are well paid I must be an engineer for a different Network Rail