IshKebab

12 ms·

301.
by IshKebab 3mo ago
It's a continuum... but I would say even Rust's type system is not in the realms of "formal verification". I think you need at least some kind of refinement types so you can say "an integer between 1 and 10"
302.
by IshKebab 3mo ago
You can literally tell from the box styling that it's AI now. Awful.
303.
by IshKebab 3mo ago
Just so you know, burning & cancer isn't the only reason to avoid strong sunlight - it also causes skin aging (i.e. wrinkles). If you don't want to be super wrinkly when you're old, wear suncream!
304.
by IshKebab 3mo ago
Any descriptive term where people can't agree on what it means is completely useless. So there's no point trying to argue "REST means this " - the fact that so many people have done that already makes it pointless.
305.
by IshKebab 3mo ago
I think everyone knows the answer already - it's too hard to be worth it for most problems. The article doesn't disagree with that and was a good read anyway. Don't skip it because you already know the answer. IMO the reason
306.
by IshKebab 3mo ago
I think this is actually a reaction to the over-reaching laws various governments are enacting. This is the way it should work - parents check a box that says "the user is 13 years old", and then apps and websites can see what t
307.
by IshKebab 3mo ago
> I built this. Oh hi Claude, how are you doing?
308.
by IshKebab 3mo ago
I have less sympathy for their AI attack after reading that AI prose. Pretty crazy capabilities anyway! Are the "it's just a marketing stunt" people still around?
309.
by IshKebab 3mo ago
What are the "so many better alternatives"? Google Docs is pretty decent but a fair bit more basic. Proper technical authoring systems like Typst, LyX and LaTeX are way too hard for the average person. LibreOffice is much worse th
310.
by IshKebab 3mo ago
Extensions extensions extensions... > There certainly aren't any wayland protocols to do [seamless windows] I think wprs can do this (it calls it "rootless") but I haven't actually got around to trying it yet.
311.
by IshKebab 3mo ago
There's this: https://goldilocklabs.com/products/silentglass And this: https://git.cuvoodoo.info/kingkevin/board/src/branch/hdmi_fi... But I'm not sure they would block it
312.
by IshKebab 3mo ago
That's because Dell monitors are extremely popular with businesses.
313.
by IshKebab 3mo ago
Pah at least women get a decent number of sizes. Where are my Extra Medium t-shirts?
314.
by IshKebab 3mo ago
Yes it's super annoying, especially for shoes, which take a ton of effort to find. I guess they do it to appeal to their biggest customers - people who can't resist buying way more shoes than they need. But it does seem weird for
315.
by IshKebab 3mo ago
Well software has gradually improved and VNC hasn't so of course it's "software ageism". In any case if you were seriously not aware of VNC's shortcomings compared to modern alternatives: 1. Hilarious security. Pass
316.
by IshKebab 3mo ago
Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!
317.
by IshKebab 3mo ago
> This is a feature, not a bug. Uhm no. I wanted to know who real people were. At the time it was the much more secure and private than anything else because you needed to be at the same university to see anyone's accounts, and the
318.
by IshKebab 3mo ago
Can't you just cache them?
319.
by IshKebab 3mo ago
Facebook didn't have the feed initially either (and it was really disliked when it was introduced - people thought it was like stalking). But yes to your second point. Real people who you actually wanted to know and had actually met we
320.
by IshKebab 3mo ago
> Did you miss Myspace and Friendster? MySpace was a) awful, b) only used by a tiny tiny fraction of people (1% maybe), and c) rarely had people's real names & photos on it. Not remotely comparable to Facebook. Even fewer people
321.
by IshKebab 3mo ago
It is wrong, but so are you. The truth is that social networks are big because they HAD genuine utility. The Facebook was amazing... at least until about 2010. I was at uni when it started and I vividly remember thinking "I wish ther
322.
by IshKebab 3mo ago
I'm not exactly sure what you mean by "universal value", but I would say to be "table stakes" (i.e. not optional), it has to have overwhelming value. I think outside some fairly niche areas (e.g. programs that don&#
323.
by IshKebab 3mo ago
I mean... I'm sure it's not easy being a disabled artist but this feels a lot like undeservedly blaming the rest of society. The benefits cliff is a real problem (and the UK seems intent on making it worse). But "ooo nasty ca
324.
by IshKebab 3mo ago
> Humans can solve novel problems using sparse information. LLMs can’t do that. You haven't been following the news recently! > Reasoning is a complex cognitive process that involves causal understanding, mental modeling, intenti
325.
by IshKebab 3mo ago
> Also „reasoning“ is actually a bad word for what really happens. I don't see why. We can really only detect reasoning from external behaviour. You can't say "AI isn't reasoning because it's _just_ matrix multip
326.
by IshKebab 3mo ago
> the way LLMs work is inherently different from brains, though we use similar terms, hence the confusion I'm not confused. I know the difference. That was my second point - there may be some structural requirements that LLMs don&#x
327.
by IshKebab 3mo ago
He seems to be sorting of wanting there to be a higher meaning to life but at least not falling for traditional religions. > I think I would say that the universe has a purpose, it's not somehow just there by chance ... some people,
328.
by IshKebab 3mo ago
Even though we know brains are conscious it seems absurd to thing that there is some non-computational magic in the brain is the secret to consciousness. There are some religious people who clutch at nonsense like quantum microtubules, but
329.
by IshKebab 3mo ago
Why though? There are only two reasonable reasons I can think of: 1. Scale. There's clearly a scale of consciousness (a jellyfish isn't very conscious but an ape is). Current LLMs are so small (on the scale of brains) that they mu
330.
by IshKebab 3mo ago
This doesn't answer the question posed in the title unfortunately. I am none the wiser about how it's going. The author just speculates that the rewrite isn't actually complete.

More ›