AI Summarized Hacker News
Front-page articles summarized hourly.
Cairn Overturf explains the polar dual P° of a convex polytope P using the support function h(y)=max_{x∈P} x·y. Level sets {h≤c} are cP°, and P°=∩{y: v_i·y≤1}. The faces of P° correspond to the vertices of P, and the vertices of P° correspond to the faces of P; a face n·x=d becomes the dual vertex n/d. Merging or dropping face normals edits P°’s vertices, and rebuilding by their convex hull yields the simplified hull, with each new face w·y=1 giving vertex w.
HN Comments
Could not summarize article.
HN Comments
Carnegie Mellon University announced a historic $3 billion gift from Ken Griffin to expand Pittsburgh and launch CMU Miami, a campus built around societal challenges. The $1 billion for Pittsburgh funds $500 million in flexible support and a $500 million investment in the School of Computer Science, which will be renamed the Kenneth C. Griffin School of Computer Science. The remaining $2 billion will establish CMU Miami in Wynwood, with first enrollment anticipated in 2028, focusing on health, security, energy, manufacturing, and interdisciplinary collaboration. Griffin will join CMU’s Board.
HN Comments
The author critiques reliance on AI/LLMs, arguing deferring to AI signals a lack of confidence and authority. AI hype leads to overengineered software decisions, such as forking and maintaining every dependency from source instead of using patching features in an artifact repository. They warn that regurgitating information isn’t true intelligence and harms critical thinking. They advocate collaborating with unpaid open-source developers to patch baselines and keep solutions simple.
HN Comments
Halfspace is a cross-platform experimental IDE for solid modeling with distance fields, wrapping the Fidget geometry kernel. It offers a GUI with near real-time rasterization and the ability to export models as images or triangle meshes. Foregrounding distance fields, it uses automatic differentiation for normals and demonstrates how gradient quality affects shading and mesh behavior, including handling C0 discontinuities. Built in Rust for web and native targets, it uses wasm-bindgen, egui, wgpu, Rhai, Rayon, and a GPU-based rendering path (fidget-wgpu). Open-source under MPLv2.
HN Comments
Google announces Gemini 4 Argon, a frontier model for complex workflows in software engineering, enterprise knowledge work, and cybersecurity defense. It supports up to 1 million input/output tokens for deep multi-step reasoning. Argon is rolling out to trusted cyber defenders via the Fairwind Program, with safety guardrails strengthened before wider release. Pricing starts at $2 per million input tokens and $10 per million output tokens (cached inputs at 95% off). Internally, it enables memory optimizations, large-scale C/C++ to Rust migrations, and video decoding. Wider rollout to developers and enterprises will follow, with a price rise after the intro period.
HN Comments
Strata is a high-performance BI platform that fuses a governed semantic layer with beautiful self-service dashboards. It enables AI-safe analytics via agents, Open OLAP support (any engine), and federated routing across hot-to-cold data tiers for sub-second answers. Core innovations include Semantic Layer as Code (two YAML types), Dynamic Universes with validated exploration, automatic cross-domain blending that avoids double-counting, and grain-safe, aggregate-aware routing. It runs on Docker/on-prem, supports row-level security, Google Sheets add-on, and scheduling, positioning itself against Looker/Power BI with AI-ready tooling.
HN Comments
EDG's C++ front end will become open source on September 30, 2026, with The C++ Alliance serving as nonprofit home. This is a transition of stewardship, not a change of direction: the engine, standards, and user contacts stay the same, while code lives on GitHub and funding shifts to tax-deductible contributions. Development runs on three tracks: Community contributions (PRs reviewed by EDG maintainers), Maintenance (ongoing fixes by Alliance/EDG developers), and Features (larger, collectively funded work). Process is overseen by the Fiscal Sponsorship Committee, chaired by John Spicer. Next steps: sign sponsorship, join the committee, and start contributing on github.com/edgcpp.
HN Comments
New research shows traveling waves in the brain’s cortex are more complex than simple planar waves. Using intracranial electrodes in epilepsy patients, Jacobs, Das, and colleagues found not only waves moving from back to front or front to back, but concentric and rotating spiral patterns whose presence correlated with memory tasks. The waves may help coordinate activity across regions in real time, encoding and recalling information. While some skeptics argue the patterns reflect underlying synaptic currents, growing evidence suggests traveling waves actively structure cognition and prediction.
HN Comments
Strata is a self-service BI platform that combines a governed semantic layer with AI analytics and open OLAP. It enables grain-safe data blending via a naming-based model, supports five measure types, and federated routing across engines with no lock-in. A local, Docker-based server powers a free trial, with a CLI to manage projects, datasources, and deploys. It connects to major warehouses (Snowflake, Databricks, PostgreSQL, Redshift, MySQL, SQL Server, Athena, Trino, Druid, DuckDB, SQLite), builds models via coding agents, and lets users explore in a browser.
HN Comments
Photovoltaic timeline explains how PV cells convert light to electricity, mainly from silicon, with efficiency rising from under 1% to about 40%. It chronicles milestones: Hallwachs (1904), Einstein (1905) photoelectric work; Bell Labs’ 6% silicon cell (1950s); commercial licenses (1955); space program funding (1958); post‑oil crisis push (1970s); 1978–1981 tax credits and DOE support; early building-integrated PV (1980 Carlisle House); 1980s–1990s efficiency gains and grid PV demonstrations; PVUSA and PVMaT; 1999–2000 large installations and record cells (30–32%); ISS deployment; 2007 HEMM cell >40%. DOE/NREL and industry driven PV development.
HN Comments
Netlify rewired Edge Functions from a hosted isolate model to Firecracker MicroVMs via Unikraft, delivering ~5–6 ms median warm invocations (vs 25–40 ms before), 47.4% faster p99, 99.998% availability, and 5x faster edge log delivery. Requests stay entirely inside Netlify’s edge network; each function runs in its own MicroVM with strong isolation, booting in ~2 ms and scaling to zero when idle. A per-site Service with rendezvous hashing caches code on a compute node; images are fetched as needed. npm packages on edge functions enabled.
HN Comments
Adam Farkas, who hasn’t used google.com for three years, notes that people still say “to Google.” Starting today, he’ll use generic terms like “look up” or “search” (nachschauen, suchen) instead. He’s not totally against eponyms, but naming a search engine differently from its function feels unfair to the tool he uses. He’ll see how it goes.
HN Comments
Parrot is a free, open-source AI meeting recorder for macOS that runs entirely on your Mac. It auto-detects when a call starts, records audio, transcribes, and provides a live copilot that answers from your own documents during the call. It supports multiple AI backends (Claude, Ollama/local, OpenAI, Groq, etc.) and keeps data on-device unless you opt for cloud. It offers profiles for different call types, diarization, speaker naming, and post-call reports with coaching. It works with Zoom/Meet/Teams, supports many languages, and never uploads your files by default. No account or telemetry; GPL-3.0.
HN Comments
Ledge is a free, open‑source Markdown notebook that can run code and shell blocks with a persistent shell per note. Notes live as files on a server or locally; the server executes blocks and streams output to the client. Accessed from macOS, Windows, Linux, or mobile, it supports multiple interpreters (Python, Node, Ruby, PHP, TypeScript via Bun), per-note envs, and per-host execution via SSH. Features include panes, workspaces, live preview, full-text search with backlinks, daily notes/templates, git/file syncing, note locking, profiles and secrets, and Claude MCP agent integration. Install with a single script; no central account required.
HN Comments
TLA+ is strong for designing concurrent systems and verifying invariants (safety) and some liveness properties. But it can't express every property: you must express the property as a formula; it cannot natively handle two-step properties, floating-point/real-time, or hyperproperties (existence of a behavior or comparisons across multiple behaviors). Properties are implicitly universal over all behaviors, so you can’t prove “there exists a winning strategy.” Workarounds (auxiliary variables, self-composition) complicate refinements and state space. Other tools (CTL, PRISM) fill different gaps. Overall, TLA+ covers many low-hanging fruits but has significant limits.
HN Comments
Three deaths occurred at Burning Man in 2026 among roughly 70,000 attendees in one week. Crude rates would predict about 12 deaths if applying US figures; age-standardization lowers the expected count to 4.9 because attendees are younger. A Poisson model yields a 27% chance of observing 3 or fewer deaths at that rate, so the count isn’t statistically abnormal, though near-zero historical mortality is unusual. The likely explanation is selection for healthier attendees and demographic factors, with age driving most of the difference; other factors matter less.
HN Comments
Bild AI, a YC-backed early-stage startup, tackles blueprint reading, cost estimation, and permit applications in construction. They’re hiring a Founding Product Engineer in San Francisco (full-time, in-office) with $120–$180K salary and 0.10–0.40% equity. Responsibilities: end-to-end feature ownership across React frontend and Python backend, weekly customer interviews, and shipping UI that simplifies complex blueprint data. Bonus: prior product/paid project or construction background. Interview: 15-min intro, 1h whiteboard, 1h coding, 3–5 day paid trial. Founders: Roop Pal and Puneet Sukhija.
HN Comments
Long commit descriptions helped him capture what changed and why, prompting reflection that could improve code. In AI-driven, agentic coding, AI can write commits but may lack full context, leading to fabricated 'why' explanations. Even with context, only the author can verify the code matches the description. Therefore he writes his own commit messages to reflect, validate, and clarify intent (including exit criteria), using commit descriptions as a thinking tool to ensure understanding of what is shipped.
HN Comments
SDF Public Access UNIX System provides free shell accounts and shell access as a community platform featuring UNIX shells, a fediverse presence, and vintage systems. It invites signup for shell access and Mastodon, exploration of resources, and donations; operating since 1987 (501(c)(7)).
HN Comments
Made by Johno Whitaker using FastHTML