4ad

14 ms·

91.
by 4ad 2y ago
It's just price differentiation in action. A Polish ticket for the same train can be a third of the price of an Austrian ticket. People are rightfully pissed when this happens to them online, yet they seem to accept it for trains. I do
92.
by 4ad 2y ago
Even without a definition of intelligence, this is not what the paper is about, which only mentions LLMs in passing. And LLMs can be useful even if they are wrong, because formal verification (though Lean and such) checks the result. Are LL
93.
by 4ad 2y ago
> This is ultimately a kind of meta-programming. There is connection between advanced type systems and metaprogramming, you don't even need dependent types to reach it, GHC can express, for example, typed symbolic differentiation of
94.
by 4ad 2y ago
I am not versed in Ada, but Ada does not seem to have dependent types at all, in fact the author doesn't seem to understand what dependent types are. All his examples seem to revolve about arrays and bounded integers so I will stick to
95.
by 4ad 2y ago
> FrontierMath is a secret dataset of “hundreds” of hard maths questions, curated by Epoch AI, and announced last month. The database stopped being secret when it was fed to proprietary LLMs running in the cloud. If anyone is not thinkin
96.
by 4ad 2y ago
Okay, so? What is your point?
97.
by 4ad 2y ago
I've been living in Austria for 13 years now, and I still haven't learned the language. I couldn't find any German courses that would suit me. I found out I can trivially solve all exercises just by pattern matching. I'd
98.
by 4ad 2y ago
IG reels and YouTube shorts are crap because creators create good content only for the place where all the audience is, which is TikTok. When users open TikTok they expect TikTok-style content. When users open YouTube they don't expect
99.
by 4ad 2y ago
> Interaction nets are a very fast way to manage purely immutable data without garbage collection or reference counting.[...] HVM starts with affine types (like move-only programming), but then adds an extremely efficient lazy .clone() p
100.
by 4ad 2y ago
I can't find any information about how to start a new conversation as opposed to continuing an existing one. I asked the service itself and it doesn't know. In fact it doesn't even know it's behind a phone number.
101.
by 4ad 2y ago
There is this myth that having a weaker memory model can lead to higher performance. It sounds plausible, and it was a good idea to explore at the end of the 80s, but in the end it turned out that it's simply not substantiated by facts
102.
by 4ad 2y ago
> Where does Mullvad get all this money? From their customers.
103.
by 4ad 2y ago
The candidate seems to be more of a communist than anything[1], he wants 51% state control of all large corporations operating in Romania. Labelling him as right-wing is asinine. Actual communist parties are supporting him. Perhaps if peopl
104.
by 4ad 2y ago
The fact that we're having this discussion at all is because Telegram is not end to end encrypted by default (and groups chats are never E2E encrypted). I tried to explain this fact to a lot of my friends but I always received of pushb
105.
by 4ad 2y ago
The address space size limitations doesn't mean that only the least significants bits are used, the memory hole is in the middle of the address space[1]. I don't know what Linux does specifically (or under what configurations), bu
106.
by 4ad 2y ago
Link to relevant section: https://en.wikipedia.org/wiki/Pras#Legal_issues
107.
by 4ad 2y ago
> Types prevent me from writing code that I don't understand. Yes, thats the point.
108.
by 4ad 2y ago
I know what his program and his political ideology are, although that is completely irrelevant to the question.
109.
by 4ad 2y ago
So when you don't like a candidate, it means that everyone who voted for that candidate has been fooled?
110.
by 4ad 2y ago
Other commenters have already expressed their opinion about the shallowness and inadequatenessof the article, so I will touch on a different, more technical point. The author doesn't understand why OCaml (and Haskell, and many HM-deriv
111.
by 4ad 2y ago
A sling is more dangerous than that thing.
112.
by 4ad 2y ago
It would help if you specified exactly what you didn't like about them. I use Apple Music, I use it because it's lossless and it's integrated in the Apple ecosystem. The UX of the actual Music app is... not great, but tolerab
113.
by 4ad 2y ago
Plus this idea of "updating the book" makes it sound like this was some sort of experimental aircraft where they still have to finalize the manual. This is a production aircraft, over 1000 were built, it is deployed in 30+ countri
114.
by 4ad 2y ago
Brian Kernighan is my favorite technical writer (alongside Doug McIlroy, but the latter didn't write any books, Research Unix manual pages are an art form in themselves). Basic books teach you the how, good books teach you the why, but
115.
by 4ad 2y ago
My family lives in the US, I have lived my childhood there, as well as a good portion of my adulthood. I know very well what kind of problems the US has, but I think a lot of US people have a very naïve view of Europe ("ah they just so
116.
by 4ad 2y ago
"You're living life wrong" pretty much sums up all "advice" I get from Austrians when I point out any problem with Austria. Now it turns out I need to have "small rooms" and "deal with the noise"
117.
by 4ad 2y ago
AFAICT there are no technical implications for this action, so nothing changed, really.
118.
by 4ad 2y ago
No, it should have been done over 70 years ago.
119.
by 4ad 2y ago
This is greenwashing advertising. Pure and simple.
120.
by 4ad 2y ago
Playing with trains on a track.

More ›