frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Prolog Coding Horror

https://www.metalevel.at/prolog/horror
32•RohanAdwankar•1h ago

Comments

crustycoder•1h ago
Mostly overblown.
appil•56m ago
What do people use Prolog for in the real world? I learned about it on a university course and it seems so esoteric compared to other things on the course. Like something invented just for computer scientists to enjoy.
christophilus•39m ago
Dunno about Prolog, but Datomic uses datalog for its query language, and it’s excellent. Datalog is a subset of Prolog.
radomir_cernoch•36m ago
Some applications were discussed in https://news.ycombinator.com/item?id=40994552
rtpg•13m ago
There's something quite illuminating with this first "horror", where they basically say "it's OK to report wrong answers, because you can check the answers".

I don't think I've ever felt like it's OK for my program to provide a list of answers where some are right and some are wrong, but reading this... and generally believing in P != NP.... maybe that's a decent way of looking at some stuff!

VoIP brings back old-fashioned pay phones to rural Vermont (2025)

https://spectrum.ieee.org/payphone-voip
97•bookofjoe•3h ago•21 comments

Prolog Coding Horror

https://www.metalevel.at/prolog/horror
32•RohanAdwankar•1h ago•5 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...
15•ChrisArchitect•1h ago•2 comments

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

https://github.com/tech4bot/rk3562deb
212•tech4bot•9h ago•113 comments

Mercurial, 20 years and counting: how are we still alive and kicking? [video]

https://fosdem.org/2026/schedule/event/AGWUVH-mercurial-aint-you-dead-yet/
137•ibobev•2d ago•110 comments

GenCAD

https://gencad.github.io/
12•dagenix•1h ago•2 comments

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

https://www.rogerebert.com/streaming/magical-realism-nothern-exposure-25-years-later
50•walterbell•1d ago•21 comments

ThinkPad: From IBM's Bento Box to Lenovo's AI Workstations

https://www.jdhodges.com/blog/thinkpad-history/
8•zdw•1h ago•0 comments

Multi-Species Canopy Latrines in Costa Rican Cloud Forests

https://onlinelibrary.wiley.com/doi/10.1002/ece3.72964
36•PaulHoule•3d ago•4 comments

Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP

https://xca-attacks.github.io/fabricked/
4•negura•46m ago•0 comments

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

https://askanastronaut.issinrealtime.org/
7•gaws•2d ago•0 comments

Hindenburg’s Smoking Room

https://www.airships.net/hindenburg-smoking-room/
141•crescit_eundo•3d ago•78 comments

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

https://github.com/MinishLab/semble
102•Bibabomas•7h ago•35 comments

New Nightmare Just Dropped: '3D' Animated Ads on Trucks in Traffic

https://www.thedrive.com/news/new-nightmare-just-dropped-3d-animated-ads-on-trucks-in-traffic
52•cf100clunk•1d ago•27 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/
458•TheEdonian•10h ago•329 comments

CUDA Books

https://github.com/alternbits/awesome-cuda-books
106•dariubs•10h ago•23 comments

High-Entropy Alloy

https://en.wikipedia.org/wiki/High-entropy_alloy
95•leonidasrup•3d ago•21 comments

Prolog Basics Explained with Pokémon

https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
193•birdculture•2d ago•30 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
70•bushwart•11h ago•75 comments

The occasional ECONNRESET

https://movq.de/blog/postings/2026-05-05/1/POSTING-en.html
82•zdw•6h ago•19 comments

Schanuel's Conjecture and the Semantics of Triton's FPSan

https://cp4space.hatsya.com/2026/05/03/schanuels-conjecture-and-the-semantics-of-fpsan/
16•c1ccccc1•1d ago•3 comments

Native all the way, until you need text

https://justsitandgrin.im/posts/native-all-the-way-until-you-need-text/
363•dive•11h ago•245 comments

AI Wearables Are Coming but They'll Need to Pass the Coffee Shop Test to Survive

https://www.inc.com/connor-jewiss/ai-wearables-are-coming-but-theyll-need-to-pass-this-crucial-co...
9•connorjewiss•1h ago•1 comments

AI is a technology not a product

https://daringfireball.net/2026/05/ai_is_technology_not_a_product
283•ch_sm•9h ago•114 comments

Apple Silicon costs more than OpenRouter

https://www.williamangel.net/blog/2026/05/17/offline-llm-energy-use.html
286•datadrivenangel•11h ago•241 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/
122•celsoazevedo•19h ago•136 comments

Mozilla to UK regulators: VPNs are essential privacy and security tools

https://blog.mozilla.org/netpolicy/2026/05/15/mozilla-to-uk-regulators-vpns-are-essential-privacy...
604•WithinReason•16h ago•259 comments

Colossus: The Forbin Project

https://en.wikipedia.org/wiki/Colossus:_The_Forbin_Project
206•doener•3d ago•77 comments

A nicer voltmeter clock

https://lcamtuf.substack.com/p/a-nicer-voltmeter-clock
302•surprisetalk•1d ago•38 comments

How diamonds are made

https://diamond.jaydip.me/
79•lemonberry•1d ago•52 comments