Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog

comp.lang.prolog

15389 articles (numbers 123 – 15593) — threaded view

| Advanced

Subject Author Date [desc]
From Trusted AI to the ultimate Faith AI [Julia Decapod on GPUs] (Re: Fixing Engelbarts Mistake: Theory of Mind (ToM) Inference) Mild Shock <janburse@fastmail.fm> 2026-05-19 16:48 +0200
Fixing Engelbarts Mistake: Theory of Mind (ToM) Inference (Re: The small LLM revolution [Timothy Chow in your Poket]) Mild Shock <janburse@fastmail.fm> 2026-05-19 15:26 +0200
We need AI-automated NGOs [GovAI is stupid] (Was: Most Toxic Place gone: Stack Overflow [hardmath's struggle]) Mild Shock <janburse@fastmail.fm> 2026-05-17 08:24 +0200
Most Toxic Place gone: Stack Overflow [hardmath's struggle] (Re: What is the Capital of Atlantis? [Chris Hays LARQL]) Mild Shock <janburse@fastmail.fm> 2026-05-17 08:16 +0200
New Signature Line olcott <polcott333@gmail.com> 2026-05-16 11:58 -0500
Dogelog Player on a A18 Everest (Was: ANN: Dogelog Player 2.2.2 (Unified Tabling)) Mild Shock <janburse@fastmail.fm> 2026-05-16 11:16 +0200
comp.lang.prolog Frequently Asked Questions Markus Triska <triska@logic.at> 2026-05-16 05:00 +0000
What is the Capital of Atlantis? [Chris Hays LARQL] (Re: The small LLM revolution [Timothy Chow in your Poket]) Mild Shock <janburse@fastmail.fm> 2026-05-14 01:48 +0200
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> 2026-05-13 12:14 +0300
The small LLM revolution [Timothy Chow in your Poket] (Re: ChatGPT 5.x so bad, it will give back jobs to Gen Z [Its the Shiiit]) Mild Shock <janburse@fastmail.fm> 2026-05-12 21:19 +0200
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-12 08:32 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> 2026-05-11 10:24 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-10 14:06 -0500
Could ISAMORE anti-unification help? (Was: Buddos Waterloo: Checkpoint McCune) Mild Shock <janburse@fastmail.fm> 2026-05-10 16:43 +0200
Could ISAMORE anti-unification help? (Was: Buddos Waterloo: Checkpoint McCune) Mild Shock <janburse@fastmail.fm> 2026-05-10 16:33 +0200
Buddos Waterloo: Checkpoint McCune (Was: Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]= Mild Shock <janburse@fastmail.fm> 2026-05-10 16:18 +0200
Halfing the AI Laptop Budget: Ne-Meow sold out! (Was: Even the Buddos are clueless [Did Tarau see Liliputians?]) Mild Shock <janburse@fastmail.fm> 2026-05-10 09:07 +0200
Even the Buddos are clueless [Did Tarau see Liliputians?] (Was: Elmos Fascist Dreams of a 365 Prolog) Mild Shock <janburse@fastmail.fm> 2026-05-09 15:17 +0200
Elmos Fascist Dreams of a 365 Prolog (Re: AI dooms day escape: Güttinger Wald) Mild Shock <janburse@fastmail.fm> 2026-05-09 12:53 +0200
Hunting the Hanta Virus (MV Hondius) (Re: NVIDIA Tribute to David Blackwell (1919 - 2010)) Mild Shock <janburse@fastmail.fm> 2026-05-07 12:29 +0200
NVIDIA Tribute to David Blackwell (1919 - 2010) (Re: Single-paradigm Logic Programming: CogitoAI System) Mild Shock <janburse@fastmail.fm> 2026-05-07 12:03 +0200
Re: polcott wtf are you even arguing??? Mikko <mikko.levanto@iki.fi> 2026-05-07 10:09 +0300
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> 2026-05-06 08:54 -0500
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-05-02 11:04 +0300
comp.lang.prolog Frequently Asked Questions Markus Triska <triska@logic.at> 2026-05-02 05:00 +0000
ANN: Dogelog Player 2.2.2 (Unified Tabling) Mild Shock <janburse@fastmail.fm> 2026-05-01 23:28 +0200
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-05-01 09:54 -0500
Scattering Richtext in Dogelog Player (Was: Egg SAT in Dogelog Player) Mild Shock <janburse@fastmail.fm> 2026-05-01 12:48 +0200
format/3 that does not have some Spaghetti logic (Was: How hard is PIP-0110 to implement?) Mild Shock <janburse@fastmail.fm> 2026-04-30 17:49 +0200
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-04-30 10:55 +0300
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-04-29 09:17 -0500
Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: Wait till they figure out that China has also AI) Mild Shock <janburse@fastmail.fm> 2026-04-29 13:11 +0200
The mechanic with the Vacuum Hypothesis (Was: Logtalk just creates its own island of PlUnit) Mild Shock <janburse@fastmail.fm> 2026-04-29 12:50 +0200
Logtalk just creates its own island of PlUnit (Re: Logtalk is over engineered in a bad sense) Mild Shock <janburse@fastmail.fm> 2026-04-29 12:09 +0200
Logtalk is over engineered in a bad sense [Where are the test results] (Was: Logtalks Corleone "olive oil business") Mild Shock <janburse@fastmail.fm> 2026-04-29 11:52 +0200
Logtalks Corleone "olive oil business" [Missed the DOP Bandwagon] (Was: Knock, knock, who is it? Yi-Lightning) Mild Shock <janburse@fastmail.fm> 2026-04-29 11:30 +0200
Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Re: This could be a serious security vulnerability) Mild Shock <janburse@fastmail.fm> 2026-04-29 11:21 +0200
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-04-29 09:37 +0300
This could be a serious security vulnerability (Was: Testing NVIDIA A10G / XVM Engine v10.2.4) Mild Shock <janburse@fastmail.fm> 2026-04-29 02:22 +0200
Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI) (Was: Addendum Bresenham yatter, yatter) Mild Shock <janburse@fastmail.fm> 2026-04-29 02:12 +0200
Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Was: Lets see what the "experts" say) Mild Shock <janburse@fastmail.fm> 2026-04-29 00:38 +0200
AI Slop: EU to age regulate internet (Was: AI dooms day escape: Güttinger Wald) Mild Shock <janburse@fastmail.fm> 2026-04-28 16:22 +0200
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-04-28 07:18 -0500
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Alan Mackenzie <acm@muc.de> 2026-04-28 10:22 +0000
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-04-28 10:34 +0300
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-04-27 16:57 -0500
Addendum Bresenham yatter, yatter (Was: What about the rubber band ~t) Mild Shock <janburse@fastmail.fm> 2026-04-27 16:03 +0200
What about the rubber band ~t (Was: How hard is PIP-0110 to implement?) Mild Shock <janburse@fastmail.fm> 2026-04-27 10:50 +0200
How hard is PIP-0110 to implement? (Was: Does Scryer Prolog have all tricks up its sleeves?) Mild Shock <janburse@fastmail.fm> 2026-04-26 22:43 +0200
LISP consing in modern AI? (Re: AI dooms day escape: Güttinger Wald) Mild Shock <janburse@fastmail.fm> 2026-04-25 22:42 +0200

1 2 3 ... 308 Next »

csiph-web