Quintus Prolog

https://quintus.sics.se/isl/quintus/html/quintus/

Quintus Prolog Table of Contents Quintus Prolog Introduction About this Manual Overview Organization of the Manual Notational Conventions Goal Templates and Mode Annotations Examp
Quintus Prolog

Scott Meyers: Advice to Prospective Book Authors

https://www.aristeia.com/authorAdvice.html

 MENU × Menu Home Blog Upcoming Talks Past Talks Training Services Books, etc. Articles & Interviews Online Videos Materials' Licensing Contact Info Scott Meyers Home Bl
Scott Meyers is a retired author and consultant on C++ software development.

Projects | thesephist.com

https://thesephist.com/projects/

thesephist .com posts projects stream rss Projects My projects include artifacts of independent research , original music, programming languages and UI frameworks, web apps, artwo

Ars Logica

http://www.arslogica.xyz/

𝔄𝔯𝔰 𝔏𝔬𝔤𝔦𝔠𝔞 Welcome! This website is dedicated to my patron saint, Blessed Jordan of Saxony. This website will serve as a written miscellany of ideas and thoughts, ranging from the

GTK in C

http://fathopert.dx.am/articles/gtk_in_c.html

GTK in C Fathopert, 08 December 2023 In this article, you will learn how to create a simple program that shows an empty window in C99 using the GTK library. I work in Linux Mint 2
How to create a GTK+ window in C99 - tutorial by Fathopert

Language-theoretic Security

http://langsec.org/

LANGSEC: Language-theoretic Security "The View from the Tower of Babel" The Twelfth LangSec IEEE S&P Workshop at the IEEE Security & Privacy Symposium 2026 will be held on

Blog - Hugo Tunius

http://hugotunius.se/

Home Feed Source Posts Claude, Teach Me Something I’ve been experimenting with a new Claude workflow as an alternative to doom scrolling. It leverages what LLMs do best: non-deter
Personal blog of Hugo Tunius. Developer, open source enthusiast, aspiring designer, and Hugo of all trades.

MAXimal :: bookz

http://e-maxx.ru/bookz/

MAXimal home algo bookz forum about bookz Здесь вы можете скачать электронные версии различных книг по алгоритмам и языку C++. Докачка файлов разрешена. Книги, названия которых за
Алгоритмы, олимпиадное программирование, математика

Resume of Kevin A. Geiselman

http://www.tasigh.org/kevin/resume2.html

Kevin A. Geiselman 760 South Margaretta St., Turtle Creek, PA 15145 412-829-5051 Objective A challenging position with information services support or training utilizing my teachi

Vim documentation: help

https://vimdoc.sourceforge.net/htmldoc/help.html

Help FAQ Both Vim documentation: help * help.txt *For Vim version 7.3. Last change: 2010 Jul 20 VIM - main help file k Move around: Use the cursor keys, or " h " to go l

Digital Research Source Code

http://www.cpm.z80.de/source.html

Digital Research Source Code Here you will find all the source code that we have for Digital Research software products. If there is something that you don't see the source for, a
Source codes of Digital Research Software Products, includingCP

Hall of Lost Files

http://www.hcs64.com/lostfiles.html

foo_winamp_input This is an input component for the excellent media player foobar2000 which enables the use of Winamp input plugins. It is useful in case you want to use a plugin

Find more...