Hacker News Reader

noosphron There's never been a better time to go into math (by: 3blue1brown) [video]

>Why should we be estatic that some signifigant math problem was solved by machine rather of a human being in a language only the machine understands?

Why should I be ecstatic that someone solved a problem using Hilbert Calculus when I can only understand Sequent Calculus? [0]

[0] This is a joke. No 'real' mathematicians do systematic proofs. What gets posted in math journals is the equivalent of architecture diagrams.

noosphron Zuckerberg's Meta Takes Down No Kings Instagram During Protest Day

And we replace one tyrant for dozens. It's not much of an improvement.

noosphron Zuckerberg's Meta Takes Down No Kings Instagram During Protest Day

Because for the last 10 years anyone who was pro free speech was called a fascist in the US.

noosphron The Economic Complexity of the Western Roman Empire

>honored tradition of ignoring the fact that women exist and do stuff

Yes, they birthed and raised children.

As someone raising children, and having been a child myself, the erasure of children from the historical record by academics is far more egregious than ignoring what a fraction of women did.

noosphron Stopping sand from destroying a hydropower turbine [video]

One unexpected side effect of the torrent of AI slop on YouTube is that I'm so happy to see a human made video that I'm willing to forgive someone uming and ahhing and using hand drawn diagrams with spelling mistakes in them. What a world to live in when low quality content is now high quality.

noosphron Do dentists know what they're doing?

I mean yes from a biological point of view, but from a technical one the original dentist sounds incredibly talented being able to make square holes that defy explanation.

noosphron The United Kingdom generates less electricity per person than in the 1970s

Apart from thousands of people dying each year.

noosphron The United Kingdom generates less electricity per person than in the 1970s

Not keeping up with the developed world is degrowth.

I hope Europeans remember their colonial history because with how they are managing their economies they are going to have it revisited on them in a generation or two.

noosphron The United Kingdom generates less electricity per person than in the 1970s

Dying from heatstroke in the summer is a third.

noosphron AI is a tool and using it well takes skill

Moore's law has been dead for 20 years.

noosphron AI is a tool and using it well takes skill

You can always put the brain in a jar: https://corticallabs.com/cl1.html

noosphron AI models can provably hide arbitrary capabilities

Given a choice between giving my data to OpenAI or Anthropic I would rather send it to the CCCP.

At least Chinese drones don't have the range to blow me up yet.

noosphron Codex CLI installs a persistent, self-updating background daemon by default

Just have an emphemal VM which you nume daily.

Its the only way I trust to install anything from these companies.

noosphron Thinking will become a hobby

We have a back up plan. It's called China.

noosphron “Math 2.0” will need to value mathematical progress more holistically

And where's the barycenter located? When keeping an open mind make sure your brain doesn't fall out.

noosphron We’re forgetting what darkness feels like

The rat study is as clear as exposing the rats to asbestos and them getting sick.

noosphron Red Hat being phased out of existence?

Redhad has done more damage to open source Linux than Microsoft did. Dying is the best thing it can do.

noosphron We’re forgetting what darkness feels like

https://pmc.ncbi.nlm.nih.gov/articles/PMC10452187/

In mice the link is clear and simple to test.

https://pmc.ncbi.nlm.nih.gov/articles/PMC11311462/

In people for what cancers have been investigates there is also evidence of a link, but not enough studies have been done to say that it's the case for all cancers. This is absense of evidence rather than evidence of absence.

noosphron We’re forgetting what darkness feels like

>they're environmentally friendly from the narrow perspective of energy use but they make the lived environment much worse in other ways, particularly the horrid clinical high-K ones people who want to make a 'modern' ambiance love so much.

They are friendly in the same way the feeding a baby petrol is. Sure it's more energy efficient, but humans aren't machines where input = output. It's going to take decades to get rid of all of them, and then even longer for all the cancers that blue light causes to work themselves out. It's amazing that we invented a new asbestos and put a green wash on it.

noosphron We’re forgetting what darkness feels like

You can see the milky way at any location with a sqm of 19 or higher. True darkness is sqm 22.

noosphron We’re forgetting what darkness feels like

Outside of a few places like the Himalayas or Australia isn't not possible to see the darkness everyone lived in until street lighting.

This is the most accurate map and it still under reports light pollution under 21.5sqm https://www.darkskysites.com/

Worse satellite constilations may make it impossible to have a dark sky anywhere: https://arxiv.org/html/2604.09427v1

Led lights have caused such a massive increase in light pollution, let alone the effects on humans due to the blue spike, that they should be banned outright.

noosphron Show HN: Real-time Solar System with 526k asteroids and all tracked satellites

Thank you, this is terrifying.

noosphron AI needs $6T in annual revenue to justify data centre boom

The question is what was done to them in 2008 and 2010. You'd best read the history because it will happen to you soon enough.

noosphron NAND-16: a computer built from 277,248 NAND gates

I've build a similar project in university in two weeks with lisp, spending 30 minutes before bed on it. The difference being that it started with analogue voltages in the transistors.

I'm starting to think people impressed by LLMs are for the first time in their life not using a hammer on fastening screws and deeply impressed by tools that font fight them every step of the way.

noosphron AI needs $6T in annual revenue to justify data centre boom

Same thing that happened to blue collar work witch used to be the path to the middle class before the 1990s. The economy managed to create plenty of wealth without doing anything for 40% of the population.

noosphron US sanctions force The Netherlands off Microsoft and toward alternative NixOS

I would like to thank the US for single handedly killing the EU cashless society plans.

I would like to request the US sanctions all members of the EU parliament asap.

noosphron Updated Google Maps shows destruction of the city of Rafah

The British like usual.

noosphron The internet discovers TLA+. Now what?

TLA+ is what unit testing looks like when a mathematician designs it.