Okay, this is a bit Cicero pro domo sua, but hear me out, okay? ;)
Read my latest article: In Defense of LLMs
Read my latest article: In Defense of LLMs
I may be late to the game but this research paper, “Simulating Time in Square-Root Space” by Ryan Williams seems very interesting.
Abstract:
Abstract:
We show that for all functions t(n)n, every multitape Turing machine running in time t can be simulated in space only O(tlogt) . This is a substantial improvement over Hopcroft, Paul, and Valiant's simulation of time t in O(tlogt) space from 50 years ago [FOCS 1975, JACM 1977]. Among other results, our simulation implies that bounded fan-in circuits of size s can be evaluated on any input in only spoly(logs) space, and that there are explicit problems solvable in O(n) space which require n2− time on a multitape Turing machine for all 0, thereby making a little progress on the P versus PSPACE problem.
Our simulation reduces the problem of simulating time-bounded multitape Turing machines to a series of implicitly-defined Tree Evaluation instances with nice parameters, leveraging the remarkable space-efficient algorithm for Tree Evaluation recently found by Cook and Mertz [STOC 2024].
eccc.weizmann.ac.il
ECCC - TR25-017
Homepage of the Electronic Colloquium on Computational Complexity located at the Weizmann Institute of Science, Israel
yoooooo we’ve got V-JEPA 2 before GTA6
arXiv.org
V-JEPA 2: Self-Supervised Video Models Enable Understanding,...
A major challenge for modern AI is to learn to understand the world and learn to act largely by observation. This paper explores a self-supervised approach that combines internet-scale video data...
V-JEPA 2 is the new iteration of the V-JEPA architecture, which according to Yann LeCun will replace Transformer-based LLMs for the so-called “World” models - models that understand the real world rather than mere words.
After 20 years, PNG 3.0 is here. It brings HDR, APNG and Exif support for higher image quality and greater versatility.
www.w3.org
Portable Network Graphics (PNG) Specification (Third Edition)
This document describes PNG (Portable Network Graphics), an extensible file format for the lossless, portable,
well-compressed storage of static and animated raster images. PNG provides a patent-free replacement for GIF and can also
replace many common…
well-compressed storage of static and animated raster images. PNG provides a patent-free replacement for GIF and can also
replace many common…
👏1
Whoa.
AMD Research has unveiled a cutting-edge method for generating procedural, fully customizable tree geometry - running entirely on GPU using work graphs and mesh nodes. Over 150 parameters control everything from structure to seasonal changes, pruning, wind response, animation, and real-time edits.
Performance:
• 3.13ms per frame (RX 7900 XTX)
• Geometry size reduced from 34.8GB to 51KB per frame
• Continuous LOD like UE5’s Nanite, targeting stable 120 FPS
• Work graph uses up to 1.5GB scratch buffer (varies by GPU)
Presentation (HPG 2025): YouTube ~7:14
Full paper: EG Digital Library
Chapeau to AMD Research and u/Bloodwyn1756 (Bastian Kuth)!
AMD Research has unveiled a cutting-edge method for generating procedural, fully customizable tree geometry - running entirely on GPU using work graphs and mesh nodes. Over 150 parameters control everything from structure to seasonal changes, pruning, wind response, animation, and real-time edits.
Performance:
• 3.13ms per frame (RX 7900 XTX)
• Geometry size reduced from 34.8GB to 51KB per frame
• Continuous LOD like UE5’s Nanite, targeting stable 120 FPS
• Work graph uses up to 1.5GB scratch buffer (varies by GPU)
Presentation (HPG 2025): YouTube ~7:14
Full paper: EG Digital Library
Chapeau to AMD Research and u/Bloodwyn1756 (Bastian Kuth)!
YouTube
HPG 2025: Day 1 - June 23rd
Full program: https://www.highperformancegraphics.org/2025/program/
Hyped for finally being able to use OAuth 2.0-based logins with ssh3.
https://github.com/francoismichel/ssh3
https://github.com/francoismichel/ssh3
GitHub
GitHub - francoismichel/ssh3: SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396…
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/ - francoismi...
First IPC, then CIPC, then StiffGIPC, and now OGC: the University of Utah and NVIDIA have finally created a model for guaranteeing “penetration-free simulation of codimensional objects with minimal computational overhead”. Basically this means we can now accurately and efficiently simulate complex, real-world interactions with things like clothing and fabric.
Video paper here: https://youtu.be/xxyniqSLJik
Video paper here: https://youtu.be/xxyniqSLJik
YouTube
[SIGGRAPH 2025] Offset Geometric Contact
We present a novel contact model, termed Offset Geometric Contact (OGC), for guaranteed penetration-free simulation of codimensional objects with minimal computational overhead. Our method is based on constructing a volumetric shape by offsetting each face…
👍1
“If you’re an electrician, you’re a plumber, a carpenter—we’re going to need hundreds of thousands of them to build all of these factories,” Huang told Channel 4 News in the U.K.
https://finance.yahoo.com/news/nvidia-ceo-jensen-huang-says-145838012.html
https://finance.yahoo.com/news/nvidia-ceo-jensen-huang-says-145838012.html
Yahoo Finance
Nvidia’s CEO Jensen Huang says electricians and plumbers will be needed by the hundreds of thousands in the new working world
The $4 trillion tech CEO warns the future won’t be powered by tech bros—but rather the blue-collar workers.
A 7M-parameter model loops over its own thoughts and ends up reasoning like the big guys. Simple recursion, wild results
GitHub
GitHub - SamsungSAILMontreal/TinyRecursiveModels
Contribute to SamsungSAILMontreal/TinyRecursiveModels development by creating an account on GitHub.
A core reason for rewriting projects that have worked reliably for 20+ years in Rust seems to be giving developers the fun of fixing brand-new bugs.
In Ubuntu 25.10, unattended upgrades are broken due to a bug in the Rust reimplementation of GNU Coreutils. The only way to update is manually via
https://bugs.launchpad.net/ubuntu/+source/unattended-upgrades/+bug/2129660
In Ubuntu 25.10, unattended upgrades are broken due to a bug in the Rust reimplementation of GNU Coreutils. The only way to update is manually via
apt update && apt upgrade.https://bugs.launchpad.net/ubuntu/+source/unattended-upgrades/+bug/2129660
Launchpad
Bug #2129660 “Unattended upgrades broken in 25.10 due to Rust co...” : Bugs : unattended-upgrades package : Ubuntu
Bug #2127970 breaks unattended upgrades in 25.10.
`apt.systemd.daily` checks if the modification date of the timestamp file /var/lib/apt/periodic/upgrade-stamp is older than the current date minus an interval. Due to the Rust `date` bug, the difference is…
`apt.systemd.daily` checks if the modification date of the timestamp file /var/lib/apt/periodic/upgrade-stamp is older than the current date minus an interval. Due to the Rust `date` bug, the difference is…
😁1🗿1
I don't know who needs to hear this but if you have a PS5 lying around that hasn't been recently updated, you can now play pirated games run homebrews on it pretty easily:
https://github.com/Gezine/Y2JB
https://github.com/Gezine/Y2JB
GitHub
GitHub - Gezine/Y2JB: Y2JB is userland code execution using PS5 Youtube app
Y2JB is userland code execution using PS5 Youtube app - Gezine/Y2JB