Front-page articles summarized hourly.
Anojan Sivarasa, a 24-year-old Sri Lankan migrant worker, was sentenced to death in Saudi Arabia for a Facebook comment deemed blasphemous. He had earlier received a five-year term and a 3 million riyal fine under cybercrime laws, but prosecutors sought Sharia-law charges and an appeals court raised the verdict to death. No execution date is set, and his family hasn’t heard from him since Sept. 28. Human rights groups and Sri Lanka are urging clemency or a pardon.
Quake-SRP is a browser-based Rust port of id’s Quake (software-rendered, no GPU, no dependencies) with a built-in fetching engine. It supports Classic WinQuake and a Slop port, multiple control schemes (keyboard, mouse, gamepad, idcontrols), fullscreen and dozens of shortcuts (F1–F12, Esc, etc.), and mission packs (Hipnotic, Rogue) via URL params or local pak files/music. Saves persist in the browser. Cheats/console commands are available; can reset to Classic or Slop presets. Source on GitHub; shareware episode included.
- Key names: Windows Backspace=Delete; Delete=Forward Delete; Enter/Return; Numpad Enter; Fn often needed. - Modifiers: Windows Ctrl/Alt/Shift vs Mac ⌘/⌥/⌃/⇧; AltGr on Windows; legends vary. - Symbols vs words: Mac uses symbols; Windows uses words; some symbols cross over. - Shortcuts formatting: Windows uses plus signs; Mac concatenates (e.g., ⌘F11, ⌃⇧G). - Text and input: Mac ⌥ for extra chars; Windows Alt+numpad and Unicode input; field shortcuts differ. - Web/app conflicts: Web apps compete with OS/browser shortcuts; some cannot be overridden (e.g., Cmd+Q/W/T; Safari override rules).
Jane Street's Aria messaging system handles terabytes daily. An intern (Theodor Totev) implemented indexing by topic partitions to optimize tip recovery and reduce CPU usage. They created an index per topic partition (two-segment prefix) and used min-heap merging, achieving 30% production CPU reduction. They used a block pool with 1024-entry blocks to store indexes, reusing blocks to save memory. They also redesigned on-disk storage: moving to subtree stores with adaptive topic-splitting to balance large vs small topics, avoiding wasteful filtering. Extensive testing validated correctness. Results: 30% CPU reduction in staging; adaptive splitting deployed; production.
Álvaro Lozano-Robledo argues that amid AI disruption in mathematics, students should keep calm and continue studying math. He addresses anxiety about AI surpassing humans, “professional prompter” roles, and whether to pursue a math PhD. He argues AI tools (LLMs) are powerful but limited; they act as collaborators that can accelerate learning and research, but human ideas are needed to advance beyond the current convex hull of knowledge. Progress will require new ideas and ethical use of resources. A math PhD should be pursued for genuine passion; AI changes but will not erase the value of human mathematicians, teaching, and mentorship.
Martin Uecker argues at Kernel Recipes that C remains valuable in 2026—portable, fast, well-supported—but undefined behavior (UB) arises from the language’s abstract-machine semantics and can yield unpredictable results. Examples show how compilers may remove tests or reorder operations, sometimes changing meaning, with time-travel-like UB a concern addressed by newer standards. The C committee runs study groups on memory model, memory safety, and UB; about 100 UB instances exist, with roughly 45 removed in the C2y draft. Tooling—warnings, static analyzers, sanitizers, formal verification—improves, and C2y/C23 aim to strengthen safety without full memory safety.
Bevy 0.20 introduces major renderer and UI upgrades: Solari and DLSS improvements (speed, quality, macOS Metal support); BSN syntax refinements and a Ready event; Feathers UI gains Color Input, List View, Dropdown, Lazy Menu, scrubbable Number Input, and headless tabs; WESL shader language adoption; Mesh shaders integration; Sprite Materials and 2D Extended Materials; Sprite render backend unification; Pan Orbit Camera; weak-chain ordering; contextual theming; em/rem sizing; per-column change ticks; FixedNode and elliptical border radii; schedule randomization; panic handling; faster bulk despawning; better texture compression with automatic mipmaps; Bevy error context and InlineBox/InlineImage. Thanks to contributors and donors.
Spinal is a new tool to understand any codebase by streaming live changes and providing a near-instant, predictive surface. It anticipates your next needs and surfaces signals and insights as you work, cutting through the chaos of worktrees, diffs, and branches. Benchmarking on the Linux kernel (1.48M commits, 96K files) shows first results in under 20 ms. Built for engineers who want faster comprehension; join via GitHub or email waitlist.
jevman is an open-source Pac-Man benchmark for decision models. Six models play 100 games each against classic ghosts; scores rank models with ties within a 95% margin of error. Any model behind an HTTP endpoint can participate (hosted, fine-tuned, or local). Participation: wrap the model behind an endpoint; run the benchmark with one command; rules: real-time decisions, 2-second limit per answer, three lives or five minutes; slower answers use a backup rule. All games are recorded for replay and verification. Hosted via Opper’s AI gateway ecosystem (EU-hosted, AGPL-3.0).
Pocketty is an iPhone/iPad SSH terminal for herdr that brings live agent workspaces to your phone, showing each agent’s state in full panes with real keys. Agent alerts are sealed to the phone and delivered via a relay and Apple Push, never readable by Pocketty or third parties. It runs a host daemon, uses Secure Enclave, HPKE, and Face ID, and requires no server between you and your computer. Free 14-day trial; then $99 one-time.
Edi Life OS is a self-hosted personal dashboard that combines habits, goals, Kanban, finances and notes across ten workspaces. It unifies tasks, habit tracking, budgeting, a daily score, and a weather view, connected via an MCP server for AI assistants (Claude) to read your dashboard, plan goals, log habits and expenses. Runs on PHP + MySQL; Docker deployment is recommended, or shared hosting. Features include Growth (long‑term goals and SMART goals), Focus (Pomodoro with soundtrack), Habittify (streaks), Kanban, Calendar, Notepad, and weather data. Data stays in your own database; no subscriptions or vendor lock-in. API endpoints at /api/v1, token-based access.
Browser-based suite of 10 client-side utilities for developers, marketers and creators that run entirely in your browser with zero uploads. Tools include SVG→PNG/WebP batch converter, Regex Visualizer, Social Image Resizer, PDF Splitter & Merger, JSON→CSV/Excel, SRT to Clean Text, UTM Link Builder, SQL Formatter, Contrast Checker, and Markdown Previewer. All processing stays locally on your device; no server uploads. Built with HTML5, Tailwind CSS and client-side JavaScript; no tracking. Buy-me-a-coffee option.
Asaf Karagila reacts to OpenAI’s claim that the Partition Principle does not imply the Axiom of Choice, expressing frustration with the preprint’s quality and AI’s impact on mathematics. He clarifies he’s not anti-AI but worries about how outputs are evaluated, including calls for AI disclosures in papers and reviewer access. He criticizes the OpenAI preprint as muddled, poorly structured, with questionable lemmas and references, arguing such work undermines standards and hampers progress. He warns against replacing mathematicians with bots, refuses to engage with or promote the OpenAI result, and calls for higher quality and thoughtful AI integration.
Author argues that although LLMs can draft docs quickly, keeping docs in sync with code is hard because different readers and pages (README, Notion, runbooks) must reflect changes from a single codebase. Retrieval/indexing and naive search can mislead, and freshness matters. Amendary addresses this by linking GitHub with existing docs, mapping pages to repos, and detecting mismatches on code changes or releases. It drafts corrections with evidence for review, delivering via PR when appropriate. Human owners still review; automation helps but cannot replace context and decisions.
North Carolina musician Michael Smith, 54, was sentenced to 18 months in federal prison for conspiracy to commit wire fraud tied to bot-farmed AI-generated music streams. He created up to 10,000 fraudulent accounts to stream AI songs from 2017–2024, earning about $8 million in royalties he must forfeit. DOJ says his bots flooded platforms with billions of streams across thousands of songs, masking activity with family-plan streams. In April 2023 his bots streamed 80.9M times versus Taylor Swift’s 9.3M YouTube Music streams. The scheme harmed artists and fans.
Rembrandt is a free, open-source photo editor (GPLv3) that runs locally on macOS, Windows, and Linux and can be self-hosted. No account or tracking; RAW editing with masks, on-device AI, GPU-accelerated features (Relight, Sky, Atmosphere, Super Resolution, Denoise, Refocus, lens corrections, HDR merging, etc.). Edits are stored in XMP and photos aren't modified. Optional cloud sync is paid. It supports batch edits, albums, keywording, exports, and can serve via a private browser link when self-hosted. Source code on GitHub.
ADHD often involves circadian rhythm disruption with an evening chronotype and phase delay. About 73–78% have delayed sleep/wake cycles; DLMO is delayed ~45 min in children and ~90 min in adults, with blunted cortisol rhythms, smaller pineal volume, and weaker clock-gene rhythms (BMAL1/PER2). Circadian phase can be advanced with melatonin and bright light, with symptom improvements; winter light exposure may enhance effects. The authors propose a pragmatic behavioral-first pathway: screen for circadian disturbances, phenotype (chronotype, sleep tracking, DLMO if feasible); fixed wake times, morning light, evening-light reduction, zeitgebers; low-dose melatonin for DLMO delays; more trials needed.
Biohub, DOE, NIH and partners launch a $1.8B international effort to create AI-ready, open biological data to train predictive disease models. DOE >$500M over five years; NIH >$500M in prior investments; Biohub $500M; Google DeepMind, Isomorphic Labs, and Meta add $300M via the Virtual Biology Initiative. The program standardizes datasets, advances measurement tech (cryo-ET, large-scale imaging), and builds shared data infrastructure to enable AI models that simulate biology and speed medical breakthroughs.
Matthew Green cautions that machine-assisted cryptanalysis could erode standardized public-key encryption, even without an imminent breakthrough. Encryption remains essential; he warns against relying on optimistic, human-only analyses of hard problems (MLWE, ECDLP, LWE, syndrome decoding). If new results degrade security, standards bodies may need to deprecate smaller parameter sets and raise sizes. He acknowledges we can’t predict the future, and while no major cryptanalytic results are seen yet, the industry should prepare for potential shifts in trust in PKC parameters rather than assume current numbers are safe.
Ethereum researchers warn AI could threaten private-key security before quantum computers, potentially breaking ECDSA. Vitalik Buterin backs a cautious “bunker mode,” advising a gradual migration of funds to fresh addresses whose public keys aren’t exposed. Justin Drake warns AI-driven math breakthroughs could undermine elliptic curves and possibly lattice-based cryptography within two years. Migration should be gradual; not everyone should move immediately. The aim is to reduce exposure by using unused addresses, though migrations carry their own risks.
Made by Johno Whitaker using FastHTML