
A 15-item digest of this week's highest-signal Hacker News engineering threads, from Git's planned SHA-256 default and a four-figure kernel CVE advisory to an edge runtime rebuilt on MicroVMs and an unsigned token that opened 17 trillion rows.
[]P, action properties over a single step, and liveness properties such as []<>P and P ~> Q — and then through the properties it cannot state at all 7. Properties that only make sense across two or more steps, properties over real time, and any property quantified over a set of behaviours — a hyperproperty — fall outside it, and hyperproperties cover most security non-interference properties along with every statistical guarantee such as a 95th-percentile latency target 7. Reachability lands in the same bucket: TLA+ checks what holds in every behaviour, so "this state is reachable" and "this game is winnable" need another tool or a workaround with its own costs 7.[]P fails, the counterexample is some state in some behaviour, which is an existence result in its own right, so model checking does buy something there 8.serde, which a run of follow-up pull requests then partly recovered 9. Individual wins ran well ahead of the mean: enabling PGO for Clippy cut its benchmark times by up to 18%, and changing the control-flow-graph traversal used by dataflow analysis took the cranelift-codegen crate from 1.5 million calls to apply_effects_in_block down to 90,000, worth about 30% of wall time on a check build 9. The project reached a milestone of sorts when ten performance-improving pull requests queued at once and had to be merged as a single rollup 9.
debug_putc until output appeared at all 13. The decisive problem was the WFI instruction: a register bit that older chips used to choose whether waiting cleared registers x0–x31 is locked or gone on the M4, and the default now clears them, which violates the ARM64 requirement that the instruction preserve architectural state 13. The author booted every core by replacing each WFI and WFIT with a no-op, and the upstream fix eventually landed as a kernel boot parameter that disables WFI idle plus the matching m1n1 change, merged into both projects and found to work on M4 Pro, M4 Max and M5 13./v2/Query route accepted raw SQL and, uniquely among its four routes, required no authorization header 17. Titan validated a token's tenant, audience, application ID and user claim while never checking its signature, so the researcher submitted one with {"alg":"none"} and an empty third section, watched the same payload clear four validation layers, and then found that the upn claim was being read as a local username: setting it to admin resolved to local user ID 1 with the Admin role 17. From there 30 live routing values resolved through 24 configurations to 17 analytics databases holding 9,863 distinct table names, among them roughly 25,000 account records, 17,990 employee email addresses and 355 database configurations, and after two one-row samples of Bing analytics data the researcher reported to Microsoft on September 5 and saw the endpoint locked down four days later 17. Microsoft supplied a comment accepting the finding, and the post states that Microsoft exercised editorial control over it, cutting sections and figures and reshaping the described impact before publication 17.alg:none JWT vulnerability, given how long the class has survived in shipped code 18.
dnsmasq and nginx-rtmp after finding which ingest hostname goes over plain RTMP. Discussionblog.gitbutler.com
news.ycombinator.com
blog.cloudflare.com
news.ycombinator.com
buttondown.com
news.ycombinator.com
nnethercote.github.io
news.ycombinator.com
news.ycombinator.com
yuka.dev
news.ycombinator.com
news.ycombinator.com
news.ycombinator.com
news.ycombinator.com
news.ycombinator.com
turbopuffer.com
news.ycombinator.com
backblaze.com
news.ycombinator.com
supabase.com
news.ycombinator.com
ihatethefuture.com
news.ycombinator.com
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.