N_Lens

17 ms·

331.
by N_Lens 9mo ago
The multithreading bug in Isabelle is fascinating from a systems design perspective: threads racing ahead assuming a stuck proof will succeed, creating false positives. That's exactly the kind of subtle concurrency issue that makes ver
332.
by N_Lens 9mo ago
Middle class in rich countries is getting impoverished and converging with the poor countries, I guess that’s one way to become “more equal”.
333.
by N_Lens 9mo ago
Getting '502 Bad Gateway'
334.
by N_Lens 9mo ago
The files have some fascinating evidence: Trump is/was owned by Putin/Kremlin. Elon Musk wanted to go to the parties but was too cringe and didn't pass the vibe check. Ghislaine Maxwell was a Reddit power-mod. Epstein had Moo
335.
by N_Lens 9mo ago
The law (and the system/society) generally serves capital, instead of humans. That's why big corporations can both use copyright against smaller companies and individual creators, while also ignoring the same copyright laws when i
336.
by N_Lens 9mo ago
The law (and the system/society) generally serves capital, instead of humans. That's why big corporations can both use copyright against smaller companies and individual creators, while also ignoring the same copyright laws when i
337.
by N_Lens 9mo ago
This actually looks substantial unlike most of the AI agent grifting I see on HN
338.
by N_Lens 9mo ago
Your post getting downvoted is classic “they hated him because he spoke the truth”. WW3 is an information war, a war for narrative control.
339.
by N_Lens 9mo ago
He’s more robotic than an LLM
340.
by N_Lens 9mo ago
A provocative title (and start), but boy what an amazing read!
341.
by N_Lens 9mo ago
I really enjoyed Nancy Drew in my youth, nice collection here.
342.
by N_Lens 9mo ago
Ye olde boiling frog
343.
by N_Lens 9mo ago
Article is very sympathetic to Kanye, perhaps because nowadays it’s easy to demonize truly crazy rich people.
344.
by N_Lens 9mo ago
Wonder what the actual reason for being arrested was given everything she did is pretty much par for the course these days.
345.
by N_Lens 9mo ago
Nice work, love the Nioh series!
346.
by N_Lens 9mo ago
Goes against most of the research in Criminology & Criminal Justice. Some pretty bad takes here.
347.
by N_Lens 9mo ago
Not to disagree with the author as I feel their passion for language semantics is probably valuable “somewhere”. However, as an engineer I find Go very easy and usable despite these nits.
348.
by N_Lens 9mo ago
Japanese cities have extensive train networks making it easy, quick and cheap to get around. Most people living in Tokyo or other major Japanese cities don’t own cars. This makes the cities much more liveable and community oriented.
349.
by N_Lens 9mo ago
“Gee thanks, I’m cured!” energy
350.
by N_Lens 9mo ago
The economics and quality of Chinese EVs are remarkable and it is only through massive tariffs and protectionism that US & EU consumers are “protected” against better cars at a cheaper price. I do appreciate the fact that letting China
351.
by N_Lens 9mo ago
More “agents” shilling. No real world use case as of now, except grifting the gullible.
352.
by N_Lens 9mo ago
Sounds more like the Mathematics rather than Physics, to be pedantic.
353.
by N_Lens 9mo ago
Just rolls off the tongue!
354.
by N_Lens 9mo ago
I thought it’s when Claude aays so with a green checkmark!
355.
by N_Lens 9mo ago
Sounds like a quick way to produce slop/spaghetti and burn tokens at 4x the speed. As it is, the bottleneck isn’t code generation speed but human verification and validation.
356.
by N_Lens 9mo ago
Sadly we’re in the era where everything has a price but nothing is valued.
357.
by N_Lens 9mo ago
Many such effects compound with time, and every additional year of regular exercise adds compounding benefits in multiple systems across the physiology.
358.
by N_Lens 9mo ago
Capitalists earn money through control of capital. They're actually parasites that extract all the labour and value from others below them in the system. Capital is taxed lower than labour in most developed countries, at every turn cap
359.
by N_Lens 9mo ago
It's not just about logic, it's about data. The middle class is becoming impoverished and increasingly more precarious while the wealthiest are capturing ever larger gains. Capitalism concentrates capital in fewer hands.
360.
by N_Lens 9mo ago
Probably backdooring end user machines by pushing updates with vulnerabilities for the purpose of spying, data exfiltration & control.

More ›