Evan Harmon - Memex

Capture

Codex

Academia

Atlas

Concepts

Identity

Tech

AWS

DevOps

360-degree Video

Active Directory

Adafruit Feather

Adafruit Neopixel

Agent-oriented Programming

Agile Software Development

Ajax (programming)

Algorithmic bias

Alkaline battery

Amazon Mechanical Turk

Amazon Pharmacy

Amazon Prime Video

Amazon Sidewalk

Antenna (radio)

Apache 2.0 license

Apple Default Hotkeys

Apple Development

Apple Remote Desktop

Apple Shortcuts

Apple URL Schemes

Apple Vision Pro

Application Layer

Application Security

Application Server

Architectural Pattern

ARM architecture family

Artificial Intelligence

ASP.NET Core Blazor

ASP.NET Core Razor Pages

Assembly language

Audacity (software)

Automatic Dependent Surveillance–Broadcast

Automatic Packet Reporting System

Automator (macOS)

Automators Podcast

Azure Data Studio

Back End Development

Banana connector

Bartender (software)

Bastion host or jump server

Binary-to-text Encoding

Blue-Green Deployment

Brave (web browser)

Brilliant (service)

Browser Extension

Browser Tools (Developer Tools)

Business Operations

Cache poisoning

Caddy (web server)

Carbon Copy Cloner

Channels (software)

Chaos Engineering

Chrome Web Store

Circuit Playground

Client Puzzle Protocol

Cloud Storage, Syncing, & File Sharing

Cloudflare 1.1.1.1

Cloudflare Tunnel

Cloudflare Zero Trust

Code Linting, Formatting, Conventions, & Style

Communication protocol

Computer hardware

Computer Memory

Computer science

Concurrent Programming

Configuration Management

CP2102 UART Chip

Creative Commons license

Creative Commons

Criterion Collection

Curiosity Stream

Cursor AI Code Editor

Darling (Linux)

Data and information visualization

Data-driven programming

Debugging & Troubleshooting

Decentralized computing

Declarative programming

Design Language

Design Thinking

DevOps Engineer

Digital & web publishing, feeds, sharing, forums, & collaboration

Digital color, palettes, schemes, themes, & patterns

Digital mobile radio

Digital Ocean App Platform

Disaster Recovery

Discord (software)

Discourse (software)

Disk partitioning

Distributed computing

Domain Registration

Domain-specific language

Dynamic programming language

EA (games platform)

Einstellung effect

Electric battery

Electric current

Electric potential

Electrical circuit

Electrical conductor

Electrical resistance

Electron (software framework)

Element (software)

Email Authentication

Engineer's fallacy

Enterprise Service Management

Ethics of artificial intelligence

Event-driven Programming

Events, Incidents, Alerts, & Notifications

Extended Reality

Fallacy of misplaced expertise

Federation (information technology)

File Allocation Table (FAT)

File History (Windows backup software)

File, Folder, and git Comparison (diff)

Flow-based Programming

Front End Development

Full Stack Development

Functional Programming

Gateway (telecommunications)

Gemini (language model)

Generative artificial intelligence

Generative pre-trained transformer

Google Analytics

Google Arts & Culture

Google Assistant

Google Calendar

Google Cardboard

Google Contacts

Google Fi Wireless

Google Jamboard

Google Marketing Platform

Google Messages

Google Shopping

Google Tag Manager

Google TV (service)

Google Workspace

Grunt (software)

GUID Partition Table (GPT)

Hallucination (artificial intelligence)

Haptic technology

Head-mounted display

Heimdall Application Dashboard

Heltec Capsule Sensor V3

HELTEC Wireless Tracker (LoRa + GPS)

High Availability

Home Automation

Homelab & Self-hosting

Homepage dashboard

Hoopla (digital media service)

How I learned to turn Impostor Syndrome into an Advantage - The Impostor's Advantage

Human Interface Guidelines

Human Resources

Human–computer Interaction

Identity Provider

Identity, Authentication, & Authorization

IDEs & Text Editors

Imperative programming

Industrial Property

Information architecture

Information design

Insomnia (API software)

Instant messaging

Intellectual Property

Interaction design

Internet Hosting

Internet of Things (IoT)

Interoperability

InterPlanetary File System

JavaScript Asynchronous

JavaScript Frameworks

JavaScript Logging

Key server (cryptographic)

Keyboard computer

Keyboard Maestro

Large Language Model

Lawrence Lessig

Lead-acid battery

Lemmy (social network)

Libby (service)

Licensing, IP & Open Source

LILYGO T-Beam Meshtastic Board

LILYGO T3-S3 LoRa Board

Linear (software)

LinkedIn Learning

Lithium ion battery

Logic Programming

Low-power wide-area network

Machine Learning

Macrium Reflect

Man-in-the-middle attack

Manage Multiple Node or Javascript Versions

Markdown Service Tools

Material Design Icons

Material Design

Matrix (protocol)

Matter (standard)

Max (streaming service)

Mechanical Turk

Memex (concept)

Meta Platforms Inc

Microcontroller

Micropub (protocol)

Microsoft Account

Microsoft Copilot

Microsoft Entra ID

Microsoft Exchange

Microsoft Office

Microsoft Outlook

Microsoft Remote Desktop

Microsoft SQL Server

Microsoft stack

Microsoft Teams

Midnight Commander

Minimalism (computing)

Mobile app development

Modular connector

Mu Python Editor

Multi-factor Authentication & OTPs

Mustache template system

My Linux Configuration

na (next action by Terpstra)

Network Address Translation

Network load balancing

Networking & Internet

New Project Setup

Next Unit of Computing

Nginx Proxy Manager

Nix Distributions

Nix Services, Processes, & init System

Notion (productivity software)

Npm-check-updates

Object-Oriented Programming

Obsidia NoteRefactor Plugin

Obsidian Advanced-URI Plugin

Obsidian Apply Patterns Plugin

Obsidian Archiver Plugin

Obsidian Big Calendar Plugin

Obsidian Book Search Plugin

Obsidian BRAT Plugin

Obsidian Calendar Plugin

Obsidian Clipper (jgchristopher)

Obsidian Clipper (jplattel)

Obsidian Close Similar Tabs Plugin

Obsidian Code Editor Shortcuts Plugin

Obsidian Colored Tag Wrangler Plugin

Obsidian Commander Plugin

Obsidian Dataloom Plugin

Obsidian DataView Plugin

Obsidian Day Planner Plugin

Obsidian Excalibrain Plugin

Obsidian Expander Plugin

Obsidian features, functionality, Elements, & examples

Obsidian File Color Plugin

Obsidian Filename Heading Sync Plugin

Obsidian Full Calendar Plugin

Obsidian Geocoding Properties Plugin

Obsidian Heading Shifter Plugin

Obsidian HelpMate Plugin

Obsidian Highlightr Plugin

Obsidian Hotkeys for Specific Files Plugin

Obsidian Hotkeys for Templates Plugin

Obsidian Hover Editor Plugin

Obsidian Iconize Plugin

Obsidian Importer Plugin (by Obsidian)

Obsidian Kanban Plugin

Obsidian Link Favicons Plugin

Obsidian Linter Plugin

Obsidian List Callouts Plugin

Obsidian Map View Plugin

Obsidian obsidian-wikipedia-search plugin

Obsidian OmniSearch Plugin

Obsidian Outliner Plugin

Obsidian Pane Relief Plugin

Obsidian Periodic Notes Plugin

Obsidian Plugins

Obsidian ProZen Plugin

Obsidian Quick Explorer Plugin

Obsidian Quick Preview Plugin

Obsidian Quick Switcher++ Plugin

Obsidian QuickAdd Plugin

Obsidian Quiet Outline Plugin

Obsidian Searches & Queries

Obsidian Spaced Repetition Plugin

Obsidian Stille Plugin

Obsidian Strange New Worlds Plugin

Obsidian StyleSettings Plugin

Obsidian TagWrangler Plugin

Obsidian Tasks Plugin

Obsidian Templater Plugin

Obsidian Text Transporter Plugin

Obsidian ToggleList Plugin

Obsidian Web Chrome Extension (coddingtonbear)

Obsidian Web Clipper Bookmarklet

Obsidian Zen Plugin

Obsidian-local-images

Obsidian-local-rest-api

omg.lol - Now page (now.garden)

omg.lol - Statuslog (status.lol)

Open-source hardware

OpenMQTTGateway

Operations, IT, & Infrastructure

Optical fiber connector

Package Manager

Parallel communication

Parallel computing

Passkey (authentication)

Passwordless authentication

Passwords & Secrets Management

Peacock (streaming service)

Perimeter-based Security

Personal computer

Personal knowledge management

Phone connector (audio)

Pinboard (website)

POSSE IndieWeb Principles

PowerShell Gallery

Premature Optimization

Principle of Least Privilege

Private Internet Access VPN

Procedural Programming

Programming Elements

Programming Language

Programming Paradigm

Programming patterns, design patterns, principles, best practices, & code quality

Project & Product Management, Ownership, Leadership, & Agile

Project Management

Prometheus (software)

Prompt engineering

Public-key Cryptography

Python Dependencies, Packages, Libraries, Modules, & Structure

Python pip & pipx

Python requests

Quantum computing

Raindrop (bookmarks tool)

Raspberry Pi OS

Raspberry Pi Pico

Raspberry Pi Zero 2 W

Raspberry Pi Zero W

Raspberry Pi Zero

Raycast Cobalt Extension

Reactive Programming

Readwise (tool)

Remote desktop software

Responsive Web Design (RWD)

Role-oriented programming

RSS & Web Feeds

Salem Hypothesis

Sam Bankman-Fried

Screens Connect

Secure Web Application Gateway (SWAG)

Self-hosted tools

Serial communication

Server (computing)

Set Static IP Address on Linux

Shell Scripting

Showtime (streaming service)

Side effect (computer science)

Signal (software)

Single-board computer

Site Reliability Engineering

SLI's, SLA's, & SLO's

SMS text messaging

Socratic (Google)

Software Architecture

Software Developer

Software License

Software Measurement

Software Metric

Stable Diffusion Web UI

Stable Diffusion

Stages of DevOps

Stream Processing

Symbols, Icons, & Logos

Syntax (programming languages)

System on a chip

Tablet computer

Talend API Tester

TalkPython Training

Technical Architecture

Telegram (software)

The Things Network

The worst illiterate is the political illiterate...He doesn’t know the cost of life, the price of the bean, of the fish...all depends on political decisions...from his political ignorance is born the prostitute, the abandoned child...

Theengs BLE MQTT Gateway

Things (software)

Tim Berners-Lee

Time series database

Timeout (command)

Title (property)

Todo Apps, Task, Issue, & Ticket Managers

Tunneling protocol

Turing completeness

UI, UX, IA, IxD, & Layout

Universal asynchronous receiver-transmitter

Universally Unique Identifier

User experience

Video & Streaming Media

Virtual & Ephemeral Environments

Virtual Machine

VS Code Hotkeys

Warnock's dilemma

Wearable computing

Web APIs & services

Web content aggregation, syndication, & curation

Web Server Gateway Interface

Web template system

Whisper (speech recognition system)

Windows Subsystem for Linux

Workflow Management System

Xbox Cloud Gaming

Zero Trust Security Model

Zoho Development & Scripting

Zoom (software)

Historical Timeline

Forms

Personal

Professional

Sources

Time

Good to Know™

aliases: 
tags: Type/Tech area/tech/dev proto
from: "[[Declarative programming]]"
related: 
contra: 
to: 
dateCreated: 2024-01-02, 13:12
dateModified: 2024-01-02, 13:12
version: 1.0
publish: true

Logic Programming

Logic Programming is a programming, database and knowledge-representation and reasoning paradigm which is based on formal logic. A program, database or knowledge base in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses:A :- B1, ..., Bn.

wikipedia:: Logic programming

Logic Programming

Interactive graph

On this page

Logic Programming