frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Deterministic Fully-Static Whole-Binary Translation Without Heuristics

https://arxiv.org/abs/2605.08419
64•matt_d•1h ago

Comments

dmitrygr•26m ago
Cute, but Rice's theorem remains, and while they translated every byte as code, still no handling is possible for

   char buf[] = {0xB8, 0x2A, 0x00, 0x00, 0x00, 0xC3};
   return ((int (*)(void))buf)();
static translation is only possible when you assume no adversarial code AND mostly assume compiler-produced binaries. hand-rolled asm gets hard, and adversarial code is provably unsolvable in all cases.

still, pretty cool for cooperative binaries

tlb•23m ago
But in fact no modern processor/OS executes this either. Pages are marked as executable or not, and static data is loaded as non-executable pages.
dmitrygr•21m ago
that is why it was not "static const char buf[]" ;) it was not an accident

executable stacks are still common (incl on windows with some settings), and sometimes they are required (eg for gcc nested functions)

diamondlovesyou•9m ago
That won't be located on the stack either. The underlying buffer will be a TU local - ie static and not rx
fsmv•11m ago
I only read the abstract but I got the impression that their solution to this is they have both. They translate all the data as if it was code and if it gets called into they use the translation where if it gets read as memory they use the original.

Edit I found this in the paper

> Elevator sidesteps the code-versus-data determination altogether through an application of superset disassembly [6]: we simultaneously interpret every executable byte offset in the original binary as (i) data and (ii) the start of a potential instruction sequence beginning at that offset, and we build the superset control flow graph from every one of the resulting candidate decodes. Every potential target of indirect jumps, callbacks, or other runtime dispatch mechanisms that cannot be statically analyzed therefore has a corresponding landing point in the rewritten binary. These targets are resolved at runtime through a lookup table from original instruction addresses to translated code addresses that we embed in the final binary.

genxy•3m ago
It looks like their system would just generate return 42;
jonhohle•26m ago
This is neat. I haven’t looked into it, but I would think relative offsets could still be an issue, but it seems there must be some translation layer/mmu since the codegen will be different sizes anyway. This would impact jump tables and internal branches, primarily.

I mostly work on stuff from the 90s, but disassemblers make a lot of assumptions about where code starts and ends, but occasionally a binary blob is not discoverable unless you have some prior knowledge (pointer at a fixed location to an entry point).

I would think after a few passes you could refine the binary into areas that are definitely code.

Panzerschrek•3m ago
Can it handle self-modifying code?

Why only x86_64? It has more sense to convert 32-bit programs, like many old games.

Deterministic Fully-Static Whole-Binary Translation Without Heuristics

https://arxiv.org/abs/2605.08419
64•matt_d•1h ago•8 comments

Restore full BambuNetwork support for Bambu Lab printers

https://github.com/FULU-Foundation/OrcaSlicer-bambulab
318•Murfalo•8h ago•134 comments

Googlebook

https://googlebook.google/
707•tambourine_man•12h ago•1183 comments

Show HN: Needle: We Distilled Gemini Tool Calling into a 26M Model

https://github.com/cactus-compute/needle
376•HenryNdubuaku•12h ago•133 comments

The vi family

https://lpar.ATH0.com/posts/2026/05/the-vi-family/
77•hggh•6d ago•25 comments

Kraftwerk's radical 1976 track

https://www.bbc.com/culture/article/20260511-kraftwerks-radical-1976-track-radioactivity-became-a...
110•tcp_handshaker•6h ago•45 comments

How to make your text look futuristic (2016)

https://typesetinthefuture.com/2016/02/18/futuristic/
287•_vaporwave_•9h ago•34 comments

My graduation cap runs Rust

https://ericswpark.com/blog/2026/2026-05-12-my-graduation-cap-runs-rust/
124•ericswpark•5h ago•30 comments

CERT is releasing six CVEs for serious security vulnerabilities in dnsmasq

https://lists.thekelleys.org.uk/pipermail/dnsmasq-discuss/2026q2/018471.html
281•chizhik-pyzhik•11h ago•129 comments

Why senior developers fail to communicate their expertise

https://www.nair.sh/guides-and-opinions/communicating-your-expertise/why-senior-developers-fail-t...
485•nilirl•14h ago•209 comments

When "idle" isn't idle: how a Linux kernel optimization became a QUIC bug

https://blog.cloudflare.com/quic-death-spiral-fix/
61•sbulaev•6h ago•2 comments

Traceway: MIT-licensed observability stack you can self-host in ~90s

https://github.com/tracewayapp/traceway
51•sebakubisz•1d ago•3 comments

Referer Reality

https://www.robinsloan.com/lab/referer/
27•tobr•2d ago•6 comments

Rendering the Sky, Sunsets, and Planets

https://blog.maximeheckel.com/posts/on-rendering-the-sky-sunsets-and-planets/
444•ibobev•16h ago•38 comments

Quack: The DuckDB Client-Server Protocol

https://duckdb.org/2026/05/12/quack-remote-protocol
245•aduffy•12h ago•52 comments

Tell NYT, Atlantic, USA Today to keep Wayback Machine

https://www.savethearchive.com/newsleaders/
279•doener•6h ago•79 comments

Scrcpy v4.0

https://github.com/Genymobile/scrcpy/releases/tag/v4.0
104•xnx•9h ago•18 comments

Zero-native – Build native desktop apps with web UI

https://zero-native.dev
21•gedy•4h ago•16 comments

Up in Smoke

https://thebaffler.com/odds-and-ends/the-profession-that-does-not-exist-symposium
5•NaOH•2d ago•0 comments

Fc, a lossless compressor for floating-point streams

https://github.com/xtellect/fc
45•enduku•2d ago•9 comments

Reimagining the mouse pointer for the AI era

https://deepmind.google/blog/ai-pointer/
176•devhouse•12h ago•145 comments

The Future of Obsidian Plugins

https://obsidian.md/blog/future-of-plugins/
341•xz18r•14h ago•135 comments

Lanzaboote – NixOS Secure Boot

https://x86.lol/generic/2022/11/26/lanzaboote.html
71•evilmonkey19•3d ago•6 comments

Show HN: Agentic interface for mainframes and COBOL

https://www.hypercubic.ai/hopper
67•sai18•12h ago•39 comments

Launch HN: Voker (YC S24) – Analytics for AI Agents

https://voker.ai
49•ttpost•14h ago•19 comments

Bambu Lab is abusing the open source social contract

https://www.jeffgeerling.com/blog/2026/bambu-lab-abusing-open-source-social-contract/
1181•rubenbe•15h ago•378 comments

Foucault's Order of Things Explained with Trading Cards [video]

https://www.youtube.com/watch?v=1TbHYjGvS68
27•surprisetalk•1d ago•19 comments

When life gives you lemons, write better error messages

https://wix-ux.com/when-life-gives-you-lemons-write-better-error-messages-46c5223e1a2f
135•luispa•4d ago•49 comments

We tested super-resolution pre-filter for LPR OCR. It did nothing

https://www.wink.co/documentation/Neural-Super-Resolution-Pre-Filter-LPR-2026
4•xmichael909•1h ago•1 comments

EFF to 4th Circuit: Electronic Device Searches at the Border Require a Warrant

https://www.eff.org/deeplinks/2026/05/eff-fourth-circuit-electronic-device-searches-border-requir...
173•hn_acker•8h ago•29 comments