← Oct 26Tuesday, October 27, 2026 · all days
1.Three new discoveries in mathematics, computer science, and physics(openai.com)
943 points by jonluca 13 hours ago | 470 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↓Skeptical of OpenAI self-promoting through curated scientist endorsements
  • ↑Credits OpenAI for improved collaborative approach with the scientific community
  • ↑Astonished and excited that ETH being false is a genuinely wild breakthrough
  • ~Questions cost-effectiveness versus funding human researchers directly
  • ~Technical scrutiny of the physics claim's precise scope and wording
2.The Exponential Time Hypothesis Is False [pdf](github.com)
646 points by vok 13 hours ago | 238 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↑Historical/contextual reflection on how CS intuitions about algorithmic complexity have evolved
  • ↑Clarification that the result is amazing but doesn't imply NP is subexponential or resolve P-vs-NP
  • •Noting an independent parallel proof from Anthropic with similar bounds
  • •Curiosity about practical implications for SAT solving and other areas like self-attention
  • ~Skepticism or confusion about the scaling and interpretation of the complexity bound shown
3.Sebastian Raschka's from-scratch video course on building reasoning models(magazine.sebastianraschka.com)
722 points by sgiannopoulos 20 hours ago | 100 comments | permalink
tl;dr: Sebastian Raschka released a free 11-hour video course (8 lectures) accompanying his "Build a Reasoning Model (From Scratch)" book, walking through implementation in Python and PyTorch starting from a pre-trained Qwen3 0.6B model. The course covers evaluation with verifiers, inference-time scaling (temperature sampling, self-consistency, self-refinement), reinforcement learning with verifiable rewards (a simplified GRPO), and distillation from a stronger teacher model (DeepSeek R1). Prerequisites are Python/PyTorch familiarity; early examples run on CPU, but training sections benefit from a GPU.
HN Discussion:
  • ↑Praise for Raschka's clear pedagogy and recommendation of his books/courses
  • ↑From-scratch tutorials are valuable for understanding fundamentals, not for building production models
  • ~Learning ML/LLMs feels frustrating due to math-heavy theory or compute-heavy practice
  • ↓Questioning the article's definition of reasoning models as just RL post-training
  • ↓Build-your-own-model guides are impractical and of limited real-world use
4.Oldest GUI application that still runs on Windows 11(blog.enlyth.com)
445 points by enlyth 17 hours ago | 259 comments | permalink
tl;dr: The author hunted for the oldest GUI app that runs natively on Windows 11, initially landing on FREECELL.EXE from Feb 1993 (via Win32s), then digging further to get CDPLAYER.EXE from Nov 1992 (an NT 3.1 pre-release build) working, using a DLL to emulate a CD-ROM drive. Earlier NT builds failed due to incompatible PE formats or cdecl-vs-stdcall calling convention mismatches, though 16-bit apps like REVERSI.EXE (1985) can still run via the otvdm compatibility layer.
HN Discussion:
  • ↑Personal nostalgia about FreeCell and preserving old versions for family members
  • •Criticism of modern UI design and loss of native Windows API development
  • ↑Sharing related experiences of reviving old Windows software with compatibility patches
  • ~Software's poor backwards compatibility is shocking compared to physical books
  • ↑Adding historical context that FreeCell predates NT as the Win32s demo app
5.Type Server Protocol(github.com)
248 points by adamnemecek 17 hours ago | 164 comments | permalink
tl;dr: The Type Server Protocol (TSP) is a JSON-RPC protocol—borrowing conventions from LSP—for querying a Python type server about snapshots, import resolution, search paths, and type information (computed, declared, and expected types). It uses snapshot IDs to version analysis state, returns tagged JSON type objects with discriminators for built-ins, functions, classes, unions, etc., and supports an optional multi-connection mode for concurrent read-only queries over IPC. The current 0.4.1 spec appears aligned with Pylance 2026.4.1, suggesting Microsoft is formalizing an interface between editors and Python type checkers.
HN Discussion:
  • ~TSP is Microsoft's attempt at vendor lock-in disguised as an open protocol
  • •Confusion about why TSP is needed when LSP could potentially be extended instead
  • ~Protocol is too Python-specific to justify the generic 'Type Server Protocol' name
  • ↑Positive that Astral's Ty will support TSP, enabling type checker/language server separation
  • ↓Skepticism toward Microsoft-designed protocols based on prior LSP experience
6.CSS-Tricks has a new owner(css-tricks.com)
488 points by edent 19 hours ago | 106 comments | permalink
tl;dr: Geoff Graham has acquired CSS-Tricks from DigitalOcean, making the site independent again after its 2022 sale by founder Chris Coyier. Graham plans to fund it through a mix of advertising, memberships, a shop, and an upcoming beginner HTML/CSS course, while reviving the newsletter and guest-writing submissions. Publishing will continue at a reduced pace (one or two articles weekly), with a focus on making the site more inclusive for beginners and giving writers a platform rather than using it as a personal soapbox.
HN Discussion:
  • ↑Celebrates the acquisition and expresses excitement for CSS-Tricks' revival under independent ownership
  • ↓Skeptical about long-term viability given LLMs disrupting frontend education and tutorial sites
  • ~Pessimistic about community-focused tech publishing as a sustainable business model generally
  • ~Shares practical experience that ads and courses don't monetize well; services work better
  • ↑Criticizes DigitalOcean's neglectful stewardship, validating the need for the ownership change
7.Solar power is becoming bigger than nuclear(bbc.com)
351 points by geox 20 hours ago | 508 comments | permalink
tl;dr: Solar is set to surpass nuclear as a global power source in 2026, jumping from 1% of world electricity a decade ago to roughly 10%, and supplying three-quarters of 2025's electricity demand growth. The surge is driven by collapsing panel prices (under $100), cheap batteries that solve daily storage, and rapid adoption in "sun belt" countries like Pakistan where residents buy panels out-of-pocket. Growth may slow slightly in 2026 due to China changing its subsidy regime, but the main constraints are now grids, long-term storage, and electrification pace—not panel cost or supply.
HN Discussion:
  • ↑Unregistered off-grid solar in developing world is even bigger than official stats show
  • ↑Technology improvements in cell efficiency will accelerate solar adoption further
  • ~Grid stability concerns like inertia and fault current need attention as solar grows
  • ↑Nuclear is now a poor economic/policy choice compared to solar plus storage
  • ↑Storage, not solar generation, is the remaining critical challenge
8.New iPad mini(apple.com)
214 points by soheilpro 22 hours ago | 524 comments | permalink
tl;dr: Apple announced a new iPad mini with an 8.5-inch OLED display (optional nano-texture), the A20 Pro chip with upgraded Neural Engine for Apple Intelligence, IP67 water/dust resistance, a landscape 12MP Center Stage front camera, Wi-Fi 7, and fast charging. It starts at $699 (Wi-Fi) and $849 (Cellular) in 128/256/512GB configurations, with pre-orders October 28 and availability November 6.
HN Discussion:
  • ↓Apple is unjustifiably locking 120Hz displays to Pro models
  • ↓Price increases and 128GB base storage make this a bad value
  • ↑Despite flaws, this is genuinely the biggest meaningful iPad mini upgrade
  • ↓Hardware design flaws like camera bump and thinness are poor tradeoffs
  • •iPad and iPhone screen size lines are converging into a continuum
9.Websites Should Be Printable(brennenputh.me)
348 points by bagatelle 1 day ago | 203 comments | permalink
tl;dr: The author argues that websites consisting mainly of text should be styled for print, since some readers prefer marking up physical documents. They share a short CSS snippet using `@media print` to hide/show elements, resize fonts, convert links to black, and style codeblocks, noting that making a page print-friendly took only a morning's work. They acknowledge few people print webpages, but frame it as a small kindness worth the effort.
HN Discussion:
  • ↑Print styling extends beyond text; HTML/CSS can produce quality printed outputs like posters and labels
  • ↑Printable websites are valuable for marking up, e-ink reading, and annotation workflows
  • ↑Browsers and websites have degraded print fidelity, making this effort more necessary
  • ~Developers shouldn't override user defaults like font size when styling for print
  • ↓Websites were never meant to be printable; use proper tools like LaTeX instead
10.Anthropic S-1(sec.gov)
1622 points by SiNTEx 22 hours ago | 1552 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • •Massive compute commitments are a huge bet contingent on continued demand growth
  • ~AI coding drove growth but rapid diffusion makes extrapolation risky
  • ↓S-1 underplays risks like open-source models and misuse harms
  • ↑Revenue growth and compute payback metrics look impressive
  • ↓Financials obscure real costs through accounting tricks and timing of IPO is suspicious
11.Blaise Pascal invented fixed route public transport (2024)(humantransit.org)
294 points by skadamat 4 days ago | 150 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↑Appreciation for Pascal's innovation with added historical/business context about the venture
  • ↓Disputes the claim, arguing boats/ferries on rivers were fixed routes long before Pascal
  • ↓Points to the Dutch trekschuit (1632) as a prior land-adjacent fixed route counterexample
  • •Reflections on modern public transport frequency, efficiency, and Paris's metro network
  • ↑Notes Paris's broader history of urban innovations beyond public transport
12.SIMD-accelerated computer vision on a $2 microcontroller(shraiwi.com)
213 points by zdw 1 day ago | 61 comments | permalink
tl;dr: A developer wrote a SIMD-accelerated FAST feature detector for the ESP32-S3's 128-bit vector instructions, roughly doubling throughput from 5.1MP/s to 11.2MP/s and processing QVGA frames in ~6ms. Key obstacles included the ISA's lack of misaligned reads, signed-only 8-bit comparisons, and saturating arithmetic — worked around with register slice extraction and an XOR-with-0x80 trick to convert unsigned pixels to signed range. The result enables real-time 30fps VGA computer vision on a $2 chip.
HN Discussion:
  • ↑ESP32 boards offer amazing value and capability for the price point
  • ~Alternative RISC-V chips offer more capable SIMD extensions at similar prices
  • ↓The article's performance improvement math is incorrectly stated as a percentage
  • ~Questions the practical usefulness and real-world application of the detector
  • ↑Agrees ESP32-S3 SIMD is difficult to use, validating the article's challenges
13.Microsoft offers mass buyouts for roughly a quarter of its workforce(seattletimes.com)
956 points by doctorzook 19 hours ago | 943 comments | permalink
tl;dr: Microsoft offered voluntary buyouts to roughly 60,000 employees (VP level and below in the US, Canada, India, and UK), though it expects only 3-5% to accept. The move, part of ongoing cost-cutting amid massive AI infrastructure spending, follows last year's 15,000 layoffs and an earlier retirement program. Gaming, Windows, Copilot, HR, and finance divisions are fully participating, while AI, legal, and cloud teams are partially involved; marketing and security are excluded.
HN Discussion:
  • ↑Insider confirms Microsoft had bloat and unproductive teams, validating the cost-cutting rationale
  • •Buyouts create a difficult dilemma for employees facing uncertainty about accepting or risking layoffs
  • ↑Microsoft's leadership is hypocritical, contradicting recent 'we stand by our people' statements
  • ~Buyouts backfire by driving away the best, most employable talent
  • ~This is simply a correction of pandemic-era overhiring, not an AI-driven narrative
14.GPT-6.1 Terra(openai.com)
595 points by meetpateltech 17 hours ago | 377 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↑Frustration with model's over-cautious refusals, hoping Terra behaves better
  • ~Terra is an awkward middle-tier offering with unclear value proposition versus Sol
  • ↓Confusion about the proliferating and inconsistent model naming/tier schema
  • ↑Benchmarks confirm Terra sits on the Pareto frontier as advertised
  • ↓Personal testing contradicts the claims, Terra underperforms at max effort
15.Pharo 14(pharo.org)
265 points by xkriva11 1 day ago | 73 comments | permalink
tl;dr: Pharo 14, the pure object-oriented Smalltalk-descended language and live environment, has been released with 978 merged PRs and 616 closed issues since v13. Major changes include modernized dev tools (new Mission Control, Pulse replacing Spotter, reworked Method and Settings Browsers), a rebuilt refactoring/command infrastructure with expanded CLI tooling (including a command-line debugger), and significant VM work such as RISC-V JIT support, unified frame/stack management, and improved GC. The project has also shifted from a spring to a fall release cadence.
HN Discussion:
  • ↑Praises Pharo 14's improvements and updated learning resources
  • •AI coding tools reduce the importance of language choice
  • ↓Recommends Cuis Smalltalk as a better alternative to Pharo
  • •Curious about agent-assisted development potential in Smalltalk environments
  • ~Pharo should more proudly brand itself as a modern Smalltalk
16.Behind the scenes at the NeXT Computer office(exhibits.stanford.edu)
258 points by Austin_Conlon 1 day ago | 155 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↑Nostalgia and melancholy about missing the exciting in-person early tech era
  • ↑Appreciation for NeXTSTEP's UI and desire for a modern equivalent
  • ↑Awe at Jobs' and NeXT's outsized impact on the world via the web
  • ↑Personal anecdotes about encountering and using NeXT hardware
  • ~Critical take on Jobs as a dysfunctional CEO or Apple's offshoring versus NeXT's US manufacturing
17.The EPA Is Quietly Killing Its Web Archive(motherjones.com)
285 points by robtherobber 16 hours ago | 52 comments | permalink
tl;dr: The EPA has quietly announced it will decommission its online web archive on December 31, 2026, eliminating public access to tens of thousands of environmental documents dating back to the 1990s. The archive, which costs roughly $2 million annually to maintain, has been a critical resource for researchers, policymakers, and the public — particularly for tracking deleted climate pages from Trump's first term and documenting cases like Camp Lejeune contamination. A prior Biden-era attempt to shut it down in 2022 was reversed after public backlash, but the agency now points users to limited "snapshot collections" as a replacement.
HN Discussion:
  • ↑Partisan criticism blaming Republicans for prioritizing profit over science and environment
  • ↑Suspicion that the shutdown is motivated by suppressing climate change evidence
  • •Practical focus on preservation efforts via Wayback Machine and End of Term Archive
  • ↑Comparison to dystopian censorship and historical revisionism (1984)
  • ↑Questioning policies allowing entities to remove content from web archives
18.Birdwatching rewires the brain and slows cognitive decline(bbc.com)
531 points by cisc 3 days ago | 207 comments | permalink
tl;dr: Neuroscientists at Baycrest Academy found that expert birdwatchers' brains are structurally different from novices', with more activity and better-preserved organization in regions tied to attention and visual recognition — suggesting birdwatching may slow age-related cognitive decline via neuroplasticity. Separate research in German nursing homes showed that installing bird feeders improved residents' cognition, mobility, and wellbeing within weeks, prompting insurers to fund the setup in 400+ facilities. Similar therapy programs are now used for dementia patients and stroke survivors with aphasia in the US and UK.
HN Discussion:
  • ~Questions whether birdwatching specifically matters versus outdoor exposure or general stimulating hobbies
  • ↓Skeptical that correlation reflects wealth/socioeconomic confounds rather than the activity itself
  • ↑Personal anecdotes confirm birdwatching's cognitive and mental health benefits
  • ↑Enthusiastic endorsement encouraging others to try accessible birdwatching
  • •Observes birdwatching is evolving with AI tools like Claude assisting identification
19.We should be more ambitious with the software we build(danluu.com)
892 points by ltratt 2 days ago | 769 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↑AI enables building previously impractical personal projects and pushing complexity limits
  • ↑Ambition requires novel ideas and diversity, not just faster rewrites of existing tools
  • ↑Everyday consumer software quality is poor and deserves more ambitious improvement
  • ~AI gets you to MVP but can't handle post-MVP complexity or generate good ideas
  • ↓Pushes back on LLM skepticism, noting LLMs have improved code quality in practice
20.US designates helium as a critical material(apnews.com)
214 points by rbanffy 17 hours ago | 125 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↑Too little too late after squandering the national helium reserve for years
  • ↓Designation is a market ploy since most extracted helium is still vented as waste
  • ↑Helium should be reserved for industrial/scientific uses, not party balloons
  • •US should partner with Canada for He-3 and He-4 supply chains
  • •Provides background context on helium shortage and its industrial importance