1. Forum
  2. USENET
  3. comp.theory
buckle-up chucklefucks....

By dart200 on Fri Sep 11 16:20:18 2026

Latest reply by Dude on Wed Sep 30 20:13:56 2026
Kundalini III: Pebble Languages need Meme Evolution (Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne)

By Mild Shock on Mon Sep 28 16:39:46 2026

Latest reply by Mild Shock on Tue Sep 29 15:05:35 2026
Provability in PA

By olcott on Tue Sep 22 10:01:02 2026

Latest reply by olcott on Tue Sep 29 11:31:59 2026
Re: Is a Universal Turing Machine a von Neumann computer?

By Ross Finlayson on Mon Sep 28 11:30:49 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:40:16 2026
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines)

By Ross Finlayson on Tue Aug 4 15:50:57 2026

Latest reply by Mild Shock on Mon Sep 28 14:13:55 2026
Billiard is Turing complete

By ram on Sat Sep 26 12:36:11 2026

Latest reply by Ross Finlayson on Sat Sep 26 05:49:53 2026
Theatheory: truth versus lies

By Ross Finlayson on Wed Sep 23 16:36:53 2026

Latest reply by Ross Finlayson on Fri Sep 25 10:28:43 2026
System for AI safety alignment

By olcott on Sun Sep 20 12:24:40 2026

Latest reply by Ross Finlayson on Wed Sep 23 18:30:29 2026
Re: Software Engineering Reports

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

Latest reply by Dude on Tue Sep 22 16:04:25 2026
strap-in chuckle-shits ...

By dart200 on Sat Sep 19 14:35:57 2026

Latest reply by Dude on Tue Sep 22 11:55:58 2026
How can humanity best protect itself from AI when AI becomes 10000---fold smarter than the smartest human?

By olcott on Fri Sep 18 08:46:27 2026

Latest reply by Daniel on Sat Sep 19 12:40:20 2026
Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group]

By Mild Shock on Tue Aug 18 16:26:08 2026

Latest reply by scott on Tue Sep 15 20:05:57 2026
on the nature of undecidability within computing and refuting the church-turing thesis

By olcott on Sat Sep 12 16:40:31 2026

Latest reply by olcott on Sun Sep 13 09:12:03 2026
Re: ct thesis is prolly fucked

By Dude on Wed Aug 5 21:29:14 2026

Latest reply by Mikko on Thu Sep 10 10:44:53 2026
on the nature of undecidability within computing: and refuting the church turing thesis

By dart200 on Wed Aug 26 22:40:41 2026

Latest reply by Mikko on Wed Sep 9 11:01:22 2026
Making LLMs a little more reliable

By olcott on Sun Sep 6 12:53:57 2026

Latest reply by Ross Finlayson on Tue Sep 8 19:53:42 2026
Re: What is a genius programmer (e.g. C, Pascal, Foxpro)?

By BGB on Tue Aug 4 15:27:55 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Mon Sep 7 10:54:42 2026
Usenet Bulletin Board System (BBS) Test

By Dude on Fri Sep 4 09:39:43 2026

Latest reply by Dude on Sun Sep 6 19:23:24 2026
Re: Malicious Computer Architecture

By Richard Harnden on Tue Aug 4 19:10:17 2026

Latest reply by Kragen Javier Sitaker on Thu Sep 3 14:26:39 2026
Mass Transit Tech Talk

By Dude on Thu Sep 3 09:22:57 2026

Latest reply by Dude on Thu Sep 3 14:23:44 2026
cancel <1170jmp$3qkj7$6@dont-email.me>

By user7160 on Sun Aug 30 06:52:04 2026

Latest reply by user7160 on Sun Aug 30 06:52:04 2026
=?UTF-8?Q?I_think_Erlang_is_completely_dead._And_I_repeat_it._=28Re?= =?UTF-8?Q?:_From_short-cut_parallelism_to_true_parallelism_[=cf=80-WAM_Musi?= =?UTF-8?Q?ngs]=29?=

By Mild Shock on Sat Aug 29 03:11:49 2026

Latest reply by Mild Shock on Sat Aug 29 03:11:49 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 olcott on Fri Aug 28 11:34:46 2026
We are in the Kundalini Phase of the AI Boom

By Mild Shock on Sun Aug 23 23:23:04 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Wed Aug 26 10:07:48 2026
Fwd: archive.usenet.blueworldhosting.com - Over 45 years of Usenet history now available

By Ross Finlayson on Thu Aug 20 11:47:37 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Fri Aug 21 13:56:45 2026
Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots)

By Mild Shock on Thu Aug 20 20:22:56 2026

Latest reply by Ross Finlayson on Thu Aug 20 12:02:07 2026
Re: Jacal-2a1 symbolic math system released

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

Latest reply by Aubrey Jaffer on Wed Aug 19 20:43:23 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
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