Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  health  show  psypost.org  apple  psychology  i.redd.it  arstechnica.com  linux  neuroscience  google  theguardian.com  web  release  game  reuters.com  iran 

When AI writes the software, who verifies it?

11 days ago leodemoura.github.io ai formalmethods logiclangs vibecoding

λProlog: Logic programming in higher-order logic

22 days ago lix.polytechnique.fr logiclangs

miniKanren.org

34 days ago minikanren.org logiclangs

Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009)

34 days ago scholarworks.iu.edu logiclangs pdf

Custom Data Structures in E-Graphs

14 days ago uwplse.org compiler logiclangs plt python

TablaM

40 days ago tablam.org logiclangs plt

An AI Called Winter: Neurosymbolic Computation or Illusion?

25 days ago dustycloud.org ai logiclangs vibecoding

Tuple Spaces

23 days ago mcs.anl.gov compsci database distributed logiclangs

Compiling Prolog to Forth [pdf]

35 days ago vfxforth.com compiler concatenative logiclangs pdf prolog

Six Simple Sudoku Solvers: Prolog

42 days ago blog.veitheller.de logiclangs prolog

prolog-blog-engine: blog engine in pure Prolog. 0 dependencies, Markdown, server

47 days ago github.com logiclangs prolog web