Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | sci.logic |
| Subject | Not for Boris the Loris and Julio the Nazi Retared (Re: More Dreams: LLM + Chess = LRM) |
| Date | 2025-10-25 13:09 +0200 |
| Message-ID | <10dib5h$ib29$2@solani.org> (permalink) |
| References | <10c46ua$mf1d$2@solani.org> <10dd7gb$f6qh$2@solani.org> <10dda5b$f8jr$2@solani.org> <10dfhgp$gk7c$2@solani.org> <10dia2v$iabv$2@solani.org> |
Hi, Well the approach is nothing for Boris the Loris and Julio the Nazi Retared. They already had their brains blown out, by simple chess set-up: Proponent: Kuniaki Mukai, claiming a compare/3 implementation for rational trees Opponent: Jan Burse, Using Fuzzy Testing to exhibt couter models So I guess the Prolog community, especially SWI-Prolog disciples that are payed trolls by Putin, are not fit at all for LRM? Bye Mild Shock schrieb: > Hi, > > How it started: > > Sweet dreams are made of this > Who am I to disagree? > I travel the world and the seven seas > Everybody's looking for something > https://www.youtube.com/watch?v=qeMFqkcPYcg > > How its going: > > Towards Large Reasoning Models > “If there is a severe deficit of language, > there will be severe deficit of thought” > — Noam Chomsky > https://arxiv.org/abs/2501.09686 > > Bye > > P.S.: > LLM = Large Language Model > LRM = Large Reasoning Model > > Mild Shock schrieb: >> Hi, >> >> Its tricky. Now I am getting back to the core question, >> who has an advantage in the AI race, AMD, Intel or >> NVIDIA. Why did OpenAI choose AMD? >> >> If one digs deeper and asks whether there exists >> virtualization not only for GPUs, but also for >> TPUs (Tensor CPUs) or NPUs (Neural CPUs). >> >> This is all still very much in the dark. Some companies >> even don't publish their APIs yet. For GPUs AMD >> has MxGPU, is a PCIe-based GPU virtualization >> >> technology using SR-IOV. But for NPUs AMD could >> use FPGA fabric, which they acquired through Xilinx >> in 2022. Quite amazing to watch what problems and >> >> solutions cloud computing is currently facing. >> >> Bye
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
😂 "Plog-like" - that should be the official term! Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:15 +0200
How deep seek went bonkers (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:22 +0200
Declarative farts versus MSI Claw AI+, who would win? (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-23 14:36 +0200
Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction] (Re: Declarative farts versus MSI Claw AI+, who would win?) Mild Shock <janburse@fastmail.fm> - 2025-10-23 15:21 +0200
The intelligent Cloud, Fog and Edge is evolving (Re: Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction]) Mild Shock <janburse@fastmail.fm> - 2025-10-24 11:39 +0200
More Dreams: LLM + Chess = LRM (Re: The intelligent Cloud, Fog and Edge is evolving) Mild Shock <janburse@fastmail.fm> - 2025-10-25 12:51 +0200
Not for Boris the Loris and Julio the Nazi Retared (Re: More Dreams: LLM + Chess = LRM) Mild Shock <janburse@fastmail.fm> - 2025-10-25 13:09 +0200
Logtalks Corleone "olive oil business" [Missed the DOP Bandwagon] (Re: Declarative farts versus MSI Claw AI+) Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:33 +0200
Logtalk is over engineered in a bad sense [Where are the test results] (Re: Logtalks Corleone "olive oil business") Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:53 +0200
Logtalk just creates its own island of PlUnit (Was: Logtalk is over engineered in a bad sense) Mild Shock <janburse@fastmail.fm> - 2026-04-29 12:08 +0200
The mechanic with the Vacuum Hypothesis (Re: Logtalk just creates its own island of PlUnit) Mild Shock <janburse@fastmail.fm> - 2026-04-29 12:52 +0200
Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: The mechanic with the Vacuum Hypothesis) Mild Shock <janburse@fastmail.fm> - 2026-04-29 13:18 +0200
Arrow Functions can do Existential Quantifier (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:27 +0100
Resolving Ambiguity in Negation as Failure (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:28 +0100
Future Outlook of Logic Programming (Re: Resolving Ambiguity in Negation as Failure) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:30 +0100
2025 Obituary: Skew Confluence (aka “Stews” 😆) (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-07 01:40 +0100
Backdoor Monkeys from Eternal September (Re: 2025 Obituary: Skew Confluence (aka “Stews” 😆)) Mild Shock <janburse@fastmail.fm> - 2025-11-07 10:17 +0100
From Vibe-Coding to Vibe-Sniffing (Was: Backdoor Monkeys from Eternal September) Mild Shock <janburse@fastmail.fm> - 2025-11-07 11:05 +0100
From Feferman to Peyton Jones, no luck with ∃ (Re: 2025 Obituary: Skew Confluence (aka “Stews” 😆)) Mild Shock <janburse@fastmail.fm> - 2025-11-08 20:34 +0100
The quantifer ∃ is just the Combinator K (Schönfinkels C)? (Was: From Feferman to Peyton Jones, no luck with ∃) Mild Shock <janburse@fastmail.fm> - 2025-11-08 21:05 +0100
csiph-web