/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 matt.blwt.io
Building a PostgreSQL Extension, Line by Line
| | blog.notmyhostna.me
Building a web-scraper in Postgres
6.5 parsecs away

Travel
| | For a small talk I wanted to demonstrate that you can pack more business logic into Postgres than some people would guess. It might not be a good ...
| | www.serveradminblog.com
PostgreSQL on CentOS 7 - Howto - ServerAdminBlog
5.7 parsecs away

Travel
| | [AI summary] This tutorial demonstrates how to install and configure PostgreSQL 9.6 on CentOS 7 for remote database access.
| | justatheory.com
RFC: Extension Packaging & Lookup
3.7 parsecs away

Travel
| | A proposal to modify the PostgreSQL core so that all files required for an extension live in a directory named for the extension, along with a search path to find extension directories.
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. ยท GitHub
11.1 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.