HN user

guerby

3,410 karma

http://guerby.org

Posts158
Comments680
View on HN
www.youtube.com 17d ago

Terence Tao: What's Next for SAIR Competitions [video]

guerby
1pts0
www.indiatoday.in 1mo ago

Iran President orders restoration of internet access after 87-day blackout

guerby
5pts0
www.phoronix.com 2mo ago

The New Linux Kernel AI Bot Uncovering Bugs Is a Local LLM on Framework Desktop

guerby
17pts1
github.com 2mo ago

Rust open-source headless browser for AI agents and web scraping

guerby
3pts0
www.nytimes.com 3mo ago

Amazon Buys Globalstar for $10.8B to Expand Its Satellite Internet Service

guerby
1pts0
www.reuters.com 3mo ago

French consumer group sues Ubisoft over shutdown of online game 'The Crew'

guerby
4pts0
arxiv.org 3mo ago

LeWorldModel with Yann LeCun

guerby
2pts1
www.theguardian.com 4mo ago

Revealed: The worst mega-leaks of methane driving global heating

guerby
5pts1
www.amd.com 4mo ago

How to Run a One Trillion-Parameter LLM Locally: AMD Ryzen AI Max+ Cluster Guide

guerby
3pts0
fosdem.org 5mo ago

FOSDEM 2026

guerby
2pts0
lists.debian.org 7mo ago

LoongArch architecture added to Debian Ports

guerby
3pts2
www.economist.com 7mo ago

Humans were lighting fires from scratch a lot earlier than previously thought

guerby
6pts3
link.springer.com 7mo ago

Statin-independent association between low LDL and risk of T2 diabetes

guerby
2pts1
www.youtube.com 8mo ago

Germs and the big lie: unmasking the root cause of heart disease – Dr Paul Mason [video]

guerby
1pts0
www.youtube.com 8mo ago

Germs and the big lie: unmasking the root cause of heart disease – Dr Paul Mason [video]

guerby
1pts0
forum.proxmox.com 12mo ago

Proxmox Backup Server 4.0 BETA released with S3 support

guerby
2pts1
frame.work 1y ago

Framework Laptop 12 Preorder

guerby
3pts0
www.youtube.com 1y ago

So, will Framework make a printer? [video]

guerby
1pts1
cleantechnica.com 1y ago

Why do transit agencies keep falling for the hydrogen bus myth?

guerby
280pts482
www.frontiersin.org 1y ago

Toward metabolic health intervention 1-year weight loss and deprescription

guerby
1pts1
www.bloomberg.com 1y ago

China's Plateauing Fuel Use Is Without Precedent, IEA Says

guerby
10pts1
lwn.net 1y ago

The OpenWrt One System

guerby
2pts0
www.youtube.com 1y ago

First Long-Distance Trip with Electric Truck Insane Efficiency in the Mountains [video]

guerby
3pts0
blog.apnic.net 1y ago

The IPv6 Transition (Apnic)

guerby
4pts1
www.nytimes.com 1y ago

Two Theories for Why the Polls Failed in 2020, and What It Means for 2024

guerby
2pts0
jamanetwork.com 1y ago

Proposed Nutrition Competencies for Medical Students and Physician Trainees

guerby
2pts2
nextcloud.com 1y ago

Microsoft is now "subject to extended abuse control" by German antitrust

guerby
4pts1
electrek.co 1y ago

A Tesla Semi has already traveled 250k miles in 1.5 years

guerby
35pts28
electrek.co 1y ago

There are now more electric cars than gas cars on Norway's roads

guerby
1pts1
www.yahoo.com 1y ago

Refueling a hydrogen car in California so annoying that drivers are suing Toyota

guerby
6pts2

In France if a standard is mandated by law (like electrical home wiring) then it must be freely available.

I assume most democracies have similar laws, it's a basic right to know what laws you should follow ...

On https://godbolt.org/ select Ada and compiler option "-O2"

    function Square(num : Integer) return Integer is
        tab : array (0..100) of integer;
    begin
        for i in 0..101 loop 
            tab(i):=i; 
        end loop;
        return tab(100);
    end Square;
The assembly code generated is :
    sub     rsp, 8    #,
    mov     esi, 11   #,
    mov     edi, OFFSET FLAT:.LC0     #,
    call    "__gnat_rcheck_CE_Index_Check"  #
Loop is not run and exeption handler is called directly.

Link : https://godbolt.org/z/qT4TsKPxz

You're mixing specification (a language reference manual) and implementation (a given compiler, target, options, ...).

The Ada language specification says the Ada programmer can expect any Ada compiler when used in fully compliant mode to properly raise STORAGE_ERROR when a stack overflow occurs.

Only the Ada compiler writer has to deal with this, not every single programmer on every single program and platform (the UB behaviour of some languages).

In the case of GCC/GNAT the compiler manual provides insight on how to be in compliant mode per target regarding stack overflow, what are the limitations if any. You have tools to monitor and analyze you Ada code in this respect too.

"With a USB 3.2 Gen 2 interface, it reaches 1000 MB/s read and 800 MB/s write speeds. It is fast enough to run apps and even boot an operating system from"

Full title: LeWorldModel: Stable End-to-End Joint-Embedding Predictive Architecture from Pixels

https://github.com/lucas-maes/le-wm

Abstract: Abstract: Joint Embedding Predictive Architectures (JEPAs) offer a compelling framework for learning world models in compact latent spaces, yet existing methods remain fragile, relying on complex multi-term losses, exponential moving averages, pretrained encoders, or auxiliary supervision to avoid representation collapse. In this work, we introduce LeWorldModel (LeWM), the first JEPA that trains stably end-to-end from raw pixels using only two loss terms: a next-embedding prediction loss and a regularizer enforcing Gaussian-distributed latent embeddings. This reduces tunable loss hyperparameters from six to one compared to the only existing end-to-end alternative. With ~15M parameters trainable on a single GPU in a few hours, LeWM plans up to 48× faster than foundation-model-based world models while remaining competitive across diverse 2D and 3D control tasks. Beyond control, we show that LeWM's latent space encodes meaningful physical structure through probing of physical quantities. Surprise evaluation confirms that the model reliably detects physically implausible events.

https://pmc.ncbi.nlm.nih.gov/articles/PMC8755961/

"A narrative review on the effects of a ketogenic diet on patients with Alzheimer's disease"

https://www.sciencedirect.com/science/article/pii/S127977072...

"Effects of ketogenic diet on cognitive function of patients with Alzheimer's disease: a systematic review and meta-analysis"

And anecdotes from the field:

https://www.youtube.com/watch?v=s86CFw0qhVc

Revolutionizing Assisted Living: Hal Cranmer's Ketogenic & Carnivore Approach to Senior Wellness / Metabolic Mind

I bought a Gen11 framework 13 then later when available I replaced its motherboard by a Gen12.

The old motherboard with the coolermaster case is tucked between two books in my library and is now running my home proxmox.

64GB RAM 4TB NVME 4C/8T 2.5G ethernet and ... 2 Watt idle.

I did run "proxmox in proxmox" with ceph and cloudinit/live migration for a conference I gave on this old motherboard:

video https://jres.ubicast.tv/permalink/v1268c650f5d41v26pt0/ifram...

PDF https://conf-ng.jres.org/2024/document_revision_2424.html?do...

scripts https://framagit.org/guerby/proxmox-in-proxmox

I bought several "Security Key NFC by Yubico": their cheapest model, no storage or fancy stuff.

My personal strategy is to use keys generated this way:

ssh-keygen -t ed25519-sk

Rules:

- A generated key never leave the machine it was generated on.

- ssh agent is never used

- ProxyJump in HOME/.ssh/config or -J to have convenient access to all my servers.

- DynamicForward and firefox with foxyproxy extension to access various things in the remote network from my local machine (IPMI, internal services, IoT, ...)

- On the web no passkey, only simple 2FA webauthn.

My understanding is that more features including "storage" means more attack surface so by avoiding it you're 1/ more secure 2/ it's cheaper.

White paper on passkey says their security is equal to the security of the OS (Microsoft Windows ...) so I avoid passkeys.