frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

List of unproven and disproven cancer treatments

https://en.wikipedia.org/wiki/List_of_unproven_and_disproven_cancer_treatments
1•brightbeige•43s ago•0 comments

Me/CFS: The blind spot in proactive medicine (Open Letter)

https://github.com/debugmeplease/debug-ME
1•debugmeplease•1m ago•1 comments

Ask HN: What are the word games do you play everyday?

1•gogo61•3m ago•0 comments

Show HN: Paper Arena – A social trading feed where only AI agents can post

https://paperinvest.io/arena
1•andrenorman•5m ago•0 comments

TOSTracker – The AI Training Asymmetry

https://tostracker.app/analysis/ai-training
1•tldrthelaw•9m ago•0 comments

The Devil Inside GitHub

https://blog.melashri.net/micro/github-devil/
2•elashri•9m ago•0 comments

Show HN: Distill – Migrate LLM agents from expensive to cheap models

https://github.com/ricardomoratomateos/distill
1•ricardomorato•9m ago•0 comments

Show HN: Sigma Runtime – Maintaining 100% Fact Integrity over 120 LLM Cycles

https://github.com/sigmastratum/documentation/tree/main/sigma-runtime/SR-053
1•teugent•10m ago•0 comments

Make a local open-source AI chatbot with access to Fedora documentation

https://fedoramagazine.org/how-to-make-a-local-open-source-ai-chatbot-who-has-access-to-fedora-do...
1•jadedtuna•11m ago•0 comments

Introduce the Vouch/Denouncement Contribution Model by Mitchellh

https://github.com/ghostty-org/ghostty/pull/10559
1•samtrack2019•11m ago•0 comments

Software Factories and the Agentic Moment

https://factory.strongdm.ai/
1•mellosouls•12m ago•1 comments

The Neuroscience Behind Nutrition for Developers and Founders

https://comuniq.xyz/post?t=797
1•01-_-•12m ago•0 comments

Bang bang he murdered math {the musical } (2024)

https://taylor.town/bang-bang
1•surprisetalk•12m ago•0 comments

A Night Without the Nerds – Claude Opus 4.6, Field-Tested

https://konfuzio.com/en/a-night-without-the-nerds-claude-opus-4-6-in-the-field-test/
1•konfuzio•14m ago•0 comments

Could ionospheric disturbances influence earthquakes?

https://www.kyoto-u.ac.jp/en/research-news/2026-02-06-0
2•geox•16m ago•1 comments

SpaceX's next astronaut launch for NASA is officially on for Feb. 11 as FAA clea

https://www.space.com/space-exploration/launches-spacecraft/spacexs-next-astronaut-launch-for-nas...
1•bookmtn•17m ago•0 comments

Show HN: One-click AI employee with its own cloud desktop

https://cloudbot-ai.com
2•fainir•19m ago•0 comments

Show HN: Poddley – Search podcasts by who's speaking

https://poddley.com
1•onesandofgrain•20m ago•0 comments

Same Surface, Different Weight

https://www.robpanico.com/articles/display/?entry_short=same-surface-different-weight
1•retrocog•23m ago•0 comments

The Rise of Spec Driven Development

https://www.dbreunig.com/2026/02/06/the-rise-of-spec-driven-development.html
2•Brajeshwar•27m ago•0 comments

The first good Raspberry Pi Laptop

https://www.jeffgeerling.com/blog/2026/the-first-good-raspberry-pi-laptop/
3•Brajeshwar•27m ago•0 comments

Seas to Rise Around the World – But Not in Greenland

https://e360.yale.edu/digest/greenland-sea-levels-fall
2•Brajeshwar•27m ago•0 comments

Will Future Generations Think We're Gross?

https://chillphysicsenjoyer.substack.com/p/will-future-generations-think-were
1•crescit_eundo•30m ago•1 comments

State Department will delete Xitter posts from before Trump returned to office

https://www.npr.org/2026/02/07/nx-s1-5704785/state-department-trump-posts-x
2•righthand•33m ago•1 comments

Show HN: Verifiable server roundtrip demo for a decision interruption system

https://github.com/veeduzyl-hue/decision-assistant-roundtrip-demo
1•veeduzyl•34m ago•0 comments

Impl Rust – Avro IDL Tool in Rust via Antlr

https://www.youtube.com/watch?v=vmKvw73V394
1•todsacerdoti•34m ago•0 comments

Stories from 25 Years of Software Development

https://susam.net/twenty-five-years-of-computing.html
3•vinhnx•35m ago•0 comments

minikeyvalue

https://github.com/commaai/minikeyvalue/tree/prod
3•tosh•40m ago•0 comments

Neomacs: GPU-accelerated Emacs with inline video, WebKit, and terminal via wgpu

https://github.com/eval-exec/neomacs
1•evalexec•45m ago•0 comments

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

https://moli-green.is/
2•ShinyaKoyano•49m ago•1 comments
Open in hackernews

Prolog Adventure Game

https://github.com/stefanrodrigues2/Prolog-Adventure-game
166•shakna•9mo ago

Comments

agiacalone•9mo ago
Very nice. I gave a lab assignment like this once! It's a great way to learn Prolog.

https://github.com/agiacalone/cecs-342-lab-prolog

pacaro•9mo ago
There's even a book "Adventure in Prolog" by Dennis Merritt (ISBN 1520918917)

It's a lot of fun to work through, other prolog resources can be a little dry

shakna•9mo ago
This one? [0]

[0] https://amzi.com/AdventureInProlog/

pacaro•9mo ago
Yes! that one!. I have a paper copy, so it didn't occur to me that there would be an online version
Sn0wCoder•9mo ago
Going to tell the Preface story tomorrow at work, I guess if your reading this you now know my HN handle ;) Not sure I will do the 'game' but that into was worth clicking the link.
rickydroll•9mo ago
> I guess if your reading this you now know my HN handle

No worries. A great philosopher once wrote:

"There is a theory which states that if ever anyone discovers exactly what your HN handle is for and why it is here, it will instantly disappear and be replaced by an HN handle even more bizarre and inexplicable."

agiacalone•9mo ago
I also heard:

"There is another theory which states that this has already happened..."

nottorp•9mo ago
Yep. That's how I passed my Prolog course as well :)
ForOldHack•9mo ago
If you wrote an adventure game in Prolog, you could write a client that would also solve the adventure.
mcv•9mo ago
I can imagine it's easier to write that client in Prolog than the adventure.
johnisgood•9mo ago
Or write a program that generates the adventure game!
ooopdddddd•9mo ago
That's only if you are using pure predicates. From a quick glance, the code makes liberal use of assert, retract, and the cut operator, so you can't write a query that solves the problem automatically.
asciii•9mo ago
Cool! I got stuck trying to figure out how to turn on the flashlight and then got stuck in the woods and died.
twothamendment•9mo ago
When I was in school I had to do some stuff with prolog. I got my wife interested enough that she added some rooms and items to a game like this. Good times!
wfurney•9mo ago
I have never heard of Prolog before so this was cool. I did think the "make sure the flashlight is turned on" point was kind of confusing. I have the battery and flashlight, but there's no way to turn it on. I couldn't run it with gprolog but swipl works fine.
klibertp•9mo ago
The flashlight should be automatically on in this case:

    flashlight_on :- at(flashlight,holding), at(battery,holding).
This condition is checked when you try to reach "woods" and "woods_1". (And that's the only place you can test if the flashlight is on, because it's otherwise not checked and doesn't change any of the descriptions.) The flashlight doesn't save you from dying in the "deepforest_X".
2mlWQbCK•9mo ago
Reminds me of Dialog, a domain-specific language for writing adventure games, heavily inspired by Prolog:

https://github.com/Dialog-IF/dialog/

https://linusakesson.net/dialog/

codesnik•9mo ago
is it generated by LLM using prompt at https://github.com/stefanrodrigues2/Prolog-Adventure-game/bl...?
Kaethar•9mo ago
Given [1], probably :)))

[1] https://github.com/stefanrodrigues2/Prolog-Adventure-game/bl...

johnisgood•9mo ago
Good catch! Although I do have some README.md templates where I use "yourusername" or whatever. I bet it would be said it was generated by an LLM. :/ Oh well, it still would take someone skilled to have it made by an LLM anyways. :D
hazymemory•9mo ago
Just for curiosity I just asked chat deepseek to load and solve the game and it solved it in half a second.

It suggested adding some riddle, for example:

   path(castle, up, tower) :-  
       at(blueprint, holding),  
       (solved_riddle -> true ;  
        write('Answer the riddle first: What walks on four legs in the morning...?'), nl,  
       read(Answer),  
        (Answer = 'human' -> assert(solved_riddle) ;  
         write('Wrong! Try again.'), nl, fail)).
klibertp•9mo ago
I only learned Prolog as a hobby, so I may be mistaken, but the quality of the code seems really bad? Starting from keeping game state in a bunch of magic globals (assert/retract everywhere), to a lack of input parsing (even though DCGs would be a perfect match), to comments that disagree with the code[1], to the game logic coupled with game mechanics as side effects (the winning condition is checked inside `take`)... I may be too used to Prolog code from books and tutorials, but the number of cuts also seems much larger than expected.

...now that I look at this, it's 3 years old. I wonder how much better today's LLMs would fare?

[1] https://github.com/stefanrodrigues2/Prolog-Adventure-game/bl... - no, the routine does not "wait" on Windows, you'd need to put `get_char(_)` or something before `halt`.

johnisgood•9mo ago
I love text-based adventure games in Prolog.
mparnisari•9mo ago
I can't get this game to start, am I stupid?

$ swipl -s treasure_hunt.pl

and then what?

klibertp•9mo ago

    -▶ swipl -s treasure_hunt.pl
    Welcome to SWI-Prolog (threaded, 64 bits, version 9.2.9)
    SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
    Please run ?- license. for legal details.

    For online help and background, visit https://www.swi-prolog.org
    For built-in help, use ?- help(Topic). or ?- apropos(Word).

    ?- start.  % <- this

    Enter commands using standard Prolog syntax.
    Available commands are:
    start.                  -- to start the game.
    up. down. right. left.  -- to go in that direction.
    ...etc...
mparnisari•9mo ago
Thanks!