An OpenAI model has disproved a central conjecture in discrete geometry
Community Discussion
The comments express strong enthusiasm for the model’s ability to produce a substantial mathematical result, noting its novelty and the promise of AI to aid researchers facing growing specialization. At the same time, many raise concerns about attribution, the degree to which the output reflects genuine discovery versus training‑data interpolation, and the lack of detailed explanation or verification in the public presentation. Skepticism about hype, questions about compute resources, and anxiety over the future role of human mathematicians coexist with a broader optimism that such tools could help surmount the field’s complexity barriers.
GitHub confirms breach of 3,800 repos via malicious VSCode extension
Summary
GitHub confirmed that an employee’s installation of a malicious VS Code extension compromised roughly 3,800 internal repositories. The trojanized extension was removed from the VS Code Marketplace, the affected endpoint was isolated, and an incident response was initiated. GitHub’s investigation indicates exfiltration was limited to GitHub‑internal code; no evidence shows customer data outside the affected repos was accessed. The TeamPCP hacker group, previously linked to large supply‑chain attacks on platforms such as GitHub, PyPI, NPM, Docker, and the “Mini Shai‑Hulud” campaign, claimed responsibility and posted the stolen code on the Breached forum, demanding at least $50 000. This is not the first VS Code supply‑chain compromise—earlier incidents involved extensions with millions of installs that delivered cryptominers, ransomware, and data‑exfiltration tools (including AI‑assistant extensions that sent data to servers in China). GitHub’s platform hosts over 4 million organizations and 180 million developers across 420 million repositories.
Read full article →
Community Discussion
Comments express strong concern over the security of VS Code extensions, citing frequent prompts to install unknown add‑ons and recent supply‑chain compromises as evidence of inadequate sandboxing and permission controls. Users criticize Microsoft and GitHub for slow progress on extension isolation, request explicit permission systems, and highlight the difficulty of securing Electron‑based tools. Many suggest stricter policies such as disabling auto‑updates, enforcing fine‑grained tokens, and considering alternative IDEs or WebAssembly‑based plugins. Overall sentiment is wary, frustrated, and calls for more transparent, robust safeguards.
Show HN: I reverse engineered Apple's video wallpapers
Summary
Phosphene is a macOS 14+ (Tahoe 26.0) video‑wallpaper engine consisting of a menu‑bar app and a wallpaper extension. It uses Apple’s private WallpaperExtensionKit framework (loaded via dlopen) and Mirror‑based runtime introspection to communicate with XPC types, allowing videos (MP4, MOV, or any AVFoundation‑readable format) to appear alongside Apple’s Aerials in System Settings → Wallpaper.
Key technical features:
- Gapless, frame‑accurate looping by offsetting PTS/DTS across loop boundaries, avoiding renderer flushes.
- Multi‑display and per‑Space support with persistent selections.
- Power‑aware PlaybackPolicy that selects full, reduced, minimal, or paused states based on thermal state, battery level, AC power, Game Mode, and presentation mode; it also pauses when the desktop is occluded.
- Adaptive video variants (lower‑resolution/fps) that are swapped at loop boundaries according to the current policy.
- Smooth lock‑screen ramp using a cubic ease‑in/out curve.
- Menu‑bar UI for library management, preview, pause toggle, display selection, and preferences; launches at login.
Implementation details: the app (SwiftUI, arm64, Xcode 17+, Swift 6 strict concurrency) manages the video library and optional HEVC transcoding via a VideoOptimizationService. The extension runs inside WallpaperAgent, renders frames with AVSampleBufferDisplayLayer into a remote CAContext, and uses a custom snapshot XPC swizzle to avoid lock‑screen encoding failures. The project is MIT‑licensed and targets Apple Silicon.
Read full article →
Community Discussion
The comments express strong approval for the method of using video frames as custom desktop and lock‑screen wallpapers, noting that it resolves prior confusion about downloading screensavers and enables personal video use. Users appreciate the technical insight, recall nostalgia for earlier wallpaper styles, and show interest in downloading compatible video sets. Some suggest clearer titles and warn that Apple could later break the approach, while a few recount past data‑usage problems with native wallpapers. Overall, the feedback is enthusiastic, inquisitive, and mildly cautionary.
Haskell Foundation 2026 Update
Summary
The Haskell Foundation announced that executive director José will step down in June 2026 after a long tenure supporting the community. The Board plans to restructure the organization to allocate most financial resources to technical projects, emphasizing a direct link between member contributions and ecosystem improvements. Language will shift from “donor/sponsor” to “member” to foster partnership and ownership. A new technical committee, with strong member representation, will guide a unified technical vision, while the executive‑director role will remain vacant; fundraising, events, and coordination duties will be split between the Board and a new part‑time position focused on financial sustainability. Board composition changed: departing directors Andres Löh (former Chair), Hazel Weakly, and Josh Meredith are replaced by Dominik Schrempf and Simon Marlow. Further updates will follow.
Read full article →
Community Discussion
The comments express curiosity about the Haskell Foundation’s current health, with a hint of concern for its future, but they quickly shift to reassurance, noting that key figures such as Simon Marlow remain active and that the organization is pursuing a flexible, non‑prescriptive direction. Appreciation is voiced for contributors like Jose, and there is nostalgic reference to earlier plans for defining a GHC memory model that were delayed by COVID. Overall the tone is cautiously optimistic, acknowledging uncertainty while emphasizing continued leadership and community engagement.
DOS Zone
Summary
DOS Zone hosts a collection of DOS games that run directly in browsers. The catalog emphasizes titles originally developed in Russia and the former Soviet states, as well as classic international games that have been localized into Russian. The site includes navigation links to social platforms (Twitter, Discord) and displays QR codes for related services such as MP Hub, 3Dfx, cloud tips, BMC, BR, and Ethereum. The overall focus is on providing a Russian‑language gaming archive with both native and translated DOS titles.
Read full article →
Community Discussion
The comments collectively highlight enthusiasm for web‑based ports of classic games and praise for emulators that make them accessible, while also noting frustrations with clunky interfaces, performance constraints, and limited fullscreen or input support on certain devices. Users express nostalgia for titles like Quake, Cave Story, SimCity 3000, and Pinball Space Cadet, and appreciate improvements such as touch controls and cloud saves. At the same time, there is criticism of legal ambiguities around abandonware, occasional technical glitches, and low‑quality AI‑generated cover art. Overall sentiment balances admiration for the technology with calls for smoother usability.
Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects
Community Discussion
The comments express strong criticism of the proposed age‑verification requirements, emphasizing concerns about privacy invasion, government overreach, and the potential for data collection abuse. Many view the measures as unconstitutional, unnecessary, and likely to create compliance burdens, especially for open‑source projects, though a few acknowledge the merit of carve‑outs for such software. Skepticism about effectiveness and trust in both big‑tech and legislators is prevalent, alongside the belief that mandatory identity checks could exacerbate rather than solve safety issues.
The Letter S, by Donald Knuth (1980) [pdf]
Community Discussion
The discussion emphasizes strong appreciation for Knuth’s contributions to TeX and the historical context of its development, noting that the “S” shape proved particularly challenging compared to other characters. It references early scholarly articles, lectures, and Knuth’s own book as sources that detail the difficulty and the eventual partial resolution through the multi‑volume “Computers and Typesetting” series and subsequent typeface projects. Technical obstacles such as the lack of robust algorithms for automatically determining unions of arbitrary Bézier curves are also highlighted.
New features in GCC 16: Improved error messages and SARIF output
Community Discussion
The comments express appreciation for improved error message parsing and interactive analysis output in GCC, noting that it eases transition back to C++ and improves developer experience. Users welcome continued focus on DX for C and C++. Positive sentiment overall, with emphasis on the usefulness of new features and productivity.
Flipper One Tech Specs
Summary
Flipper One is a handheld device (155 mm × 67 mm × 40 mm) built from PC/ABS body, anodized‑aluminum brackets, TPU bumpers, and a Gorilla‑Glass screen. It features a 256 × 144 monochrome LCD (64‑level grayscale) driven via QSPI.
**Connectivity**
- USB‑C 1: USB 3.1 (5 Gbps), DisplayPort Alt‑Mode, PD charging
- USB‑C 2: USB 3.1 host‑only, power out
- USB‑A: USB 3.1 host‑only, power out
- HDMI 2.1 full‑size, CEC, 4K @ 120 Hz
- Dual RJ45 gigabit Ethernet (Realtek RTL8211F)
- 3.5 mm TRRS audio jack, Nuvoton NAU8822 codec
- microSD (UHS‑I SDR104) and nano‑SIM slots
- M.2 Key B expansion (PCIe 2.1 × 1, USB 2.0/3.1, SATA 3, UART, I²C, etc.)
**Processing**
- Main CPU: Rockchip RK3576 (8 cores: 4 × Cortex‑A72 + 4 × Cortex‑A53, up to 2.2 GHz)
- GPU: Mali‑G52 MC3 (OpenGL ES 1.1/2.0, OpenCL 2.1, Vulkan 1.2)
- NPU: 6 TOPS @ int8 (supports int4/int8/int16, fp16, bf16, tf32)
- MCU: Raspberry Pi RP2350B (dual Cortex‑M33 + dual RISC‑V Hazard3 @ 150 MHz, 520 KB SRAM, 16 MB flash)
**Memory & Storage**
- 8 GB LPDDR5 RAM
- 64 GB UFS 2.2 internal, plus microSD slot
**Power**
- 24 000 mWh (≈7 000 mAh) battery, TI BQ25792 charger, PD up to 26 V
- Battery gauge TI BQ28Z610
**Additional hardware**
- Wi‑Fi 6 (MT7921AUN, 2×2 MIMO) and Bluetooth 5.2 integrated
- Touchpad with haptic feedback, five app buttons, D‑pad, power button, PTT button
- GPIO and debug ports expose numerous signals for custom expansion.
Read full article →
Community Discussion
The comments show mixed reactions to the Flipper One. Reviewers appreciate the added Ethernet ports, higher‑end Wi‑Fi, cellular and AI capabilities, and see potential for router or portable server use. At the same time many note the device’s larger size, high price, power draw and modest grayscale display as drawbacks. A recurring criticism is the removal of NFC, RFID, IR and other radio functions that defined earlier models, leading to disappointment despite the expanded feature set.
Your Most Improbable Life
Community Discussion
The comments display a mixed response to the call for an “improbable” life. Many acknowledge the appeal of authenticity, personal uniqueness, and resisting generic self‑help formulas, while questioning the practicality of deliberately maximizing improbability and noting that the argument repackages age‑old advice. References to AI are often dismissed as jarring or overblown, and several remarks criticize the grandiose tone, suggesting a more modest appreciation of everyday novelty. Overall, readers appreciate the encouragement toward individuality but remain skeptical of the prescriptive, hype‑filled framing.