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. There was some drama when someone…
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 surely you’d want to be using de Brujin…
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 Theory. So much has to be pragmatised,…
> 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 moment, whilst power and memory usage…
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 certainty that X is on a death spiral…
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 tautology was certainly intentional;…
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 smart only by inference, it’s been…
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 has solely been curiously following…
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 the store.
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 apartment developments
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. I picked up Linux at 13, fortuitously…
> [..] 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 Haskell For Great Good and Land of Lisp…
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 it gets as much noise free data as it…
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 the articles for context, just assumed…
> They are expensive, but that is partly because rail workers are well paid I must be an engineer for a different Network Rail
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. There was some drama when someone…
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 surely you’d want to be using de Brujin…
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 Theory. So much has to be pragmatised,…
> 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 moment, whilst power and memory usage…
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 certainty that X is on a death spiral…
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 tautology was certainly intentional;…
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 smart only by inference, it’s been…
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 has solely been curiously following…
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 the store.
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 apartment developments
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. I picked up Linux at 13, fortuitously…
> [..] 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 Haskell For Great Good and Land of Lisp…
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 it gets as much noise free data as it…
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 the articles for context, just assumed…
> They are expensive, but that is partly because rail workers are well paid I must be an engineer for a different Network Rail