HN user

throwoutway

3,756 karma
Posts315
Comments937
View on HN
en.wikipedia.org 9d ago

Lessons of Darkness

throwoutway
4pts0
www.cbre.com 13d ago

The Shifting Landscape of Headquarters Relocations: 2026 Update

throwoutway
2pts0
www.artistcorporations.com 21d ago

How Artist Corporations Became Law

throwoutway
1pts0
akrites.org 21d ago

Linux Foundation: Akrites – Patch the Commons, Together

throwoutway
2pts0
www.qubes-os.org 2mo ago

Qubes OS: A reasonably secure operating system

throwoutway
1pts0
webkit.org 4mo ago

Locking in WebKit – WebKit

throwoutway
2pts0
militarnyi.com 4mo ago

Ukrainian Drones to Receive Shield AI's Cutting-Edge Hivemind Autonomy System

throwoutway
3pts0
standardnotes.com 5mo ago

Standard Notes – End-to-End Encrypted Notes App from Proton

throwoutway
2pts2
stereogum.com 5mo ago

Chance the Rapper Is Now Chance the AI Company Spokesman

throwoutway
1pts0
arstechnica.com 5mo ago

Study: Meta AI model can reproduce almost half of Harry Potter book

throwoutway
1pts0
techcrunch.com 5mo ago

Notepad++ says Chinese government hackers hijacked software updates for months

throwoutway
3pts1
math.stackexchange.com 6mo ago

Intuition why the derivative of $e^x$ is itself

throwoutway
2pts0
nikonole.com 6mo ago

Antiwar AI

throwoutway
4pts0
objective-see.org 6mo ago

Objective-See: Lulu

throwoutway
2pts0
www.twz.com 6mo ago

Tempest Future Fighter Aims for "Extreme Range," Twice F-35 Payload

throwoutway
4pts0
github.com 6mo ago

Flyspeck: The formal proof of the Kepler conjecture

throwoutway
1pts0
blog.invisiblethings.org 7mo ago

Intel x86 considered harmful [pdf]

throwoutway
7pts1
www.youtube.com 7mo ago

The Worst Diving Accident in History – The Paria Diving Incident [video]

throwoutway
3pts1
www.cs.utexas.edu 7mo ago

McCarthy's 91-function: an unfortunate paradigm (EWD 845)

throwoutway
2pts0
www.businessinsider.com 7mo ago

'Big Short' Investor Michael Burry Says OpenAI Is Headed for 'Netscape Fate'

throwoutway
9pts7
www.npr.org 7mo ago

Oseberg longship, built by Vikings, completes its final voyage

throwoutway
2pts0
www.eu-inc.org 7mo ago

EU–INC: Pan-European legal entity

throwoutway
2pts1
englishtest.duolingo.com 8mo ago

Institutions That Accept Duolingo English Test

throwoutway
3pts0
www.hollywoodreporter.com 9mo ago

Why George R.R. Martin Broke the Cardinal Rule of Hollywood (2024)

throwoutway
13pts13
www.lowes.com 9mo ago

Lowe's X Perplexity (AI)

throwoutway
1pts0
www.cnbc.com 10mo ago

Walmart's lax vetting helped Marketplace boom, but came with fakes and frauds

throwoutway
4pts1
sbs-group.army 10mo ago

Ukraine Unmanned Drone Tracker

throwoutway
3pts1
github.com 11mo ago

Pyautogui: A cross-platform GUI automation Python module for human beings

throwoutway
4pts0
www.sunsethq.com 11mo ago

Sunset – We Help Companies Wind Down

throwoutway
2pts0
openrouter.ai 1y ago

OpenRouter

throwoutway
2pts0

You're also wrong

"Math is something humans invented"

Majority of mathematicians are platonists and believe arithmetic was existed and was discovered and was not "invented".

"There is no logic per se"

There is logic to it! Most logicians are mathematicians at heart. See Russel, Godel, Hilbert, etc

"no beauty of Mathematical Logic"

Mathematicians do focus on beauty. Entire books have been written on this. G.H. Hardy in A Mathematician's Apology even said math MUST be beautfiul

"Proofs are religious things"

What are you going on about...

No mention of starting with a design specification & then tied to formal verification the whole way?

It sounds interesting and a step forward (never heard of library Os itll now), but why won't this run into hundreds of the same security bugs that plague Windows if it's not spec'd and verified?

If they said "could" then I would agree but they said it did happen. those actors DID do it, not could. So it's not a think of the children excuse. Unless they are outright lying but I doubt the security team came up with a business type excuse

I haven't logged into Plex in a while but did decide that the next time I need it will just setup Jellyfin instead. Nice to see they support all my devices iOS AndroidTV FireTV

Six years later, Hammersmith Bridge remains closed to vehicles. The solution proposed by local authorities costs £250m and has no funding.

If this is not a failure of Mayor of London Sadiq Khan, then who? Where I grew up, new bridges were paid for by tolls until the building cost was paid then taxes covered occasional maintenance.

Netflix says they’re keeping the company separate

For a while... Eventually, you can expect that functions will be streamlined, compacted, and impacted

I agree the article seemed disingenous and almost felt like it was shady (can you believe the EU lets them cancel in a sane way?!). When I hear ARR, I don't think of an annual contract. ARR is equivalent to MRR*12 and can be a mix of contract types or even utility spend ($ per bytes). I understand that "committed spend" is when a business agrees to pay $XX annually, but that's not defined by ARR.

Meta Ray-Ban Display 10 months ago

OP is taking videos of his baby with these when Meta's page here doesn't event mention data privacy or security of the user's information or how it protects them

Source on the 100+ drone pilots an cell carriers? I've been hoping to find an article on how they staged the pilots for manual guidance. I imagined they would have had to tunnelled all that traffic to each operator from the truck, but the cell towers is clever