fennecs

What is the nuanced thing you want to discuss?

Maybe just talk about something specific instead of just some broad “woke has gone to far”.

Makes me think of some sort of symmetrisation.

So for a 6 sided dice, you roll it 6 times in a row. You discard your 6 rolls unless you get a permutation of {1,2,3,4,5,6}, and in that case pick one of the rolls consistently, eg the first or the last.

With 99% certainty, every luxury SUV with fancy tyres and wheels in my suburb is definitely not a farm vehicle, nor has it ever been used off road.

I disagree, polluting vehicles are basically an enemy occupying force in our cities. Unless it’s a work vehicle, emergency services, there’s no reason to drive such a thing around a city. It’s not like the owners have no choice too, they could afford a smaller more practical car. Every bit of resistance helps. Hacking peoples behaviour is what we need.

Most suburbs in a big city are infested with people driving cars. If that was reduced and it was no longer fashionable to own a fast loud car it would be great. Lockdown with hardly anyone on the road was wonderful.

I’d be happy if it eliminated cars driving around through my suburb loudly at night. Eliminating rampant consumerism sounds great too.

I don’t disagree that computer science intuition isn’t interesting, or that CS people can’t contribute. There are plenty of deep connections all over the place. You can conjecture all you want. My issue is with the tone.

Except if they are framed as authoritative statement, rather than a genuine question or even wild conjecture. Then if a non expert reads it, believes it comes from someone expert, they can then take away something completely incorrect. Yes ask questions, but be honest.

Amusing to see all the pessimistic comments form programmers who have zero understanding beyond high school maths thinking somehow there is a magic solution to all the problems in physics like you can just refactor everything.

Quantum field theory is definitely not stuck in the 1920s. Modern physics has a lot more going on than 19th century mathematics. We understand quite a lot about the mathematical structure underpinning quantum field theories.

Quantisation is a nearly well understood process, it’s not simply heuristics and guesswork.

Unfortunately, it’s not like much smarter than anyone posting here haven’t considered lots of wild ideas, it’s just that a lot of them haven’t worked, and we have been funnelled into what we currently have. There are infinitely many more interesting mathematical objects and ideas possible than what is allowed.

Quantum mechanics, or say quantum field theory, has really good predictive power. What ever comes next needs to at least be consistent. Unfortunately I think things are going to get more complicated. Don’t use your intuition developed from grinding out web crap to try and reason about the forefront of human knowledge.

And vast miles of suburban sprawl coupled with endless roads is not boring?

Come on, in this case it’s pretty obvious, your website was not doing anything of value. Just a random middle man expecting to be paid for existing. Put your promo code on your website fine, but then wanting to advertise on it? That just seems like a dodgy thing to do.

Curious also meaning insanely racist but it’s okay I call myself a libertarian so I’m not a nazi.

It’s not like memoisation and thunks are new features. What has this language added in this space I can’t do in say Haskell?

>written by a bunch of html/js developers

Ah so because they have rediscovered something it’s meant to be revolutionary?

I agree, but even more generally avoid abbreviations. A reader has to spend time thinking about what you are talking about. It’s detracting.

And we all helped build it…

Clearly producing value for shareholders needs to come before ethics, morals and general decency.

Why on Earth would I want to use the command line to look at who called me? When has that ever been useful for you?

Personally I can’t imagine a more awful thing than using the command line on a small phone screen to do any serious development. Even a tablet gets claustrophobic.

A neural network is only producing a probably bad approximation (but maybe visually okay) solution to the Navier stokes equations. The real lava lamp is doing it exactly.

Maybe the neural network produces good enough looking pictures and it’s cheap to run instead of solving the PDEs. But don’t think its going to be that accurate.

I’m sure we could dim the cities after 12am. Also lights are not the solution to crime, it’s merely preventing some symptoms rather than addressing the actual issues.

I think it would be great to also impose noise limits/ car curfews.

If you are in a bad area you are in a bad area. Just seems like correlation.

Has anyone tried a version of copilot but for mathematical proof?

I don’t know, being nice to car drivers is a bit like appeasement, I think a bit of passion could be good. I think on HN at least you can try and empathise as to why they might feel so strongly. IRL of course you could use a bit of a more diplomatic tone.

Why do it numerically? Show that e^ix converges, then you can reorder the sums, grouping the odd and even terms you get series expansions for cos(x) and i sin(x).

Feel what you will, but if they aren’t affecting you, there is no need to interact and discriminate. Just let them get on with it. Back peddling claiming it is just a joke is no excuse. Adjust your attitude. Someone looking through your comments and seeing anime watcher might make the same comment about you.

They are rightfully worried about old commits? Maybe it's time they switched to a more secure language which can more easily detect malicious code. To be honest C seems critically insecure without a whole lot of work. If a bunch of experts even struggle, seems like they need better tools. Especially since Linux is so important, and there are a lot more threats, Rust seems like a good solution.

Apart from some perhaps critical unsafe stuff which should have a lot of attention, requiring everything to be safe/verified to some extent surely is the answer.

The continued fraction form is particularly nice. It seems it is just a nice way to write a completion. Consider the approximation for sqrt(x):

Pick a, b such that x^2 > a and b=x^2 - a. Then there is a continued fraction of the form:

x = a + b/(2a + b/(2a + \dots)).

The other way to find the sqrt is with Newton's method. The rationals given by Newton appear in the list generated by the partial fraction (convergents).

The first step in the completion is going to involve a tangent space, which I think looks a bit like the first step in Newton. I think the idea with storing information in a "continued fraction" form could then be generalised a bit. It probably applies to more things than just irrationals.

The fact there are multiple continued fractions for real numbers is okay because it is a quotient, you have picked a representative.

The sequence is certainly not useless?? This is how you construct real numbers. It is what is called a completion. A real number is a sequence of rationals. You take the space of all sequences of rationals and then quotient out by an ideal of sequences which converge in a sense. I think about the limit object by thinking to some finite depth (truncation). The existence of a limit object is because there are arrows between the different finite steps. A continued fraction is just a nice representation, it’s the same thing.

Supposedly yes neutrons [0 they give a link under causes]. I guess neutrons are more penetrating than protons, can pass through chips/buildings etc more easily, and even though weak interaction, it ends up more significant contribution than protons etc that interact more easily.

[0] https://en.m.wikipedia.org/wiki/Soft_error