0. Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
1605 points · 1055 comments · by defly
We couldn't summarize this story. [src]
The emergence of prediction markets like Polymarket has sparked intense debate over their moral and social consequences, with some viewing them as a "plague" of "moral degradation" that incentivizes harassment and death threats against journalists [0][3][9]. While some argue these markets offer fascinating economic data and a "pure" way to predict events, critics contend they are "satanic" extremes of free-market thinking that inevitably lead to "death pools" and unethical behavior [1][2]. Significant disagreement exists regarding regulation: some call for immediate global bans or the imprisonment of founders for lacking oversight, while others note that the anonymity of crypto and jurisdictional hurdles make law enforcement nearly impossible [4][5][8]. Additionally, users point out that while insider trading is often seen as a flaw, it is fundamentally the "point" of these markets to incentivize those with private information
1. Palestinian boy, 12, describes how Israeli forces killed his family in car (bbc.com)
1253 points · 413 comments · by tartoran
Israeli forces shot and killed a Palestinian couple and two of their children in their car during a West Bank raid, an incident the military claims was a response to a perceived threat but witnesses describe as an unprovoked attack on a stationary vehicle. [src]
The killing of a Palestinian family by Israeli forces is corroborated by multiple news outlets, with the official justification citing a "fast-moving" vehicle as a perceived threat [0]. Commenters draw parallels between the IDF's actions and American policing, noting that both systems often operate with near-impunity and perceive civilian environments through a lens of constant danger [1][9]. While some users argue such tragic reports are too political for a technology-focused forum [4], others contend that moral and political awareness is inseparable from professional life [6][7]. There is a shared sense of disillusionment regarding government accountability, with an Israeli user describing the event as an "inexcusable crime" likely to go unpunished [5], and a German user criticizing their own country's historical silence on Palestinian suffering [2].
2. The American Healthcare Conundrum (github.com)
523 points · 649 comments · by rexroad
The "American Healthcare Conundrum" is an open-source data journalism project that has identified $98.6 billion in annual fixable waste by analyzing federal datasets on drug pricing, hospital procedures, and Medicare spending. [src]
Commenters debate whether the U.S. healthcare system's high costs stem from the Affordable Care Act's (ACA) profit-capping regulations, which some argue incentivize insurers to seek higher total spending to increase their 20% cut [0][9]. While some view the ACA as a "politicized victory" that enshrined a flawed system [5], others defend it for ending the practice of denying coverage for pre-existing conditions [6][8]. Disagreement persists over the role of insurers: some claim they are the only party incentivized to negotiate lower prices [1][7], while others argue their administrative complexity and claim denials actually drive hospital costs higher [4]. Ultimately, the U.S. remains a global outlier in spending compared to countries like Japan and Costa Rica, which achieve better outcomes through universal or more efficient systems [2][3
3. Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
741 points · 388 comments · by PaulHoule
A study of 62 countries reveals that perceived corruption erodes social trust significantly more in democracies than in autocracies. Researchers suggest this "price of accountability" exists because democratic citizens view corruption as a betrayal of the social contract and a reflection of the untrustworthiness of the electorate. [src]
In autocracies, corruption often functions as a necessary "oil" for social machinery, evolving into complex personal trust networks known as *blat* that allow individuals to bypass dysfunctional official rules [0][4][8]. While high-trust democracies rely on the assumption that rules work fairly, systemic corruption in these societies acts as "sand" that degrades long-term investment and growth [1][2]. However, some argue that Western legalism actually reflects a low-trust environment compared to cultures where business is done via personal relationships, noting that authoritarian regimes like Singapore can maintain exceptionally low corruption levels [6][7][9].
4. How I write software with LLMs (stavros.io)
543 points · 530 comments · by indigodaddy
The author details a multi-agent LLM workflow—utilizing an "architect," "developer," and "reviewers"—to build complex software projects like a personal assistant and hardware controllers, emphasizing that high-level architectural oversight remains the most critical human contribution in AI-assisted programming. [src]
The debate centers on whether LLM-generated code should be treated as a disposable "intermediate representation" similar to assembly, where correctness is verified through testing rather than manual review [1][3]. While some argue that experienced developers find LLMs lacking because they catch subtle errors that less-experienced reviewers miss [0], others contend that focusing on architectural vision and functional requirements is more productive than "geek wars" over code patterns [1][9]. However, critics warn that LLMs lack the rigorous modeling of compilers, meaning that without human review, "prompt instability" and the inability to reason about complex changes can lead to fragile, "spaghetti" implementations [2][5][7].
5. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
782 points · 193 comments · by Poudlardo
Mistral AI has introduced Leanstral, an open-source agent designed to enhance trustworthy coding and formal proof engineering using the Lean 4 interactive theorem prover. [src]
The discussion highlights a growing interest in "agentic engineering" patterns where models use Test-Driven Development (TDD) and formal verification to diagnose issues and ensure correctness [1][3]. While some users appreciate the move toward "trustworthy vibe coding," others criticize the model for significantly underperforming Claude 3 Opus, arguing that the cost savings are irrelevant if the task requires high accuracy [2][5][7]. There is also skepticism regarding the practical application of Lean in mainstream development and whether an agent writing its own tests truly offers better correctness guarantees [6][9].
6. MoD sources warn Palantir role at heart of government is threat to UK security (thenerve.news)
677 points · 293 comments · by vrganj
Ministry of Defence insiders warn that Palantir’s extensive UK government contracts pose a national security threat, alleging the US firm can exploit metadata to gain secret insights despite government claims of data sovereignty. Palantir denies these claims, which critics argue give a foreign entity dangerous leverage over British infrastructure. [src]
Commenters are divided on whether Palantir is merely a sophisticated "PowerBI++" database and UI for ontological expert systems [0][2][4], or a "corrupting force" designed to undermine democracy [7]. A significant portion of the discussion focuses on the company's political ties, with some viewing the UK's adoption of the software as a form of "client state subscription" to align interests with the US and Peter Thiel's specific faction [4][5]. Concerns regarding UK security are amplified by the backgrounds of leadership, including CEO Alex Karp's security clearance and the familial history of the UK arm's head [3][8], as well as the "villainous" branding of the company itself [6][9].
7. AirPods Max 2 (apple.com)
321 points · 559 comments · by ssijak
Apple has announced the AirPods Max 2, featuring the H2 chip, USB-C charging, and up to 1.5x more Active Noise Cancellation. The new over-ear headphones include intelligent features like Live Translation and Adaptive Audio, and are available in five colors starting next month. [src]
The AirPods Max 2 refresh has been met with significant disappointment due to Apple's failure to address the original model's excessive weight (13.6 oz) and the lack of a physical power button [0][3][4]. While some users argue the pricing is consistent with other high-end ANC brands like Focal or Bowers & Wilkins, others find the $549 price tag disproportionately high compared to more functional Apple products like the MacBook [1][2][6]. Despite technical updates to power management firmware, users continue to report physical discomfort, including claims of "headband dents," leading many to recommend alternatives like the Bose QC Ultra [0][3][9].
8. US Job Market Visualizer (karpathy.ai)
502 points · 356 comments · by andygcook
Andrej Karpathy’s US Job Market Visualizer uses an interactive treemap and LLM-powered scoring to analyze 342 occupations, allowing users to visualize Bureau of Labor Statistics data alongside AI exposure estimates and other economic metrics. [src]
The discussion centers on whether AI represents an inevitable paradigm shift in the job market or a specialized tool with significant limitations [0][1]. While some argue that dismissing AI is a "dogmatic" mistake that will lead to economic irrelevance [0], others counter with domestic appliance analogies, suggesting AI is more like a dishwasher—useful for productivity but requiring human oversight and not universally essential [6][7]. Amidst these debates, users expressed skepticism regarding official growth data, citing the harsh reality of long-term unemployment for developers and the impact of visa policies on market saturation [2][3].
9. The “small web” is bigger than you might think (kevinboone.me)
558 points · 241 comments · by speckx
The "small web" of non-commercial, private websites is growing rapidly, with data showing over 9,000 active sites producing more than 1,200 daily updates, making it too large for simple feed aggregation. [src]
The "small web" is defined by a mindset of sharing for its own sake rather than for monetization or attention [9]. While some argue the movement should reject encryption to lower technical barriers and eliminate commercial potential [0], others contend that modern discovery tools like Kagi’s "Small Web" index—which currently captures roughly 30,000 sites—are limited by hand-curation and often miss high-quality, infrequently updated blogs [1][5][8]. Critics suggest that reviving old technologies misses the point of the original web's experimental spirit [3], but proponents point to independent search engines like Marginalia and nostalgic social features like 88x31 badges as effective ways to unearth content buried by mainstream SEO [4][6].
10. Why I love FreeBSD (it-notes.dragas.net)
526 points · 261 comments · by enz
Stefano Marinelli reflects on over twenty years of using FreeBSD, praising the operating system for its superior documentation, long-term stability, and a passionate, pragmatic community that prioritizes consistent performance and reliable server management over chasing industry trends. [src]
FreeBSD is praised for its long-term reliability, high-quality documentation, and cohesive design as a complete operating system rather than a collection of parts [0][2][9]. Proponents highlight its superior handling of niche hardware like LTO tape drives and the seamless integration of ZFS boot environments, which often require more manual effort to replicate on Linux [2][8]. However, critics point to significant friction regarding modern ecosystems, specifically the lack of native Docker support, inconsistent hardware compatibility for desktops, and a smaller "collective mindshare" that makes troubleshooting more difficult than on Linux [3][4][7]. While some users find its administration more efficient than Linux, others have encountered persistent performance issues with networking and NFS that eventually forced a migration back to the Linux ecosystem [5][7].
11. Meta’s renewed commitment to jemalloc (engineering.fb.com)
514 points · 240 comments · by hahahacorn
Meta has announced a renewed commitment to the open-source memory allocator jemalloc, highlighting its continued investment in the project's infrastructure to optimize performance and efficiency across its data centers. [src]
The discussion highlights significant performance gains from alternative allocators like Microsoft's mimalloc, particularly through better utilization of huge pages [0]. A central debate emerged regarding jemalloc's purging mechanisms: while some argue that kernel-level patches to avoid unnecessary memory zeroing improve cache locality [2], others contend these optimizations show no statistically significant benefit in high-level system benchmarks [3][5]. Participants also noted that while garbage-collected languages can offer more efficient allocation patterns [1][7], the push for allocator efficiency at Meta is likely driven by the massive cost savings associated with reducing global memory footprints [9].
12. Give Django your time and money, not your tokens (better-simple.com)
438 points · 171 comments · by dcreager
The author argues that using LLMs to automate Django contributions undermines community trust and code quality, urging developers to prioritize genuine understanding and financial donations to the Django Software Foundation over AI-generated pull requests. [src]
The Django community is grappling with an influx of AI-generated contributions that maintainers argue create a "facade" of understanding, making it difficult to mentor new developers and leading to reviewer burnout [0][3]. While some view these restrictions as "gatekeeping" and suggest that open source must embrace AI to survive [1][8], others highlight that the high barrier to entry for complex frameworks like Django makes LLMs an attractive, albeit "slop"-heavy, shortcut for contributors [2]. This tension is exacerbated by the use of AI to game hiring metrics through automated GitHub activity and the increasing "spamminess" of AI-integrated project management tools [3][5][6].
13. My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
425 points · 140 comments · by Vaslo
A Home Assistant community member successfully replaced their Google Nest system with a fully local voice assistant using Home Assistant Assist, llama.cpp, and custom-trained wake words. The setup utilizes discrete GPUs to run large language models, achieving reliable tool calling, weather forecasts, and music control while prioritizing user privacy. [src]
While local voice assistants often surpass commercial options like Siri in contextual awareness [4][6], users agree that wake word detection remains the primary barrier, with open hardware struggling to match the reliability of Echo devices [0][8]. There is a strong consensus that current Text-to-Speech (TTS) models lack natural conversational prosody [3], and many users would prefer simple auditory feedback—like a "success ding"—over verbose verbal confirmations [5][9]. Some participants question the utility of voice altogether, suggesting that physical buttons or "pebble" interfaces are often faster, less awkward, and more reliable than speaking to empty air [1][2][7].
14. Starlink Mini as a failover (jackpearce.co.uk)
323 points · 226 comments · by jkpe
Starlink Mini offers a reliable home network failover solution via a £4.50 monthly standby plan, providing low-speed data for essential apps and a simple setup that remains functional during local power outages. [src]
While Starlink Mini is praised for its technological utility as a failover, many users argue that 4G/5G mobile tethering or dongles are more cost-effective, power-efficient, and reliable during heavy rain [2][4]. Technical discussions highlight the use of travel routers to bypass carrier throttling via TTL manipulation [1][6][7], while others find Starlink's $5/month standby plan ideal for guaranteed connectivity in areas without cell service [3][4]. A significant portion of the debate centers on the ethics of supporting Elon Musk; some users refuse to finance his ventures on principle [8][9], while others argue that boycotting individual CEOs is inconsistent and impractical given the ubiquity of corporate influence [0][5].
15. Show HN: Claude Code skills that build complete Godot games (github.com)
337 points · 206 comments · by htdt
Godogen is an open-source pipeline that uses Claude Code and Gemini Flash to transform text prompts into complete, playable Godot 4 projects by automating architecture design, asset generation, GDScript coding, and visual QA testing. [src]
The emergence of AI-generated games has sparked a debate between those mourning the "lost art" of passionate, handcrafted development and those who view LLMs as a powerful new tool for "vibecoding" [0][3][6][7]. While critics argue that current AI-generated demos feel "lifeless" with poor physics, the developer emphasizes that these are raw, unpolished outputs intended to demonstrate an end-to-end pipeline [1][5]. A significant technical discussion centers on language choice: while GDScript is Godot's default, users suggest that C# is superior for LLMs due to better training data, static typing, and token efficiency [2][4][8][9].
16. Return of the Obra Dinn: spherical mapped dithering for a 1bpp first-person game (forums.tigsource.com)
467 points · 59 comments · by PaulHoule
The provided source link is currently inaccessible due to security verification and bot protection measures, preventing a summary of the game's technical development. [src]
While many users praise *Return of the Obra Dinn* as a masterpiece of the detective genre [3][7], a significant portion of the discussion centers on how the 1bpp art style can be physically straining or detrimental to the gameplay experience [0][1]. Technically, commenters highlight that while the spherical mapping solves certain stability issues, it can sacrifice "retro charm" by moving away from screenspace dithering [9] and still struggles with edge flickering or sharp viewing angles [6][8]. For those interested in the underlying mechanics, participants shared further resources on stable dither surfaces and generalized perspective pixel art [2][5].
17. Obsession with growth is destroying nature, 150 countries warn (politico.eu)
293 points · 230 comments · by speckx
A report backed by over 150 countries warns that an obsession with GDP-measured economic growth is driving global biodiversity loss and threatening future prosperity by failing to value essential ecosystem services. [src]
The discussion centers on a clash between nostalgic views of sustainable rural living and the efficiency of modern urban growth. Some argue that traditional village life offered a healthier, community-focused existence compared to the "rat race" of modern cities [0], while others contend that cities are actually more environmentally friendly due to lower per-capita land use and carbon footprints [2]. Critics of current economic models suggest that GDP is a flawed metric that ignores the depletion of natural resources [7] and the physical impossibility of infinite exponential growth [3][6]. Conversely, proponents of growth argue that it is inseparable from the innovation needed to reduce pollution and that "degrowth" would unfairly prevent developing nations from improving their quality of life [5].
18. FSF statement on copyright infringement lawsuit Bartz v. Anthropic (fsf.org)
263 points · 132 comments · by m463
The Free Software Foundation has responded to a settlement offer in a copyright lawsuit against Anthropic, urging the AI developer to provide users with complete training data and model source code to ensure computing freedom rather than just offering monetary damages. [src]
The FSF’s stance on the *Bartz v. Anthropic* settlement has sparked debate over whether the use of works under the GNU Free Documentation License (GFDL) constitutes copyright infringement in the context of AI training. Some argue that because the GFDL allows free duplication and distribution, no harm was caused by Anthropic’s actions [0][3], while others contend that the license is copyleft—not public domain—and requires specific obligations like attribution and the licensing of derivative works [1][5][7]. A central point of disagreement is whether downloading for training falls under fair use, which would bypass license restrictions [2], or if the retention of copies for non-training purposes by engineers violated the GFDL's terms [8]. Ultimately, commenters note that the legal status of LLM outputs as derivative works remains an unsettled question that would require judicial
19. Ask HN: What is it like being in a CS major program these days?
176 points · 174 comments · by tathagatadg
A Hacker News user is seeking firsthand perspectives on the current state of computer science programs to understand how curricula have evolved and what career advice to give students amidst conflicting reports about the industry's future. [src]
Current CS students face a shifting job market where traditional Big Tech campus recruiting has reportedly "evaporated," leaving high-frequency trading firms to absorb top talent [0][6]. Educators and students alike are struggling to integrate AI into the curriculum; professors find it difficult to design "complex" assignments that AI cannot trivialized, while students risk losing the deep learning that comes from struggling with difficult technical hurdles [0][2][5]. Despite these shifts, some argue that core CS fundamentals remain as vital as ever—likening the advent of AI to the introduction of the calculator in mathematics [7]—and emphasize that sound fundamentals are still more valuable to employers than mastery of a specific tech stack [4].
Brought to you by ALCAZAR. Protect what matters.