●● IRC: #techbytes @ Techrights IRC Network: Saturday, September 12, 2026 ●● ● Sep 12 [01:10] *parsifal (~parsifal@r3i5ava8wzk6n.irc) has joined #techbytes [01:35] *psydruid (~psydruid@jevhxkzmtrbww.irc) has left #techbytes [01:38] *psydruid (~psydruid@jevhxkzmtrbww.irc) has joined #techbytes [01:51] *psydruid (~psydruid@jevhxkzmtrbww.irc) has left #techbytes [01:55] *psydruid (~psydruid@jevhxkzmtrbww.irc) has joined #techbytes ● Sep 12 [02:11] *FANTOM has quit (Ping timeout: 120 seconds) [02:28] *FANTOM (~fantom@freenode-crc.udo.r9g5d1.IP) has joined #techbytes [02:36] *FANTOM has quit (Ping timeout: 120 seconds) [02:47] *FANTOM (~fantom@freenode-crc.udo.r9g5d1.IP) has joined #techbytes [02:51] *FANTOM has quit (Ping timeout: 120 seconds) ● Sep 12 [03:41] *FANTOM (~fantom@freenode-crc.udo.r9g5d1.IP) has joined #techbytes [03:46] *FANTOM has quit (Ping timeout: 120 seconds) [03:56] *FANTOM (~fantom@freenode-crc.udo.r9g5d1.IP) has joined #techbytes ● Sep 12 [07:59] schestowitz[TR2] slop pusher [07:59] schestowitz[TR2] "" [07:59] schestowitz[TR2] My stance is simple. [07:59] schestowitz[TR2] [07:59] schestowitz[TR2] Mathematicians, software developers, engineers, lawyers, [07:59] schestowitz[TR2] physicians will all learn to work with AI. You cannot put the [07:59] schestowitz[TR2] genie back in the bottle. Only a totalitarian world government [07:59] schestowitz[TR2] could try, and some of us would rather avoid that outcome. [07:59] schestowitz[TR2] [07:59] schestowitz[TR2] Difficult proofs will now be built with AI, just as most code [07:59] schestowitz[TR2] will be written with AI. People who insist on pen and paper [07:59] schestowitz[TR2] should view themselves as artists. [07:59] schestowitz[TR2] "The four-colour theorem was only the start Daniel Lemire's blog" [07:59] schestowitz[TR2] x https://lemire.me/blog/2026/09/11/the-four-colour-theorem-was-only-the-start/ [07:59] -TechBytesBot/#techbytes- ( status 520 @ https://lemire.me/blog/2026/09/11/the-four-colour-theorem-was-only-the-start/ ) ● Sep 12 [08:44] schestowitz[TR2]
[08:44] schestowitz[TR2][08:44] schestowitz[TR2]The main news, of course, is that R1/beta6 was released last month. You can read the announcement for more details. Many of the changes in this report made it into R1/beta6 (but not all of them.)
[08:44] schestowitz[TR2]