1. Forum
  2. USENET
  3. comp.theory
Re: Jacal-2a1 symbolic math system released

By Johann 'Myrkraverk' Oskarsson on Mon Aug 17 08:16:27 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Mon Aug 17 08:16:27 2026
ct thesis is prolly fucked

By dart200 on Wed Jul 15 21:34:41 2026

Latest reply by Ross Finlayson on Sun Aug 16 17:43:10 2026
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 Johann 'Myrkraverk' Oskarsson on Sun Aug 16 21:20:50 2026
Re: Software Engineering Reports

By Dude on Fri Aug 14 11:24:56 2026

Latest reply by Dude on Sat Aug 15 23:18:58 2026
Viswath & Charmaigne (vector-wide scalar-word and character machines)

By Ross Finlayson on Mon Jul 27 11:43:23 2026

Latest reply by Mild Shock on Sat Aug 15 18:49:43 2026
=?UTF-8?Q?Re:_Bullshit_Authorized_by_Sarah_Connor_[EyeProlog_Failur?= =?UTF-8?Q?e]_=28Re:_Summer_Challenge:_libSQL_=3d_Prolog+Modes_[VDBE_versus_?= =?UTF-8?B?z4AtV0FNXSk=?=

By Mild Shock on Wed Aug 12 20:30:28 2026

Latest reply by Mild Shock on Wed Aug 12 20:30:28 2026
Malicious Computer Architecture (was: Re: Prioritize Performance over Correctness)

By Johann 'Myrkraverk' Oskarsson on Mon Aug 3 19:23:44 2026

Latest reply by Mild Shock on Tue Aug 11 16:51:52 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
Re: Tic Tac Toe Quest ... VAXen? VMS? Pascal? Spreadsheets!

By Johann 'Myrkraverk' Oskarsson on Wed Aug 5 04:17:13 2026

Latest reply by Mr. Man-wai Chang on Wed Aug 5 07:43:08 2026
What is a genius programmer (e.g. C, Pascal, Foxpro)?

By Mr. Man-wai Chang on Fri Jul 31 22:33:40 2026

Latest reply by anton on Wed Aug 5 07:24:33 2026
Re: Tic Tac Toe Quest ... game programming in C?

By =?UTF-8?B?Q8OzaWzDrW4=?= =?UTF-8?B?IE5pb2Nsw6Fzw61u?= =?UTF-8?B?IEdsb3N0w6lpcg==?= on Fri Jul 31 13:17:10 2026

Latest reply by Chris M. Thomasson on Fri Jul 31 20:05:51 2026
For a bit of fun, let's combine ASCII art and C

By Johann 'Myrkraverk' Oskarsson on Fri Jul 31 06:41:13 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Fri Jul 31 06:41:13 2026
Re: Tic Tac Toe Quest

By Johann 'Myrkraverk' Oskarsson on Fri Jul 31 04:17:05 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Fri Jul 31 04:17:05 2026
Re: Totally clueless about inductive inference?

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

Latest reply by Alan Mackenzie on Fri Jul 24 12:24:18 2026
ALL undecidability is unmasked

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

Latest reply by Mike Terry on Sat Jul 18 20:07:28 2026
When Olcott is not lying.

By Fred. Zwarts on Sat Jul 18 12:07:43 2026

Latest reply by Chris M. Thomasson on Sat Jul 18 17:05:55 2026
Re: The failure of "Late stage capitalism"

By dart200 on Fri Jul 17 20:27:18 2026

Latest reply by dart200 on Fri Jul 17 20:27:18 2026
Re: Utterly replacing ALL symbolic logic with inherently correct reasoning

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

Latest reply by Mikko on Fri Jul 17 09:25: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
Olcott's system at test

By Fred. Zwarts on Mon Jul 13 16:15:30 2026

Latest reply by Mikko on Thu Jul 16 08:56:28 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 Tue Jul 14 10:15:01 2026