4ad

13 ms·

121.
by 4ad 2y ago
Yeah, in many ways the concept of a group is far more natural to us than the concept of natural numbers. I don't know why people make such a big deal of this, and why it's so badly explained in school.
122.
by 4ad 2y ago
The definition of natural numbers used in any sort of formalized mathematics includes zero. Without zero, you don't have induction (and ℕ wouldn't form a monoid).
123.
by 4ad 2y ago
When you're selling bullshit advertised as advice, I guess anything will do for stock. It doesn't matter what example you use, it's just a delivery vehicle for your bullshit. It's just like being a religious preacher, re
124.
by 4ad 2y ago
I don't visualize anything when I am thinking. I don't have aphantasia, I can easily imagine things when I want to, in fact I used to paint, it's just that when I am thinking, or doing any sort of intellectual work, I find vi
125.
by 4ad 2y ago
What a sad state for humanity that we have to resort to this sort of OCR/scrapping instead of the original data being released in a machine readable format in the first place.
126.
by 4ad 2y ago
I don't know what is the best Scheme implementation, but this book has little to do with Scheme though. Pie uses S-expressions for syntax, and happens to be implemented in Racket, but you don't interact with Racket directly.
127.
by 4ad 2y ago
Anyone use this? How refined/practical (whatever that means) is compared to Squeak and Pharo? I'm on a mac, how's HiDPI support? (Squeak is great here).
128.
by 4ad 2y ago
It appears you are correct, from https://help.openai.com/en/articles/8983142-how-do-i-enable-... > Memory is on by default. This is a disastrous default.
129.
by 4ad 2y ago
LLMs do not have persistent memory. OpenAI does. Persistent memory is nothing magic, it's just LLM context that you , the user, decided to automate its creation to an LLM that can consume 3rd party input. (In fact it's precisel
130.
by 4ad 2y ago
LLMs do not have persistent memory. OpenAI provides a feature called "persistent memory" that uses user's interaction with LLMs to automatically generate LLMs context. This is a feature of OpenAI, not LLMs, and it's noth
131.
by 4ad 2y ago
The user has asked the LLM to do web request based off untrusted input. The LLM is a completely stateless machine that is only driven by input the user fully controls. It doesn't do anything on its own. It's like the user runnin
132.
by 4ad 2y ago
What a nothingburger. LLMs generate an output. This output can be useful or not, under some interpretation as data. Quality of the generated output partly depends on what you have fed to the model. Of course that if you are not careful with
133.
by 4ad 2y ago
Footage of explosions: https://x.com/cherylwroteit/status/1836041510233444404 From the hospital (NSFW): https://x.com/nexta_tv/status/1836052147646955935 I am very surprised Hezbollah di
134.
by 4ad 2y ago
This is the system prompt it uses: You are an expert AI assistant that explains your reasoning step by step. For each step, provide a title that describes what you're doing in that step, along with the content. Decide if you need
135.
by 4ad 2y ago
Yeah, no, lossless compression is like zipping the file. The exact data can be reproduced by decoding.
136.
by 4ad 2y ago
> The development model of illumos is different from Linux and thus there are no Rust drivers in upstream illumos yet. But that is to be expected for new things. In our model, we take the time to mature new tech in a fork, and for rust,
137.
by 4ad 2y ago
Not true, you can use FIDO2 keys. You can even use SMS (but you shouldn't).
138.
by 4ad 2y ago
Do you have a specific device in mind?
139.
by 4ad 2y ago
> just for the fact that the screen better matches the ambient light. This happens by default on Apple devices and it's the second most important computer innovation in the past 15 years, IMO (after retina displays).
140.
by 4ad 2y ago
If you find light painful it means the light is too bright. Changing the color of the light is a bandaid. In my experience people use screens which are way, way too bright, and also they use computers in the dark when they shouldn't. U
141.
by 4ad 2y ago
https://en.wikipedia.org/wiki/Plaintext Pretending you misunderstand what I meant is detestable.
142.
by 4ad 2y ago
Open source is irrelevant as the protocol is plain text.
143.
by 4ad 2y ago
So for nothing then.
144.
by 4ad 2y ago
> Cue has no functions so there is nothing to recurse. CUE developer here. This is wrong. CUE doesn't have functions, but it does have abstraction and beta-reduction, just like lambda calculus. Types can refer to themselves. There i
145.
by 4ad 2y ago
For fun, here is CUE simulating an arbitrary but finite number of steps of Rule 110[0]: https://cuelang.org/play/?id=Ityqia88Mvq#w=function&i=cue&f=... [0] https://en.wikipedia.org/wiki/Rul
146.
by 4ad 2y ago
I am a CUE developer. CUE is primitive recursive. It also happens to fulfill your desired criteria for a "good" configuration language.
147.
by 4ad 2y ago
Except that today you can run top class models on your own hardware. Granted, you need a lot of compute, but this will only go down in price.
148.
by 4ad 2y ago
Except when you live in a building with communal washing machines and where you need to book time for laundry, as it is common in many European cities.
149.
by 4ad 2y ago
I wish washing machines had a fixed cycle duration. When I start the cycle my washing machines tells me the same duration, always, but in actuality it takes different amounts of time every time . Madness. I've been told this is a feat
150.
by 4ad 2y ago
And ZFS, and DTrace.

More ›