lambdas

6 ms·

1.
by lambdas 8d ago
“Stop calling it slop you guys, I’ll have you know I am even sloppier”
2.
by lambdas 20d ago
Well… yeah. But I didn’t blame the employees, I blamed the employer who must have seen the writing on the wall for a long time and yet let it come to this.
3.
by lambdas 2mo ago
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 forked it so you could w
4.
by lambdas 3mo ago
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 indices l
5.
by lambdas 4mo ago
I don’t think that’s Orion specific, I have the exact same issue with Safari and Firefox
6.
by lambdas 4mo ago
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, carefully considered an
7.
by lambdas 4mo ago
> 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 continues to go up.
8.
by lambdas 5mo ago
Nothing a little digital lisdexamfetamine won’t solve
9.
by lambdas 5mo ago
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 (personally it does feel th
10.
by lambdas 6mo ago
A pharmacist is someone who is a chemical practitioner though? “Man, these cryptographers didn’t know a thing about tailwind. Useless!”
11.
by lambdas 6mo ago
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; the implied au
12.
by lambdas 7mo ago
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 trained on the appropriated
13.
by lambdas 7mo ago
Mitchell Hashimoto doesn’t need LLM’s, LLM’s need Mitchell Hashimoto
14.
by lambdas 7mo ago
Sorry, I mean verify the semantics of what the LLM has generated is exactly what you were asking for.
15.
by lambdas 7mo ago
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 what the LLM’s have been
16.
by lambdas 7mo ago
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.
17.
by lambdas 7mo ago
Online safety act passed in the uk on 26/10/2023, aligning suspiciously close with the mysterious advent of OpenAI’s screening tool
18.
by lambdas 7mo ago
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.
19.
by lambdas 7mo ago
Those pesky whistleblowers, journalists, and political dissidents have had it good for far too long. They’ve needed taking down a peg
20.
by lambdas 8mo ago
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
21.
by lambdas 9mo ago
Other way round, no? TidalCycles predates Sonic Pi by a number of years
22.
by lambdas 9mo ago
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 just in time for the r
23.
by lambdas 9mo ago
> [..] 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 really capture the zei
24.
by lambdas 9mo ago
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 can. All whilst going
25.
by lambdas 10mo ago
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.
26.
by lambdas 10mo ago
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 it was to do directl
27.
by lambdas 10mo ago
> They are expensive, but that is partly because rail workers are well paid I must be an engineer for a different Network Rail
28.
by lambdas 11mo ago
Agreed. In addition to yours, notions like limits/colimits, equalisers/coequalisers, kernels/cokernels, epi/monic will be very hard to grasp a motivation for without a breadth of mathematical experience in other areas. L
29.
by lambdas 1y ago
Shivlov for the one and only text in linear algebra is rough. IMO, it’s a little terse and fast paced. Efficient if you’re already well versed enough to be dangerous, but otherwise I think might slow down the beginner to a crawl in places.
30.
by lambdas 1y ago
I hope I’m not adding 2 + 2 to get 5, but it’s incredibly convenient that a lot of people are being charged for supporting a proscribed group the same month as the online safety act is rolled out… The cynic in me almost wonders if when it c

More ›