1. Forum
  2. USENET
  3. sci.logic
In the hospital with pneumonia for three weeks recovering at home on oxygen

By olcott on Sat Aug 8 10:30:39 2026

Latest reply by Alan Mackenzie on Sun Aug 16 12:52:30 2026
The Wuhan Virus that destroyed Python [ggml Manifesto]

By Mild Shock on Wed Jul 22 21:01:43 2026

Latest reply by Mild Shock on Sat Aug 15 18:47:42 2026
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: From Unrusting Blade to Unburning Icarus (Re: The SWI-Prolog community is a circus ))

By Mild Shock on Wed Aug 12 20:29:19 2026

Latest reply by Mild Shock on Wed Aug 12 20:29:19 2026
=?UTF-8?Q?How_fast_is_EyeProlog=2c_do_we_need_=cf=80-WAM=3f_[Budget?= =?UTF-8?Q?_AI_Laptop]?=

By Mild Shock on Wed Aug 12 01:12:44 2026

Latest reply by Mild Shock on Wed Aug 12 20:17:41 2026
Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing)

By Mild Shock on Mon Jul 27 11:28:01 2026

Latest reply by Mild Shock on Sun Aug 9 19:46:41 2026
Re: this sentence is true?

By Scott Hoge on Thu Aug 6 20:24:33 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Fri Aug 7 18:00:52 2026
=?UTF-8?Q?Re:_The_G=c3=b6del/Tarski_view_of_incompleteness?=

By Ross Finlayson on Thu Aug 6 10:27:47 2026

Latest reply by Ross Finlayson on Thu Aug 6 10:28:07 2026
A Case for Impurity: The Applied Pi Calculus (Was: A logical calculus in nervous activity [McCulloch & Pitts 1943])

By Mild Shock on Tue Aug 4 14:42:52 2026

Latest reply by Mild Shock on Tue Aug 4 14:42:52 2026
Ljubljana School versus Zurich School (Re: Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)

By Mild Shock on Mon Aug 3 20:16:38 2026

Latest reply by Mild Shock on Mon Aug 3 20:42:24 2026
Chris M. Thomasson can ask 100 more questions (Was: Tablet and phone UBS-C remote debugging)

By Mild Shock on Sun Aug 2 02:46:13 2026

Latest reply by Mild Shock on Mon Aug 3 00:01:04 2026
I'm a spinner, I'm a sinner [Dmitry Vyukov for pi-WAM] (Re: Paul Tarau versus Mr. Taskmanager, who would win? [A PDP-11 Humunkulus from 1979]

By Mild Shock on Sun Jul 19 11:55:04 2026

Latest reply by Mild Shock on Sat Aug 1 12:13:34 2026
Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein)

By Mild Shock on Tue Jul 28 11:27:47 2026

Latest reply by Mild Shock on Wed Jul 29 11:53:09 2026
From Unrusting Blade to Unburning Icarus (Re: The SWI-Prolog community is a circus )

By Mild Shock on Mon Jul 27 12:18:15 2026

Latest reply by Mild Shock on Mon Jul 27 12:18:15 2026
Life Experience = Expired Life [Golden Bridge Solutions] (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Wed Jul 22 16:48:57 2026

Latest reply by Mild Shock on Wed Jul 22 17:40:25 2026
Economy of Maturation: Mobile HBM Coming! (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Wed Jul 22 13:30:40 2026

Latest reply by Mild Shock on Wed Jul 22 16:28:42 2026
Re: Olcott's system inconsistent

By Fred. Zwarts on Mon Jul 13 08:24:39 2026

Latest reply by Fred. Zwarts on Wed Jul 22 10:31:37 2026
ALL undecidability is unmasked

By olcott on Mon Jul 13 10:46:08 2026

Latest reply by Mikko on Wed Jul 22 09:58:38 2026
herpes blister rossy boy is confused (Re: Maybe change your pampers?)

By Mild Shock on Mon Jul 13 06:54:10 2026

Latest reply by Mild Shock on Mon Jul 20 19:58:06 2026
Type systems for non-deterministic concurrency [Amir Pnueli] (Was: Does Variable Age make Sense? [Prolog Unification])

By Mild Shock on Mon Jul 20 12:20:46 2026

Latest reply by Mild Shock on Mon Jul 20 12:34:30 2026
Re: Totally clueless about inductive inference?

By olcott on Sun Jul 12 20:23:29 2026

Latest reply by Mikko on Mon Jul 20 11:02:06 2026
Re: Olcott's system (not Hobbes)

By olcott on Tue Jul 14 16:56:51 2026

Latest reply by Ross Finlayson on Mon Jul 20 07:24:00 2026
=?UTF-8?Q?Accelerate_Lean!_From_Theorem_3.11_to_Corollary_3.12_[ZMC?= =?UTF-8?Q?]_=28Was:_Introduction_to_AI_Accelerator_Prolog_[=cf=80-WAM_of_Do?= =?UTF-8?Q?gelog]=29?=

By Mild Shock on Sun Jul 19 16:06:21 2026

Latest reply by Mild Shock on Sun Jul 19 16:21:57 2026
=?UTF-8?Q?Introduction_to_AI_Accelerator_Prolog_[=cf=80-WAM_of_Doge?= =?UTF-8?Q?log]_=28Re:_Prolog_Expert_Ginis_=28PEGs=29_on_a_Keychain=29?=

By Mild Shock on Fri Jul 17 11:16:10 2026

Latest reply by Mild Shock on Sat Jul 18 11:08:18 2026
APU-style chips load enormous AI models (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Thu Jul 16 17:18:45 2026

Latest reply by Mild Shock on Thu Jul 16 23:18:11 2026
TSMC's 2nm (N2) node and the 7 GHz target (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Tue Jul 14 14:12:35 2026

Latest reply by Mild Shock on Thu Jul 16 23:09:44 2026
Re: Utterly replacing ALL symbolic logic with inherently correct reasoning

By Mikko on Mon Jul 13 10:04:27 2026

Latest reply by Alan Mackenzie on Thu Jul 16 13:54:53 2026
Re: Every LLM agrees with my final resolution to the Liar Paradox

By Mikko on Mon Jul 13 09:42:22 2026

Latest reply by Mikko on Thu Jul 16 09:03:32 2026
Re: Olcott's system at test

By olcott on Tue Jul 14 13:15:41 2026

Latest reply by Mikko on Thu Jul 16 08:56:28 2026
Micro penis walking around with a rucksack (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Mon Jul 13 07:33:07 2026

Latest reply by Mild Shock on Mon Jul 13 15:57:31 2026
=?UTF-8?Q?Re=3A_Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_h?= =?UTF-8?Q?as_no_meaning_in_PA?=

By Mikko on Mon Jul 13 10:50:43 2026

Latest reply by Mikko on Mon Jul 13 10:50:43 2026