news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Colombian singer Shakira acquitted of tax fraud in Spain

https://www.reuters.com/world/americas/colombian-singer-shakira-acquitted-tax-fraud-spain-2026-05-18/

14•fodmap•1h ago

Comments

fodmap•1h ago

This is a great victory because Spain's tax system contains structural mechanisms that turn 'Hacienda' into judge and jury, incentivising the aggressive pursuit of taxpayers.

https://spanishtaxpickpockets.com/

tecleandor•24m ago

What, a law firm that represent billionaires, Russian oligarchs, and tax avoiding digital nomads acting against taxes? They can leave our beaches if they don't like paying taxes, we won't miss them.

tecleandor•30m ago

That's just ridiculous. Her kids are schooled in Barcelona.

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

http://www.csl.sri.com/users/neumann/psos.pdf

11•rurban•35m ago•0 comments

GenCAD

https://gencad.github.io/

326•dagenix•12h ago•82 comments

Crystals found inside wreckage from the first nuclear bomb test

https://www.scientificamerican.com/article/strange-crystals-found-inside-wreckage-from-the-first-...

80•jumploops•2d ago•24 comments

Germany goes from labour shortages to hiring freezes

https://www.ft.com/content/2a6c1cb9-6c11-41c8-a8ea-a367b8799126

24•doener•1h ago•10 comments

It is time to give up the dualism introduced by the debate on consciousness

https://www.noemamag.com/there-is-no-hard-problem-of-consciousness/

88•ahalbert4•7h ago•222 comments

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

https://github.com/tech4bot/rk3562deb

371•tech4bot•21h ago•171 comments

Ask an Astronaut: 333 hours of Q&A footage with astronauts

https://askanastronaut.issinrealtime.org/

151•gaws•2d ago•12 comments

Multiple commencement speakers booed for AI comments during graduation speeches

https://www.nbcnews.com/video/multiple-commencement-speakers-booed-for-ai-comments-during-graduat...

20•wrxd•1h ago•1 comments

Jank now has its own custom IR

https://jank-lang.org/blog/2026-05-08-optimization/

144•DASD•2d ago•20 comments

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

https://github.com/MinishLab/semble

334•Bibabomas•18h ago•112 comments

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound

https://hellmood.111mb.de//wake_up_16b_writeup.html

143•HellMood•11h ago•31 comments

Profunctor Equipment in Haskell

https://bartoszmilewski.com/2026/05/16/profunctor-equipment-in-haskell/

23•g0xA52A2A•1d ago•2 comments

Prolog Coding Horror

https://www.metalevel.at/prolog/horror

142•RohanAdwankar•13h ago•58 comments

kharp – k version 3 Language Interpreter in C#

https://github.com/ERufian/ksharp

22•tosh•1d ago•4 comments

A Good Lemma Is Worth a Thousand Theorems (2007)

https://sites.math.rutgers.edu/~zeilberg/Opinion82.html

61•susam•2d ago•12 comments

Magical Realism: “Northern Exposure” 25 Years Later (2015)

https://www.rogerebert.com/streaming/magical-realism-nothern-exposure-25-years-later

118•walterbell•2d ago•49 comments

Tesla Solar Roof is on life support as it pivot to panels

https://electrek.co/2026/05/14/tesla-solar-roof-promise-vs-reality-pivot-panels/

262•celsoazevedo•1d ago•266 comments

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

https://idahonews.com/news/local/two-f-18-fighter-jets-have-crashed-during-an-airshow-at-mountain...

197•ChrisArchitect•12h ago•196 comments

Why is Google Maps back to showing old satellite images of Altadena?

https://www.reddit.com/r/pasadena/s/94BHlkE84r

22•tgrowazay•1h ago•7 comments

The SGI Buyer's Guide (2003)

https://hardware.majix.org/computers/sgi/buyers-guide.shtml

31•uticus•2d ago•18 comments

CUDA Books

https://github.com/alternbits/awesome-cuda-books

198•dariubs•21h ago•48 comments

Hindenburg’s Smoking Room

https://www.airships.net/hindenburg-smoking-room/

204•crescit_eundo•3d ago•161 comments

Build a Radio Wave Detector with Balls of Aluminum Foil

https://www.wired.com/story/build-a-radio-wave-detector-with-balls-of-aluminum-foil/

14•Brajeshwar•2d ago•3 comments

Prolog Basics Explained with Pokémon

https://unplannedobsolescence.com/blog/prolog-basics-pokemon/

255•birdculture•2d ago•41 comments

The 30-Hour Shift That Turned a San Jose Robot Lab into a Global Spectacle

https://beeble.com/en/blog/the-30-hour-shift-that-turned-a-san-jose-robot-lab-into-a-global-spect...

5•odysseyk•2d ago•2 comments

I don't think AI will make your processes go faster

https://frederickvanbrabant.com/blog/2026-05-15-i-dont-think-ai-will-make-your-processes-go-faster/

598•TheEdonian•22h ago•407 comments

Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting

https://github.com/ABGEO/mezz

21•ABGEO•2d ago•7 comments

High-Entropy Alloy

https://en.wikipedia.org/wiki/High-entropy_alloy

137•leonidasrup•4d ago•23 comments

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

https://www.science.org/content/article/scientists-id-corkscrew-killer-behind-gruesome-seal-deaths

65•gmays•3d ago•27 comments

Trials on veterans suggest ibogaine could provide a new treatment for PTSD

https://www.bbc.com/future/article/20260514-how-hallucinogenic-ibogaine-helps-veterans-overcome-ptsd

97•bushwart•22h ago•104 comments