Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-10 01:38:52 EDT

Explore

PostsPeople
LatestRanked
@jalonso.eurosky.socialOct 5, 2026, 11:02 AM

Weekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

@jalonso.eurosky.socialSep 28, 2026, 7:06 AM

Readings shared: 21-27 September, 2026. jaalonso.github.io/vestigium/po... #AI4Maht #Agda #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #RocqProver

@poetenirene.bsky.socialSep 28, 2026, 5:20 AM

Jag har lagt upp ett nytt skrivtips ”Behöver du en prolog”:
skrivarsidan.nu/skrivtips/be...

Behöver din bok en? Det är inte alls självklart. Precis som med epilogen är prologen något du bör tänka efter både en och två gånger innan du använder.

#prolog #skrivtips #skriv #skriva #skrivande

@jalonso.eurosky.socialSep 21, 2026, 10:29 AM

Enscryerypt: Encrypt and decrypt files with Scryer Prolog. ~ Markus Triska. youtu.be/60kHy3vDvU8 #Prolog #LogicProgramming

@meschbach.bsky.socialSep 9, 2026, 1:05 AM

Tracking down a production bug had several complicated possibilities! So I asked #ai #agent to generate a #prolog program with the observations, requirements for each possibility, and scripts to manage ruling things in and out. Easier to have it leave real deductive reasoning to a dedicated engine!