| 121. | Quake Engine Indicators | (fabiensanglard.net) |
|
|
||
| 9 points by liquid_x 5 days ago | 0 comments |
| 122. | Datacenters in space are a terrible, horrible, no good idea | (taranis.ie) |
|
|
There is a rush for AI companies to team up with space launch/satellite companies to build datacenters in space. TL;DR: It's not going to work. | |
| 5 points by mindracer 5 hours ago | 0 comments |
| 123. | Functional Data Structures and Algorithms: a Proof Assistant Approach | (fdsa-book.net) |
|
|
||
| 4 points by SchwKatze 2 days ago | 0 comments |
| 124. | Installing Java in 2025, and Version Managers | (blog.hakanserce.com) |
|
Remember when installing Java meant one download, one version, once choice? Back in the old days, you would head over to java.sun.com or later to Oracle website to download the installer, click through a few prompts, and you were done. Life was simple. Back then, there was typically one widely-adopted version of Java that would remain stable for years. You didn’t need to think much about version management because there wasn’t much to manage. Over the years, a lot has changed. | |
| 3 points by hakanserce 5 days ago | 0 comments |
| 125. | Playtiles: The Pocket-Sized Gaming Platform | (get.playtil.es) |
|
Turn your phone into a handheld console with Playtiles—real buttons, no downloads, and weekly indie games. Pre-order for Q4 2025 with free shipping worldwide. | |
| 10 points by surprisetalk 1 day ago | 0 comments |
| 126. | How to Never Get Overstimulated Again | (substack.com) |
|
The Overstimulation Protocol | |
| 5 points by gmays 5 hours ago | 0 comments |
| 127. | IT specialist shortage [in Germany] almost gone | (heise.de) |
|
Poor economy dampens MINT demand and worker shortage, especially for IT specialists, says MINT Autumn Report. | |
| 4 points by slow_typist 9 hours ago | 0 comments |
| 128. | DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] | (github.com) |
|
|
Contribute to deepseek-ai/DeepSeek-Math-V2 development by creating an account on GitHub. | |
| 5 points by fspeech 1 day ago | 0 comments |
| 129. | The State of GPL Propagation to AI Models | (shujisado.org) |
|
When GitHub Copilot was launched in 2021, the fact that its training data included a vast amount of Open Source code publicly available on GitHub attracted significant attention, sparking lively debates regarding licensing. While there were issues concerning conditions such as attribution required by most licenses, there was a particularly high volume of discourse suggesting… | |
| 21 points by jonymo 2 days ago | 0 comments |
| 130. | PRC Elites Voice AI-Skepticism | (jamestown.org) |
|
|
||
| 4 points by JumpCrisscross 4 days ago | 0 comments |
| 131. | Giving the Jakks Atari Paddle a Spin | (nicole.express) |
|
Some things I like to talk about on this blog are “paddle” games that use a potentiometer to control the player position, and plug-and-play consoles. Oh, and... | |
| 4 points by ingve 5 days ago | 0 comments |
| 132. | Feedback doesn't scale | (another.rodeo) |
|
Listening is always hard, and it only gets harder at scale. | |
| 5 points by ohjeez 3 days ago | 0 comments |
| 133. | DIY NAS: 2026 Edition | (blog.briancmoses.com) |
|
An 8-bay DIY NAS with 10GbE networking, TrueNAS 25.10.0.1, an Intel N355 CPU, 32GB of DDR5 RAM, and a smallish form factor that occupies less than 20 liters of your office space. | |
| 3 points by sashk 2 days ago | 0 comments |
| 134. | Migrating the Main Zig Repository from GitHub to Codeberg | (ziglang.org) |
|
|
||
| 11 points by todsacerdoti 2 days ago | 1 comments |
| 135. | Evolution Strategies at the Hyperscale | (arxiv.org) |
|
|
Abstract page for arXiv paper 2511.16652: Evolution Strategies at the Hyperscale | |
| 3 points by azhenley 19 hours ago | 0 comments |
| 136. | Physicists drive antihydrogen breakthrough at CERN | (phys.org) |
|
|
||
| 7 points by naves 6 days ago | 0 comments |
| 137. | Switzerland: Data Protection Officers Impose Broad Cloud Ban for Authorities | (heise.de) |
|
According to the Data Protection Conference, federal offices may only use US hyperscalers like AWS, Google, or Microsoft to a limited extent. | |
| 8 points by TechTechTech 1 day ago | 2 comments |
| 138. | Technical Deflation | (benanderson.work) |
|
||
| 5 points by 0x79de 5 days ago | 1 comments |
| 139. | C100 Developer Terminal | (caligra.com) |
|
The Linux®-powered computer designed to accelerate your work. | |
| 14 points by matthewsinclair 2 days ago | 6 comments |
| 140. | Israel has 'de facto state policy' of organised torture, says UN report | (theguardian.com) |
|
Committee highlights allegations including dog attacks and sexual violence, raising concern about impunity for war crimes | |
| 12 points by NomDePlum 4 hours ago | 0 comments |
| 141. | Inspired by Spider-Man, scientists recreate web-slinging technology | (scienceclock.com) |
|
We all have moments as kids watching Spider-Man and imagining what it might feel like to shoot a thread into the air and have it grab something, bringing it | |
| 5 points by ohjeez 2 days ago | 0 comments |
| 142. | The Battle over Africa's Great Untapped Resource: IP Addresses | (wsj.com) |
|
|
||
| 6 points by watchdogtimer 6 hours ago | 0 comments |
| 143. | Gemini CLI Tips and Tricks for Agentic Coding | (github.com) |
|
|
Gemini CLI Tips and Tricks. Contribute to addyosmani/gemini-cli-tips development by creating an account on GitHub. | |
| 7 points by ayoisaiah 3 days ago | 0 comments |
| 144. | How Charles M Schulz created Charlie Brown and Snoopy (2024) | (bbc.com) |
|
Charles M Schulz drew his beloved Peanuts strip for 50 years until he retired on 14 December 1999. By then, the unassuming cartoonist had built a billion-dollar empire. | |
| 5 points by 1659447091 1 day ago | 0 comments |
| 145. | 250MWh 'Sand Battery' to start construction in Finland | (energy-storage.news) |
|
Polar Night Energy and Lahti Energia have partnered for a project using 'Sand Battery' technology for a district heating network in Finland. | |
| 9 points by doener 1 day ago | 0 comments |
| 146. | Memories of .us | (computer.rip) |
|
|
||
| 4 points by sabas_ge 3 days ago | 0 comments |
| 147. | Apple and Intel Rumored to Partner on Mac Chips | (macrumors.com) |
|
While all Macs are now powered by Apple's custom-designed chips, a new rumor claims that Apple may rekindle its partnership with Intel, albeit in a new and limited way. Apple supply chain analyst Ming-Chi Kuo today said Intel is expected to begin shipping Apple's lowest-end M-series chip as early as mid-2027. | |
| 23 points by bigyabai 1 day ago | 1 comments |
| 148. | Pink Lexical Slime: The Dark Side of Autocorrect | (cyberdemon.org) |
|
|
This post originally appeared on Mondo 2000. | |
| 5 points by dmazin 1 day ago | 1 comments |
| 149. | I changed my address, and TransferWise in two days will empty my account | () |
|
|
||
| 7 points by casenmgreen 20 hours ago | 1 comments |
| 150. | Terence Tao: At the Erdos problem website, AI assistance now becoming routine | (mathstodon.xyz) |
|
|
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold". 2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean. 3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0 | |
| 9 points by dwohnitmok 6 days ago | 0 comments |