"The Blackwall (or Black Wall)[1] is a firewall developed by NetWatch. Located within the Net, it is tasked with keeping rogue AIs from breaking through into the rest of cyberspace and wreaking havoc."
cyberpunk.fandom.com/wiki/Bl…
Cyberpunk 2077 new update, Season 2 on Netflix. In the meantime, looking forward to these two, too 😁
Angelos Bimpoudis retweeted
Building Project Valhalla is like building a cathedral: craftsmanship, ingenuity, and collective dedication. A single “value” keyword carrying a decade of engineering. The first preview in JDK 28 as a milestone, with more work ahead. Kudos to the team!
youtu.be/D_AmK8-UnZg
Angelos Bimpoudis retweeted
Project Babylon/HAT brings GPU acceleration to Java: LLM inference in Java, kernels approaching native performance. A major step toward a JVM that dynamically targets CPUs and GPUs efficiently without writing kernels in CUDA/OpenCL. youtu.be/0-1IGpVrFLQ
Angelos Bimpoudis retweeted
The visuals of ‘BLADE RUNNER 2099’.
Set 50 years after the events of ‘Blade Runner 2049’, the series follows Cora (Schafer), a human fugitive posing as a Replicant, who teams up with Olwen (Yeoh), a dying Replicant and Blade Runner, to hunt down a rogue Replicant hiding a secret that could destroy their fragile city.
All 8 episodes premiere November 25 on Prime Video.
Angelos Bimpoudis retweeted
Java—The Year of the Runtime! As AI accelerates coding, the JVM matters more than ever: compatibility, integrity, JIT compilation, performance, memory management, and JFR telemetry. AI Enterprise software will remain secure, robust, efficient on the JVM.
youtu.be/fXBGBovpH88?si=3ZoG…
Angelos Bimpoudis retweeted
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math
Angelos Bimpoudis retweeted
JEP 544 is now Candidate! A major milestone for Project Leyden and the C2 JIT compiler, it speeds startup and warmup by moving compilation into a training run while preserving C2’s dynamic optimization and peak performance 🙂
openjdk.org/jeps/544
Angelos Bimpoudis retweeted
☕ How Java programs can reach close-to-native performance for matrix-multiply computations on hardware with accelerated MMA support, such as NVIDIA GPUs
☕ How the same Java Tensor API can be mapped across different parallel programming models and vendors while remaining portable for source code and runtime scheduling parameters
This article examines both: social.ora.cl/6011BEbmLc
Angelos Bimpoudis retweeted
'Much of the essence of building a program is in fact the debugging of the specification.' -- Fred Brooks
Angelos Bimpoudis retweeted
Oh wow, The New York Times just reported that OpenAI may have cracked one of mathematics’ Millennium Problems (Navier–Stokes). They also say the OpenAI paper comes with a Lean proof.
nytimes.com/2026/09/08/scien…
Repo: github.com/openai/NavierStok…
Angelos Bimpoudis retweeted
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
We need a Wikipedia page called “Proof Race”.
It starts something like this:
“The Proof Race is a 21st-century competition between AI labs to achieve supremacy in automated mathematical reasoning.”
[citation needed, preferably machine-checked]
Angelos Bimpoudis retweeted
I did not expect this. Anthropic just published a Lean proof of Fermat's Last Theorem.
The proof is +13M LoC, more than 5 times the size of Mathlib.
Kevin Buzzard's post: xenaproject.wordpress.com/20…
The proof: github.com/anthropics/fermat…
Anthropic's post: anthropic.com/research/forma…
Angelos Bimpoudis retweeted
Over 70 years ago today, the term “artificial intelligence” was coined in a conference proposal: stanford.io/2WJJJGN
Angelos Bimpoudis retweeted
In this "Ask the Architects" episode of the Inside Java Podcast, Nicolai Parlog talks to Joe Darcy about Project Valhalla and how Java may support limited operator overloading—allowing custom value types to be added or multiplied with plus or multiplication signs instead of annoying method calls.
Watch: social.ora.cl/6018B1L6bi
Angelos Bimpoudis retweeted
Java 27 is about to be released! 🥳
Join our team on the Java YouTube channel on September 15 to celebrate the latest launch, cover key enhancements and platform changes, and discuss the latest developments at the intersection of Java and AI.
Details: social.ora.cl/6012B1siHa
