frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: Moli P2P – An ephemeral, serverless image gallery (Rust and WebRTC)

https://moli-green.is/
1•ShinyaKoyano•1m ago•0 comments

How I grow my X presence?

https://www.reddit.com/r/GrowthHacking/s/UEc8pAl61b
1•m00dy•2m ago•0 comments

What's the cost of the most expensive Super Bowl ad slot?

https://ballparkguess.com/?id=5b98b1d3-5887-47b9-8a92-43be2ced674b
1•bkls•3m ago•0 comments

What if you just did a startup instead?

https://alexaraki.substack.com/p/what-if-you-just-did-a-startup
1•okaywriting•10m ago•0 comments

Hacking up your own shell completion (2020)

https://www.feltrac.co/environment/2020/01/18/build-your-own-shell-completion.html
1•todsacerdoti•13m ago•0 comments

Show HN: Gorse 0.5 – Open-source recommender system with visual workflow editor

https://github.com/gorse-io/gorse
1•zhenghaoz•13m ago•0 comments

GLM-OCR: Accurate × Fast × Comprehensive

https://github.com/zai-org/GLM-OCR
1•ms7892•14m ago•0 comments

Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU

https://github.com/MikeVeerman/tool-calling-benchmark
1•MikeVeerman•15m ago•0 comments

Show HN: AboutMyProject – A public log for developer proof-of-work

https://aboutmyproject.com/
1•Raiplus•15m ago•0 comments

Expertise, AI and Work of Future [video]

https://www.youtube.com/watch?v=wsxWl9iT1XU
1•indiantinker•16m ago•0 comments

So Long to Cheap Books You Could Fit in Your Pocket

https://www.nytimes.com/2026/02/06/books/mass-market-paperback-books.html
3•pseudolus•16m ago•1 comments

PID Controller

https://en.wikipedia.org/wiki/Proportional%E2%80%93integral%E2%80%93derivative_controller
1•tosh•21m ago•0 comments

SpaceX Rocket Generates 100GW of Power, or 20% of US Electricity

https://twitter.com/AlecStapp/status/2019932764515234159
2•bkls•21m ago•0 comments

Kubernetes MCP Server

https://github.com/yindia/rootcause
1•yindia•22m ago•0 comments

I Built a Movie Recommendation Agent to Solve Movie Nights with My Wife

https://rokn.io/posts/building-movie-recommendation-agent
4•roknovosel•22m ago•0 comments

What were the first animals? The fierce sponge–jelly battle that just won't end

https://www.nature.com/articles/d41586-026-00238-z
2•beardyw•30m ago•0 comments

Sidestepping Evaluation Awareness and Anticipating Misalignment

https://alignment.openai.com/prod-evals/
1•taubek•30m ago•0 comments

OldMapsOnline

https://www.oldmapsonline.org/en
1•surprisetalk•33m ago•0 comments

What It's Like to Be a Worm

https://www.asimov.press/p/sentience
2•surprisetalk•33m ago•0 comments

Don't go to physics grad school and other cautionary tales

https://scottlocklin.wordpress.com/2025/12/19/dont-go-to-physics-grad-school-and-other-cautionary...
2•surprisetalk•33m ago•0 comments

Lawyer sets new standard for abuse of AI; judge tosses case

https://arstechnica.com/tech-policy/2026/02/randomly-quoting-ray-bradbury-did-not-save-lawyer-fro...
4•pseudolus•33m ago•0 comments

AI anxiety batters software execs, costing them combined $62B: report

https://nypost.com/2026/02/04/business/ai-anxiety-batters-software-execs-costing-them-62b-report/
1•1vuio0pswjnm7•34m ago•0 comments

Bogus Pipeline

https://en.wikipedia.org/wiki/Bogus_pipeline
1•doener•35m ago•0 comments

Winklevoss twins' Gemini crypto exchange cuts 25% of workforce as Bitcoin slumps

https://nypost.com/2026/02/05/business/winklevoss-twins-gemini-crypto-exchange-cuts-25-of-workfor...
2•1vuio0pswjnm7•35m ago•0 comments

How AI Is Reshaping Human Reasoning and the Rise of Cognitive Surrender

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6097646
3•obscurette•35m ago•0 comments

Cycling in France

https://www.sheldonbrown.com/org/france-sheldon.html
2•jackhalford•37m ago•0 comments

Ask HN: What breaks in cross-border healthcare coordination?

1•abhay1633•37m ago•0 comments

Show HN: Simple – a bytecode VM and language stack I built with AI

https://github.com/JJLDonley/Simple
2•tangjiehao•40m ago•0 comments

Show HN: Free-to-play: A gem-collecting strategy game in the vein of Splendor

https://caratria.com/
1•jonrosner•41m ago•1 comments

My Eighth Year as a Bootstrapped Founde

https://mtlynch.io/bootstrapped-founder-year-8/
1•mtlynch•41m ago•0 comments
Open in hackernews

Ask HN: Why is Prolog not gaining traction?

6•0x07ca•5mo ago
I sometimes enjoy programming in Prolog, although I see that it is not a very popular programming language, despite being invented many years ago. Why is it so?

Personally, I think that these are the three main problems with the current ecosystem: i) there are too many implementations, some more advanced and well-maintained, so it is not clear where to start. Furthermore, these implementations often differ in the syntax, so it is not always possible to directly port a Prolog program developed with one system into another system. ii) there are few libraries and they are not compatible among the different systems, so one often has to reimplement everything from scratch. iii) debugging programs is painful and locating an error is very difficult and time consuming

Comments

jjgreen•5mo ago
Some years ago I had a job coding Prolog (SICStus), a load of fun, but you're right, a rare thing to find. I'd guess the reason is that Prolog is good for small hard problems (I was working on Presburger arithmetic which is known triple-exponential time) but most practical problems are easy but big.
tannhaeuser•5mo ago
Prolog does well in the areas where it's uniquely suited: planning, scheduling, optimisation, financial investment allocation, and other constraint-solving problems; at some point the SICStus home page claimed the logistics industry and railway basically run off Prolog.

For general-purpose programming and integration task adjacent to a Prolog planner core there are many alternatives with larger mind share even most Prolog developers will recommend over Prolog, though there's nothing wrong with using Prolog as a web template engine with pattern matching much like XSLT on steroids I guess.

The ISO standardisation of Prolog is a big plus because it let's you jump into Prolog with the comfort of an ecosystem, vendor-independence, and alternatives, in contrast to where you must commit upfront to a nebulous optimisation software package without knowing if it's a good fit for your task. Especially because realistic, large problems require a time commitment, exploration, experimentation, and iterative development.

Prolog has historically also been used for NLP, and has very convenient DSL and parser facilities built into the core. So compilers and other rule-based translators is also something Prolog excels at. There are a couple quite successful approaches combining LLMs and ML with Prolog, think probabilistics and/or neurolinguistics approaches (see recent discussion at [1]), but also just generating Prolog code using LLMs for problems where a satisfying problem description is available, or would be easier to create than encoding the problem in Prolog in the first place due to Prolog's declarative nature) ([2], also discussed in [1|).

[1]: https://news.ycombinator.com/item?id=44926414

[2]: https://news.ycombinator.com/item?id=43558622