Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
15681 articles, 4894 threads (numbers 150 – 16930) — flat view
| Advanced| Subject | Author | Date |
|---|---|---|
| Re: Coq/Rocq and how to completely break it (1 reply — unroll) | Julio Di Egidio <julio@diegidio.name> | 2025-11-30 09:52 +0100 |
| → Re: Coq/Rocq and how to completely break it | Julio Di Egidio <julio@diegidio.name> | 2025-11-30 10:00 +0100 |
| Wow ! This Group Has Deteriorated/Behind ! (4 replies — unroll) | c186282 <c186282@nnada.net> | 2025-09-07 05:01 -0400 |
| → Re: Wow ! This Group Has Deteriorated/Behind ! | Richard Heathfield <rjh@cpax.org.uk> | 2025-09-07 10:33 +0100 |
| → Re: Wow ! This Group Has Deteriorated/Behind ! | c186282 <c186282@nnada.net> | 2025-09-09 07:11 -0400 |
| → Re: Wow ! This Group Has Deteriorated/Behind ! | David LaRue <huey.dll@tampabay.rr.com> | 2025-09-07 10:03 +0000 |
| → Wha happen? | vallor <vallor@vallor.earth> | 2025-10-03 15:04 +0000 |
| Informal discussion: comp.lang.rust? (36 replies — unroll) | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-03-10 07:46 -0400 |
| → Re: Informal discussion: comp.lang.rust? | Tim Rentsch <tr.17687@z991.linuxsc.com> | 2025-03-10 07:14 -0700 |
| → Re: Informal discussion: comp.lang.rust? | Richard Harnden <richard.nospam@gmail.invalid> | 2025-03-10 16:42 +0000 |
| → Re: Informal discussion: comp.lang.rust? | c186282 <c186282@nnada.net> | 2025-06-18 02:51 -0400 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-28 11:37 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-07-28 13:50 +0200 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-28 15:16 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-07-28 17:59 +0200 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-28 22:18 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-07-29 10:18 +0200 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-29 12:16 +0000 |
| → Re: Informal discussion: comp.lang.rust? | David Brown <david.brown@hesbynett.no> | 2025-07-29 17:37 +0200 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-07-29 18:24 +0200 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-07-29 19:14 +0200 |
| → Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-29 18:27 +0000 |
| → Re: Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) | David Brown <david.brown@hesbynett.no> | 2025-08-02 17:47 +0200 |
| → Re: Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-08-04 22:33 +0000 |
| → Re: Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) | David Brown <david.brown@hesbynett.no> | 2025-08-06 18:38 +0200 |
| → Re: Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-08-08 03:30 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-07-30 19:08 +0200 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-30 18:00 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-07-30 20:34 +0200 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-30 18:40 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-07-30 20:51 +0200 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-30 18:53 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-09-05 10:59 +0200 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-08-03 17:55 +0200 |
| → Re: Informal discussion: comp.lang.rust? | Julio Di Egidio <julio@diegidio.name> | 2025-08-03 18:17 +0200 |
| → Re: Informal discussion: comp.lang.rust? | Richard Heathfield <rjh@cpax.org.uk> | 2025-07-29 06:24 +0100 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-29 12:27 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Richard Heathfield <rjh@cpax.org.uk> | 2025-07-30 07:44 +0100 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-30 11:30 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Richard Heathfield <rjh@cpax.org.uk> | 2025-07-30 16:51 +0100 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-07-30 18:00 +0000 |
| → Re: Informal discussion: comp.lang.rust? | David Brown <david.brown@hesbynett.no> | 2025-08-02 18:41 +0200 |
| → Re: Informal discussion: comp.lang.rust? | cross@spitfire.i.gajendra.net (Dan Cross) | 2025-08-04 22:34 +0000 |
| → Re: Informal discussion: comp.lang.rust? | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-03-10 17:35 -0400 |
| The Big List Of Naughty Strings (1 reply — unroll) | Lawrence D’Oliveiro <ldo@nz.invalid> | 2025-09-04 01:19 +0000 |
| → Re: The Big List Of Naughty Strings | Lawrence D’Oliveiro <ldo@nz.invalid> | 2025-09-04 01:21 +0000 |
| Multi-sorted categories? (Upside-down is a euphemism.) (9 replies — unroll) | Julio Di Egidio <julio@diegidio.name> | 2025-08-09 18:16 +0200 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | Ross Finlayson <ross.a.finlayson@gmail.com> | 2025-08-09 10:06 -0700 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | Julio Di Egidio <julio@diegidio.name> | 2025-08-09 19:31 +0200 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | Ross Finlayson <ross.a.finlayson@gmail.com> | 2025-08-09 10:47 -0700 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | Julio Di Egidio <julio@diegidio.name> | 2025-08-09 20:35 +0200 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | Ross Finlayson <ross.a.finlayson@gmail.com> | 2025-08-09 19:21 -0700 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | Julio Di Egidio <julio@diegidio.name> | 2025-08-11 15:33 +0200 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | Julio Di Egidio <julio@diegidio.name> | 2025-08-12 20:18 +0200 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | c186282 <c186282@nnada.net> | 2025-08-15 03:41 -0400 |
| → Re: Multi-sorted categories? (Upside-down is a euphemism.) | Julio Di Egidio <julio@diegidio.name> | 2025-08-15 12:50 +0200 |
| Re: Trained For Coding Career ? FORGET IT ! "AI" Will Do It All | c186282 <c186282@nnada.net> | 2025-08-15 00:11 -0400 |
| CHAT-5 Released - And It Can CODE (3 replies — unroll) | c186282 <c186282@nnada.net> | 2025-08-07 18:11 -0400 |
| → Re: CHAT-5 Released - And It Can CODE | rbowman <bowman@montana.com> | 2025-08-08 00:07 +0000 |
| → Re: CHAT-5 Released - And It Can CODE | c186282 <c186282@nnada.net> | 2025-08-07 21:16 -0400 |
| → Re: CHAT-5 Released - And It Can CODE | rbowman <bowman@montana.com> | 2025-08-08 20:16 +0000 |
| Somebody Got It The Wrong Way Round ... (1 reply — unroll) | Lawrence D'Oliveiro <ldo@nz.invalid> | 2025-07-16 23:21 +0000 |
| → Re: Somebody Got It The Wrong Way Round ... | c186282 <c186282@nnada.net> | 2025-07-18 02:14 -0400 |
| “Booleans Considered Harmful” (12 replies — unroll) | Lawrence D'Oliveiro <ldo@nz.invalid> | 2025-05-22 06:51 +0000 |
| → Re: “Booleans Considered Harmful” | Julio Di Egidio <julio@diegidio.name> | 2025-05-22 11:14 +0200 |
| → Re: “Booleans Considered Harmful” | Julio Di Egidio <julio@diegidio.name> | 2025-05-22 12:04 +0200 |
| → Re: “Booleans Considered Harmful” | Lawrence D'Oliveiro <ldo@nz.invalid> | 2025-05-22 22:33 +0000 |
| → Re: “Booleans Considered Harmful” | Julio Di Egidio <julio@diegidio.name> | 2025-05-23 07:04 +0200 |
| → Re: “Booleans Considered Harmful” | David Brown <david.brown@hesbynett.no> | 2025-05-22 13:51 +0200 |
| → Re: “Booleans Considered Harmful” | Julio Di Egidio <julio@diegidio.name> | 2025-05-22 14:43 +0200 |
| → Re: “Booleans Considered Harmful” | Julio Di Egidio <julio@diegidio.name> | 2025-05-22 14:57 +0200 |
| → Re: “Booleans Considered Harmful” | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2025-05-22 12:27 -0700 |
| → Re: “Booleans Considered Harmful” | JJ <jj4public@outlook.com> | 2025-05-23 16:56 +0700 |
| → Re: “Booleans Considered Harmful” | Lawrence D'Oliveiro <ldo@nz.invalid> | 2025-05-23 22:58 +0000 |
| → Re: “Booleans Considered Harmful” | Lawrence D'Oliveiro <ldo@nz.invalid> | 2025-05-23 22:48 +0000 |
| → Re: “Booleans Considered Harmful” | c186282 <c186282@nnada.net> | 2025-06-18 02:40 -0400 |
| Really GOOD way to 'DD' A Virtual Machine Into The Real World (1 reply — unroll) | c186282 <c186282@nnada.net> | 2025-06-15 01:04 -0400 |
| → Re: Really GOOD way to 'DD' A Virtual Machine Into The Real World | c186282 <c186282@nnada.net> | 2025-06-18 02:37 -0400 |
| FAA To Finally Ditch Floppy Disks & Win-95 (1 reply — unroll) | c186282 <c186282@nnada.net> | 2025-06-13 22:38 -0400 |
| → Re: FAA To Finally Ditch Floppy Disks & Win-95 | rbowman <bowman@montana.com> | 2025-06-14 03:35 +0000 |
| Programming exercise - choose_k_of_n_then_select() (5 replies — unroll) | Tim Rentsch <tr.17687@z991.linuxsc.com> | 2023-01-29 20:00 -0800 |
| → Re: Programming exercise - choose_k_of_n_then_select() | Paul N <gw7rib@aol.com> | 2023-01-30 06:01 -0800 |
| → Re: Programming exercise - choose_k_of_n_then_select() | Tim Rentsch <tr.17687@z991.linuxsc.com> | 2023-01-30 07:48 -0800 |
| → Re: Programming exercise - choose_k_of_n_then_select() | c186282 <c186282@nnada.net> | 2025-06-13 23:18 -0400 |
| → Re: Programming exercise - choose_k_of_n_then_select() | Julio Di Egidio <julio@diegidio.name> | 2023-01-31 06:14 -0800 |
| → Re: Programming exercise - choose_k_of_n_then_select() | Y A <air000000000000@ya.ee> | 2023-02-10 06:38 -0800 |
| Re: encapsulating directory operations (1 reply — unroll) | vallor <vallor@cultnix.org> | 2025-05-26 04:05 +0000 |
| → Re: encapsulating directory operations | "Paul Edwards" <mutazilah@gmail.com> | 2025-05-29 14:31 +1000 |
| Re: OT: CSES Number Spiral algorithm | Richard Heathfield <rjh@cpax.org.uk> | 2025-03-24 04:15 +0000 |
| Re: Python recompile (1 reply — unroll) | David Brown <david.brown@hesbynett.no> | 2025-03-05 08:14 +0100 |
| → Re: Python recompile | Richard Heathfield <rjh@cpax.org.uk> | 2025-03-05 07:38 +0000 |
| Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals (1 reply — unroll) | olcott <polcott333@gmail.com> | 2025-03-04 09:56 -0600 |
| → Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals | Richard Heathfield <rjh@cpax.org.uk> | 2025-03-04 16:38 +0000 |
| on distinguishing memoization and dynamic programming (9 replies — unroll) | Julieta Shem <jshem@yaxenu.org> | 2024-01-03 16:53 -0300 |
| → Re: on distinguishing memoization and dynamic programming | Kaz Kylheku <433-929-6894@kylheku.com> | 2024-01-03 20:06 +0000 |
| → Re: on distinguishing memoization and dynamic programming | Kaz Kylheku <433-929-6894@kylheku.com> | 2024-01-03 20:16 +0000 |
| → Re: on distinguishing memoization and dynamic programming | Julieta Shem <jshem@yaxenu.org> | 2024-01-03 17:55 -0300 |
| → Re: on distinguishing memoization and dynamic programming | Kaz Kylheku <433-929-6894@kylheku.com> | 2024-01-03 22:58 +0000 |
| → Re: on distinguishing memoization and dynamic programming | Julieta Shem <jshem@yaxenu.org> | 2024-01-03 20:19 -0300 |
| → Re: on distinguishing memoization and dynamic programming | Tim Rentsch <tr.17687@z991.linuxsc.com> | 2024-01-12 16:41 -0800 |
| → Re: on distinguishing memoization and dynamic programming | HenHanna <HenHanna@devnull.tb> | 2024-07-23 12:15 -0700 |
| → Re: on distinguishing memoization and dynamic programming | Julieta Shem <jshem@yaxenu.org> | 2024-07-23 21:06 -0300 |
| → Re: on distinguishing memoization and dynamic programming | HenHanna <HenHanna@devnull.tb> | 2024-07-24 01:04 -0700 |
| comp.programming.literate restored (Was: Re: new moderation info) | Johanne Fairchild <jfairchild@tudado.org> | 2024-03-25 20:27 -0300 |
| Infinitesimals (3 replies — unroll) | Paul N <gw7rib@aol.com> | 2024-02-19 05:51 -0800 |
| → Re: Infinitesimals | root <NoEMail@home.org> | 2024-02-19 16:41 +0000 |
| → Re: Infinitesimals | Ross Finlayson <ross.a.finlayson@gmail.com> | 2024-03-07 10:12 -0800 |
| → Re: Infinitesimals | Ross Finlayson <ross.a.finlayson@gmail.com> | 2024-03-07 10:04 -0800 |
| What is being smart like a genius ? (38 replies — unroll) | aminer68@gmail.com | 2020-08-11 14:57 -0700 |
| → Re: What is being smart like a genius ? | Ǝ <loveaaaaaaaaaaaaa@mail.ee> | 2023-08-02 09:56 -0700 |
| → Re: What is being smart like a genius ? | Ǝ <loveaaaaaaaaaaaaa@mail.ee> | 2023-08-02 09:57 -0700 |
| → Re: What is being smart like a genius ? | Ǝ <loveaaaa@mail.ee> | 2023-08-02 10:07 -0700 |
| → Re: What is being smart like a genius ? | Ǝ <loveaaaa@mail.ee> | 2023-08-02 10:07 -0700 |
| → Re: What is being smart like a genius ? | Ǝ <loveaaaa@mail.ee> | 2023-08-02 10:07 -0700 |
| → Re: What is being smart like a genius ? | Ǝ <loveaaaa@mail.ee> | 2023-08-02 10:07 -0700 |
| → Re: What is being smart like a genius ? | Ǝ <loveaaaa@mail.ee> | 2023-08-02 10:08 -0700 |
| → Tšekkige out: | Airplane Passenger <vvvvvvvvvvvvvvvvvvvvvvvvvaaaaaaaaaaaaaaa@hotmail.com> | 2023-10-19 04:03 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:00 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:01 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:02 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:02 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:03 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:04 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:05 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:05 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:06 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:06 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:06 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:08 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:08 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:09 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:09 -0700 |
| → Re: What is being smart like a genius ? | Hea Hea <ingelviljandilinna@outlook.com> | 2023-11-02 03:11 -0700 |
| → Re: What is being smart like a genius ? | A <aaaaaaavvvvvvaaaaaaavvvvvvaaaaaaavvvvvvaaaaaaavvvvvv@outlook.com> | 2023-11-22 02:15 -0800 |
| → Re: What is being smart like a genius ? | A <aaaaaaavvvvvvaaaaaaavvvvvvaaaaaaavvvvvvaaaaaaavvvvvv@outlook.com> | 2023-11-22 02:16 -0800 |
| → Re: What is being smart like a genius ? | A <aaaaaaavvvvvvaaaaaaavvvvvvaaaaaaavvvvvvaaaaaaavvvvvv@outlook.com> | 2023-11-22 02:17 -0800 |
| → Re: What is being smart like a genius ? | A <dkk33365@zslsz.com> | 2023-11-23 04:36 -0800 |
| → Re: What is being smart like a genius ? | A m A n <amanaaaaaa@ya.ee> | 2024-01-22 09:51 -0800 |
| → Re: What is being smart like a genius ? | Viro Viis <viroviis@ya.ee> | 2024-01-24 05:09 -0800 |
| → Re: What is being smart like a genius ? | WhatDoYouWantFromMe <viroviis@ya.ee> | 2024-01-26 02:00 -0800 |
| → Re: What is being smart like a genius ? | Lawrence D'Oliveiro <ldo@nz.invalid> | 2024-01-27 06:42 +0000 |
| → Re: What is being smart like a genius ? | A V <av55555554321@ya.ee> | 2024-01-27 21:55 -0800 |
| → Re: What is being smart like a genius ? | A V <av55555554321@ya.ee> | 2024-01-27 21:57 -0800 |
| → Re: What is being smart like a genius ? | HenHanna <HenHanna@dev.null> | 2024-03-05 09:50 +0000 |
| → Re: What is being smart like a genius ? | A V <av55555554321@ya.ee> | 2024-01-27 21:59 -0800 |
| → Re: What is being smart like a genius ? | A V <av55555554321@ya.ee> | 2024-01-27 22:02 -0800 |
| → Re: What is being smart like a genius ? | Lawrence D'Oliveiro <ldo@nz.invalid> | 2024-02-27 07:22 +0000 |
← Newer ~Page 3 of ~556 (articles 16756–16871) Older →
csiph-web