fouronnes3

Is there, somewhere, a list of theorems that were considered proved and true for a while, but after attempts at formalization the proof was invalidated and the theorem is now unknown or disproved?

> It doesn't generate 5 bloody files when compiling

This was a question [0] I asked on stack overflow more than 15 years ago, and is to this day the most up votes I've gotten on SO. I still get notifications from it occasionally.

[0] https://tex.stackexchange.com/questions/11123/prevent-pdflat...

This is one of those things where both extremes of madness and genius wrap around to infinity and meet again.

The mess has ended thanks to uv.

Unfortunately home to grindadrap [0], one of the most cruel traditions in the world where hundreds of white dolphins are hunted with high speed motor boats and painfully slaughtered for sport.

[0] https://www.seashepherdglobal.org/latest-news/slaughter-dolp...

> Yes the metric system is better

You're changing the definition of "better" so you can have your cake (admit X is better than Y) and eat it too (prefer Y over X). It's ok to like fun things! It's ok to like Imperial and weird grammar, but then you can't also claim that you agree it's worse.

duolingo x snake

In firefox: history -> snake game -> forget about website

I cooked cacio e pepe a few times over the past few months specifically because I saw it on HN there! It's delicious. Try it!

The road to hell is paved with 40 years of backwards compatibility requirements.

This is a good article but it only scratches the surface, as is always the case when it comes to C++.

When I made a meme about C++ [1] I was purposeful in choosing the iceberg format. To me it's not quite satisfying to say that C++ is merely complex or vast. A more fitting word would be "arcane", "monumental" or "titanic" (get it?). There's a specific feeling you get when you're trying to understand what the hell is an xvalue, why std::move doesn't move or why std::remove doesn't remove.

The Forest Gump C++ is another meme that captures this feeling very well (not by me) [2].

What it comes down to is developer experience (DX), and C++ has a terrible one. Down to syntax and all the way up to package management a C++ developper feels stuck to a time before they were born. At least we have a lot of time to think about all that while our code compiles. But that might just be the price for all the power it gives you.

[1] https://victorpoughon.github.io/cppiceberg/

[2] https://mikelui.io/img/c++_init_forest.gif

If you consider the fact that only half of Earth is experiencing summer while the other half is experiencing winter, there's an obvious madlad solution to instead of storing power, transfer it from the summer hemisphere solar panels to the winter hemisphere electric heaters, somehow.

I mean why does the laptop need to have that sensor?

Ok but why?

There's something that's always been deeply confusing to me about comparing the Jacobian and the Hessian because their nature is very different.

The Hessian shouldn't have been called a matrix.

The Jacobian describes all the first order derivatives of a vector valued function (of multiple inputs), while the Hessian is all the second order derivatives of a scalar valued output function (of multiple inputs). Why doesn't the number of dimensions of the array increase by one as the derivation order increases? It does! The object that fully describes second order derivation of a vector valued function of multiple inputs is actually a 3 dimensionnal tensor. One dimension for the original vector valued output, and one for each derivation order. Mathematicians are afraid of tensors of more than 2 dimensions for some reason and want everything to be a matrix.

In other words, given a function R^n -> R^m:

Order 0: Output value: 1d array of shape (m) (a vector)

Order 1: First order derivative: 2d array of shape (m, n) (Jacobian matrix)

Order 2: Second order derivative: 3d array of shape (m, n, n) (array of Hessian matrices)

It all makes sense!

Talking about "Jacobian and Hessian" matrices as if they are both naturally matrices is highly misleading.

Thanks, now I want to read a sci-fi short story where LLM usage has gotten so high that human-to-human language has evolved to be like LLM prompts. People now talk to each other in very intimidating, very specific paragraph long instructions even for simple requests and conversation.

Why drive? Go all-in and wingsuit fly through a pylon [1]

[1] https://www.youtube.com/watch?v=PRJ2o27gGTM

When are we getting a GPLv4 that's AGPL + no LLM training? This is overdue.

Free startup idea: An appliance brand that makes every home appliance with the following features:

* Absolutely never any beep or sound

* Direct controls, no "programs" (i.e. microwave has two knobs: power and time, etc.)

* No network connectivity of any kind (obviously)

With a strong brand identity and good marketing these would sell like sliced bread.

AGI is when model names become weirder than user agent strings.

I guess it's those two same groups arguing about vibe coding. How many of group 1 say LLMs are too low quality when they really mean that it's diminishing their love of coding? And how many of group 2 say LLMs are the best thing ever when they really mean that they are diminishing their pain of coding?

I'm a hard group 1, and I don't really mind if LLMs take my job, just please don't take my passion.

Or a straight up fork of CSS that removes the legacy stuff and fixes wrong defaults so that tips like this are unnecessary in the first place.

Does having experience implementing a web browser engine feature change the way you write HTML or CSS in any way? Do you still google "css grid cheatsheet" three times a week like the rest of us?

This does not undermine chamomeal's argument. The whole point is that back in the N64 days, they could not possibly have had that experience. There was no way to even make it happen. The fact that today it's a real possibility when you've done nothing obviously wrong is a definite failure.

Very cool project. I don't use tailwind but I have been thinking that the color palette part is great. Love that you can export it all to a big list of CSS variables.

> clandestine reverse Solar Oberth Manoeuvre

is now my favourite xkcd 2326 example.

My favorite game watching TNG is trying to figure out how the communicators somehow always perfectly know when the user means to use them. It's very common for a character to tap it to initiate the conversation, but then the back and forth is magically seamless, as well as the end of the communication. All while being mixed up with talking to other characters mid conversation.

Why can't we just pay with a payment card at electric chargers? Drives me insane.

Please no one ask it to maximize paperclip production.

Great example of the power of vibe coding. The first item is literally "Kiro: A new agentic IDE".