Hacker News, Distilled

AI powered summaries for selected HN discussions.

Page 662 of 798

Life is not a story

Role and Inevitability of Narratives

  • Several argue that humans cannot truly “reject narrative”; even “I reject narratives” becomes a narrative about the self.
  • Others counter that while total escape is impossible, one can weaken identification with stories and treat them more as optional tools than as identity.
  • Some see life as “many stories” rather than one arc; danger lies in being trapped in a single story about oneself or the world.

Grand Narratives, Religion, and Modernity

  • One view: modern malaise comes from loss of shared societal stories (e.g., religious worldviews, geopolitical frames), leaving a vacuum filled by fragmented or extremist narratives.
  • Others respond that strong, unified narratives (religion, fascism, communism) have frequently produced oppression and mass violence.
  • There is debate over whether humanity needs a new overarching story compatible with science, possibly giving humans a meaningful role without reverting to old dogmas.

Dangers of “Solid” Narratives

  • Multiple comments stress that fixed narratives are attractive but hazardous: they can justify autocracy, “camp of the good vs heretics,” and abuse.
  • Even benign-sounding personal stories (“I’m just happy and one with the world”) can risk passivity, like a psychological drug.

Narratives, Identity, and Personal Psychology

  • Narratives are seen as psychologically fundamental: they help compress complexity, form habits, and provide an “overview.”
  • Over-identifying with roles (“the waiter,” “the founder”) can limit future choices; some recommend keeping identity “small.”
  • In parenting, separating “what the child did” from “who they are” is seen as key to avoiding harmful identity stories.
  • Narratives can be empowering or trapping: they can motivate self-improvement or lock people into trauma loops and underdog/victim scripts.

Consciousness as Story-Maker

  • Some endorse the idea that consciousness acts like a press secretary or internal storyteller, generating justifications for behavior.
  • Others frame consciousness as inherently narrative and linguistic; identity is described as a “narrative subroutine.”
  • There is interest in alternative models (e.g., multiple drafts, fame-in-the-brain), but consensus that the mind heavily relies on story-like organization.

Critiques of the Article

  • Several commenters find the piece shallow, rhetorically weak, or “wishy-washy,” accusing it of setting up a false dichotomy and relying on hedged claims.
  • Others think the core idea (beware over-identification with a single life story; use multiple perspectives) is valuable but poorly presented.

Just want simple TLS for your .internal network?

Internal TLS with Name-Constrained CAs

  • Original idea: use a private CA constrained to a specific namespace (e.g., *.myhome.internal) so others can install the CA without risking MITM on arbitrary domains.
  • Some want similar constraints on existing third‑party CAs (e.g., government CAs) via cross-signing with name constraints, but note this requires additional setup and distribution of the cross-signed cert.

Name Constraints: Power vs. Reality

  • Name constraints are part of X.509 (since ~RFC 5280) but historically poorly implemented.
  • Older and some current clients may mishandle them or ignore parts (e.g., only SAN, not CN).
  • One comment notes existing audits (Netflix BetterTLS) didn’t fully test constraints at trust anchors.
  • Concern: relying on constraints assumes correct client behavior; not always true, especially on legacy or embedded devices.

Public CAs, ACME, and Internal Domains

  • Many prefer using a public CA (e.g., Let’s Encrypt) with DNS challenges:
    • Works for internal IPs.
    • Wildcard certs + a reverse proxy (Caddy, Nginx, Kubernetes ingress, etc.) simplify deployment.
  • Benefits: no need to distribute a private root across all OSes, apps, containers, and smart devices.
  • Downsides: public DNS/CT logs can reveal internal hostnames, which some see as low‑risk, others view as sensitive reconnaissance data.

Wildcard Certificates: Convenience vs. Risk

  • Wildcards via DNS‑01 are popular for internal networks.
  • Pros: one cert covers many hosts; easier automation.
  • Cons:
    • Any compromised host in the wildcard zone can impersonate any other.
    • Friends/family can’t easily detect abuse of a shared wildcard.
    • Some see this as “technical debt”; others consider it a practical trade‑off.

Threat Models and Why Use TLS Internally

  • Motivations:
    • Devices roaming onto hostile Wi‑Fi.
    • Protection against router or LAN malware, ARP spoofing, or shared networks.
    • Browser features and UX (clipboard APIs, warnings) require HTTPS.
  • Skeptics argue that if you fully trust all devices on your LAN, TLS adds little, but others counter that this level of trust is unrealistic in modern mixed‑device environments.

DNSSEC, DANE, and Related Debates

  • Some advocate DANE + DNSSEC as a decentralized alternative to ACME, especially for .internal.
  • Others respond that:
    • DNSSEC/DANE deployment is low and problematic (middleboxes, stripping, complexity).
    • Major email providers favor MTA‑STS over DANE.
    • There is disagreement over whether DNSSEC is “failing” or slowly growing; data and interpretations conflict.

Operational Pain of Private PKI

  • Repeated experiences: installing a custom root CA on diverse OSes, browsers, mobile devices, smart TVs, and containers is fragile and time‑consuming.
  • This pushes many toward public CA + DNS‑01 solutions despite privacy concerns.

Intentional MITM Use-Cases

  • Some explicitly want to MITM their own network (e.g., to filter/redirect YouTube for children).
  • Others note this aligns technically with what large network censors do, and that devices increasingly try to bypass local control via hard‑coded DNS and encrypted DNS.

What is theoretical computer science?

Is TCS Mathematics, Science, or Something Else?

  • Many argue theoretical computer science (TCS) is essentially mathematics: axioms, theorems, formal models, proofs.
  • Others say TCS sits between math and science: some parts are purely formal, others study real systems (distributed systems, networking, performance) and behave more like empirical sciences or engineering.
  • Debate over whether calling it “computer science” is a misleading historical artifact versus a harmless linguistic quirk.
  • Some prefer a sociological definition: TCS is “whatever people who call themselves theoretical computer scientists work on,” recognizing shifting boundaries over time.

Science, Proof, and Falsifiability

  • A long subthread debates whether “nothing can be proven in science,” contrasting empirical falsification with mathematical proof.
  • One side leans on a Popper-style view: scientific statements can only be falsified, never verified; math is different because axioms are fixed.
  • Others push back, saying science is better viewed as building predictive models, quantifying uncertainty, and offering explanations, not just falsifying hypotheses.
  • There is disagreement over definitions of “hypothesis” (proposition vs explanatory model vs statistical hypothesis), and whether strict statistical formalization is the “right” technical core of the scientific method.

TCS and Real-World Computing

  • Several comments support the article’s idea that TCS should explain and predict real computing, drawing analogy to theoretical physics.
  • Examples: distributed systems, networking, algorithm engineering, and empirical complexity work that incorporate hardware constraints and realistic input sizes.
  • Others note that some highly abstract complexity questions (e.g., P vs NP) still have deep conceptual and indirect practical value, even when not tightly coupled to current practice.

Breadth and Scope: US vs Europe and Subfields

  • Some report European “theoretical CS” including HCI, operating systems, VLSI, and hardware, forcing students to learn algorithms, PL theory, and circuit design together.
  • They claim narrower US programs (more math-heavy, less hardware/interaction) can hurt both intellectual depth and job prospects.
  • Another view: CS as a whole already includes both formal/theoretical and empirical/engineering subfields; tension arises mostly when TCS is framed as only math.

Theory Drifting from Reality

  • Von Neumann’s warning about math drifting into aesthetic, highly “baroque” directions is cited; some worry TCS could do the same if treated purely as formal systems.
  • Others think arguments over labels (“math vs science”) matter little to actual research progress and are mainly about hiring and departmental politics.

One of Florida's most lethal python hunters

Use of Technology in Python Control

  • Several comments argue for drones with thermal cameras, night vision, LIDAR, and AI-based image recognition to detect pythons more efficiently than humans.
  • Counterpoints: thermal cameras have narrow fields of view, many false positives from native snakes, and drones face flight-time and terrain limits in the Everglades.
  • Official agencies are reportedly already testing drones, AI vision, and LIDAR-equipped trucks.
  • Some speculate about using “wrong” lenses plus image-processing/AI to enhance cheap thermal optics, but this is floated as an idea, not a tested solution.

Killing Methods: Wrestling vs Shooting

  • Many ask why hunters wrestle pythons and kill them later instead of shooting on site.
  • Arguments against shooting:
    • Small head and nocturnal conditions make humane headshots difficult.
    • Wounded snakes can escape into thick vegetation or water.
    • Gunfire might complicate verification for bounty payment and raise safety/lead-pollution concerns.
    • Official guidance emphasizes immediate loss of consciousness and brain destruction (pithing); transporting live snakes is often disallowed.
  • Others insist shooting is legal in some contexts and is used, but still must be humane.

Economics and Incentives

  • Concerns about a “cobra effect” (breeding snakes for bounty) are raised.
  • Reassurances: pay is near minimum wage, program is selective/licensed, raising large pythons is costly and monitored, making farming uneconomic.
  • Some skepticism about bureaucratic incentives, but others note wildlife staff are overworked and would gladly see the problem disappear.

Invasive Species Philosophy and Alternatives

  • Debate over whether trying to preserve ecosystems in a fixed state is realistic or arrogant; ecosystems change naturally over millennia.
  • Strong rebuttals emphasize that invasive species can destabilize ecosystems and harm human livelihoods, so early and aggressive control is justified.
  • Suggestions and critiques:
    • Introducing predators (king cobras, honey badgers, king snakes) is widely criticized as repeating historic biological-control disasters (e.g., cane toads, cats for rabbits).
    • Gene drives or sex-skewing genetics are proposed as a future solution; others question feasibility in reptiles or warn about complexity.
    • Sterilize-and-release approaches (analogous to cat TNR) are mostly rejected for pythons as too slow, expensive, and still ecologically damaging.

Other Invasives: Cats and Mesopredators

  • Thread frequently pivots to domestic/feral cats as a massive invasive predator killing huge numbers of birds and mammals.
  • Disagreement:
    • Some argue outdoor cats should not exist or that TNR is inadequate.
    • Others see cats as filling a rodent-control niche where native predators are gone, highlighting the “mesopredator problem.”
    • Ethical discomfort is strong around any notion of state-sanctioned cat killing.

Everglades Ecology, Impact, and Futility

  • Clarification: the “5,000 years” reference is tied to when South Florida’s current climate and Everglades system formed after sea-level changes.
  • Some argue python eradication is impossible, so efforts are pointless.
  • Others cite data that localized hunting appears to give native wildlife a “toehold” and could make the problem manageable even if not solved.

Miscellaneous & Humor

  • Numerous jokes about Python the programming language, Florida stereotypes, and pop culture references.
  • Some interest in using python leather/meat (with a note about mercury concerns) as a byproduct of control efforts.

Smart pointers for the kernel

Scope of unsafe in Rust vs C

  • Several commenters argue Rust’s big win is that only small, explicit unsafe regions can cause memory unsafety, whereas in C the entire codebase is effectively “unsafe.”
  • Others stress that this is still a social contract: you must trust that low-level libraries and unsafe blocks are written correctly, similar to C, but now the trust boundary is explicit and auditable.
  • There is pushback against marketing narratives like “Rust is perfectly safe” and “C is completely dangerous”; critics say Rust greatly reduces risk but does not eliminate it.

Auditing, invariants, and blast radius

  • Pro‑Rust comments say you can usually localize memory‑safety audits to unsafe blocks and the modules that encapsulate them, which is a massive reduction in surface area compared to C.
  • Skeptics emphasize that bugs can arise from interactions between unsafe and surrounding “safe” logic (e.g., integer overflow that violates invariants assumed by unsafe code), so you must also reason about the safe code that affects those invariants.
  • A recurring theme: the “bomb” may be planted in a tiny unsafe region, but its effects can surface far away; accountability still lies with the unsafe implementation.

Marker traits, Pin, and smart pointers

  • The Pin/smart-pointer discussion is framed as another example of using unsafe marker traits (like Send/Sync) to specify who is responsible for upholding invariants.
  • Making a trait unsafe to implement is described as a way to shift blame clearly: if a type lies about satisfying an invariant (e.g., a hypothetical “always indexable <100” trait), the bug is on the implementer, not the safe caller.

Limits of Rust’s guarantees

  • Commenters note Rust still allows memory leaks and logical race conditions; “no data races” is about a specific, formal definition.
  • Some mention that unsafe Rust can be harder to get right than C/C++, and soundness rules can evolve, implying occasional re‑audits.
  • There is curiosity and some concern about the status of formal soundness proofs for Rust’s type system, with references to ongoing research and roadmaps.

Kernel and embedded context

  • Some argue kernel developers should deeply understand low-level hardware, regardless of language, and worry about developers who rely on abstractions without that grounding.
  • Others counter that Rust is already useful in embedded and kernel contexts, and can mitigate the impact of the historically low quality of some C drivers.

SOFA - Start Often Finish rArely

SOFA and relationships/marriage

  • Debate on applying “start often, finish rarely” to marriage: some see it as harmful where commitments affect others (especially kids); others argue it can fit if “starting” means multiple serious relationships before settling.
  • Some value staying with a first/early partner for shared growth and deep bonds; others stress that this only works if the relationship is actually healthy.
  • Several emphasize freedom to leave bad relationships and see strict anti‑breakup norms as enabling abuse.

Impact on children, divorce, and social stability

  • One side stresses that kids do better with stable two‑parent households and that perceived instability can harm behavior.
  • Counterpoint: conflict and failing relationships are worse for children than divorce itself; co‑parenting after separation is possible.
  • Others note strong confounders (e.g., poverty vs. marital status), making firm causal claims about “fatherlessness” and outcomes unclear.

Dating, religion, and life priorities

  • Some advocate “playing the field” in teens/20s to learn about oneself and partners; others warn this can reduce time for child‑bearing.
  • Religion is seen by some as helping young people find purpose and priorities; others criticize it as potentially discouraging independent exploration.

Starting vs finishing: skills, work, and habits

  • Multiple posters argue finishing builds willpower and focus like a muscle; they see SOFA as risky beyond one’s 20s.
  • Others say experimenting widely can still yield strong fitness or skill, even without mastery of any one thing.
  • Some weigh SOFA against “minimum viable habits” and “long‑term compounding” approaches (e.g., Atomic Habits) that emphasize small, consistent actions.

Procrastination, executive dysfunction, and coping methods

  • Several with chronic procrastination or suspected ADHD say “just build discipline” doesn’t work for them.
  • Body doubling (working alongside others virtually) is cited as transformative for one person, but they caution that methods must fit the specific “why/how” of procrastination.

Creativity, hobbies, and open source projects

  • Supporters see SOFA as anti‑perfectionist, reducing guilt and enabling exploration and learning.
  • Others report that many half‑finished projects create mental/physical clutter; they find greater satisfaction in a few completed projects and deliberate pruning (e.g., “Marie Kondo” for hobbies).
  • Distinction is made between low‑stakes hobbies (where SOFA is fine) and obligations/work where others rely on completion.

Perfectionism, alternative acronyms, and mindsets

  • Several playful counter‑frameworks appear (e.g., “FEATHER” – finish everything but half‑ass what you don’t care about), meant to combat perfectionism from the opposite direction: finish loosely rather than abandon.
  • Overall sentiment: SOFA can be a useful tool against fear of failure and overcommitment, but many warn it’s highly context‑dependent and potentially damaging if generalized as a life philosophy.

C++ proposal: There are exactly 8 bits in a byte

Motivation and Practical Reality

  • Many commenters note that virtually all modern systems already use 8‑bit bytes, and large amounts of C/C++ code implicitly assume this.
  • Several argue that formalizing CHAR_BIT == 8 simply matches de‑facto reality and improves developer expectations and portability in practice.
  • Others point out they only recently learned that byte was not guaranteed to be 8 bits, and see this as a surprising and confusing corner of the standard.

Legacy and Exotic Architectures

  • Multiple examples of non‑8‑bit “bytes” are discussed: 6‑, 7‑, 9‑, 10‑, 12‑, 16‑, 24‑, 32‑, and 36‑bit addressed units (UNIVAC, PDP‑10, various DSPs, historical mainframes, retro consoles).
  • Some of these systems still exist as emulated mainframes or niche DSPs, but often don’t track modern C++ standards or run mostly non‑C++ code.
  • A few participants enjoy hardware diversity and are sad to see standards drop support for such machines, even if they’re niche.

DSPs and Word‑Addressed Systems

  • DSP chips with 16‑ or 32‑bit addressable units are repeatedly cited as the only current plausible targets that conflict with CHAR_BIT == 8.
  • Opinions diverge: some say these platforms are specialized enough that non‑standard or frozen C/C++ dialects are acceptable; others insist they remain “real” systems that will lose conformance.

Portability vs. Simplification

  • Supporters frame the change as analogous to mandating two’s complement integers: reflect how “every real computer works now,” and reduce undefined edge cases.
  • Critics worry about excluding legitimate architectures and question the concrete benefit, since CHAR_BIT would still exist and much code already assumes 8.
  • Some see this as part of C++’s tension between maximal portability and acknowledging the practical hardware baseline.

Terminology and Related Debates

  • Several comments clarify: in C/C++ a “byte” is the size of char; “octet” is the unambiguously 8‑bit term, especially in networking.
  • There is side discussion about the fuzziness and obsolescence of “word” size, and about whether higher‑level code should think in bits, bytes, or fixed‑width integer types.

The Fifth Generation Project in Japan (1992)

Project Feasibility and Historical Context

  • Many argue the Fifth Generation project was doomed by 1980s tech limits: compute, data, and AI methods weren’t ready, especially for the expert-systems / Prolog approach it chose.
  • Others say the main mistake was trying to create an entirely new stack (hardware, language, OS, applications) in one grand push.
  • Some see value in the attempt itself: even “failed” research can leave useful ideas, publications, and software.

Japanese Corporate Culture and (Lack of) Cooperation

  • A major theme: Japanese firms are portrayed as intensely siloed, hostile to cooperation, and focused on captive ecosystems rather than shared standards.
  • Examples cited: incompatible camera mounts, ham radio connectors, proprietary appliances, Sony’s Memory Stick, internal turf wars inside big conglomerates.
  • Counterarguments: Japan has also co-created or led standards (VHS, CD/DVD/Blu-ray, MIDI, SD, MSX, JIS), so the picture is mixed.

Government-Led, Top-Down Initiatives

  • Several commenters frame the project as a typical bureaucrat-driven, top-down national push that became rigid, misaligned with reality, and ultimately withered.
  • Others note Japan has produced effective government programs too (e.g., MyNumber digital services, fast infrastructure builds), and that wasteful flagship projects are common worldwide, not uniquely Japanese.

Standards, Interoperability, and Market Dynamics

  • Debate over whether US/Western industries cooperate more effectively around open standards (e.g., IBM PC compatibles, PCI) versus Japanese firms’ fragmented ecosystems.
  • Some argue external pressure or foreign ownership often “unlocks” Japanese technical potential by changing governance and culture.

Economic and Structural Context

  • The project is placed against Japan’s bubble era and later stagnation; one commenter links the country’s broader trajectory to weakening of MITI and shifting political dynamics.
  • Parallel drawn to how a major financial crash (like 2008 in the US) could have reshaped global tech leadership.

Parallels to Modern AI and “Fifth Generation” Ideas

  • Mixed views on similarity to today’s AI boom: unlike FGCS, current AI rode commodity GPUs and empirical tinkering, not a clean-slate stack.
  • Some note that the hoped-for marriage of logic programming and parallel architectures is still largely unrealized.
  • Question raised whether a “true” fifth generation architecture might be emerging piecemeal from the internet, distributed systems, and databases rather than a single grand project.

Archives and Artifacts

  • Links shared to:
    • The Wikipedia article and a detailed historical book.
    • An online “FGCS Museum” with technical reports and source code, some ported to Unix.

Why does everyone run ancient Postgres versions?

Why many run “ancient” Postgres versions

  • Main theme: upgrading DBs is high‑risk, high‑effort, and offers little visible payoff if things already work.
  • Databases are central and stateful; failures mean data loss or long outages, so teams avoid touching them unless forced (security, EOL, new must‑have feature).
  • Regression testing across all dependent apps is expensive; many orgs won’t prioritize it over feature work.

Technical upgrade pain points

  • Major versions require pg_upgrade or dump/restore; format changes every year are seen as a “design fail” by some.
  • Upgrades often mean planned downtime; true zero‑downtime is complex even with replication and logical replication.
  • Logical replication helps with blue/green upgrades but:
    • Doesn’t cover all features (e.g., large objects, some DDL).
    • Requires manual schema sync and coordination with CDC systems.
  • Admin complaints: vacuum tuning, txid wraparound, index fragmentation, pg_hba.conf complexity, multiple versioned packages left around on Debian/Ubuntu.

Postgres vs MySQL/MariaDB and others

  • Pro‑Postgres arguments:
    • Transactional DDL, richer SQL and data types, good docs, extensions (PostGIS, LTREE), predictable behavior, UTF‑8 done “right”.
    • Perceived as correctness‑ and stability‑first, “boring” in a good way; no Oracle licensing baggage.
  • Pro‑MySQL/MariaDB arguments:
    • Easier replication, HA, and upgrades; fewer knobs like vacuum; “just works” feeling.
    • Galera‑style multi‑master and online OPTIMIZE TABLE praised.
  • Counterpoints:
    • MySQL’s history of data‑loss footguns, non‑transactional DDL, charset mess, Jepsen‑found anomalies.
    • Some DBAs say Postgres is actually easier to keep reliable; others say the opposite.

Security, support, and version age

  • Several note that Postgres supports each major for ~5 years; distros (e.g., Debian/Ubuntu, RHEL) pin a version for an OS release and backport security fixes.
  • Some only upgrade for security patches or when versions go EOL; others argue that infrequent big upgrades are riskier than regular small ones.

Culture, tooling, and hosting

  • Strong “if it ain’t broke, don’t fix it” and fear of being blamed for breaking prod.
  • Managed services (RDS, Aurora, Heroku, Neon) make minor/major upgrades much easier via blue‑green or auto‑upgrade, and some teams lean on that.
  • A minority actively practice frequent upgrades (often weekly) and report smooth Postgres 16→17 moves; others are still on 9.x or older.

Type 2 diabetes: New treatment eliminates insulin for 86% of patients

Study & Treatment Overview

  • Paper describes ReCET, an endoscopic electroporation procedure that ablates duodenal mucosa, followed by GLP‑1 therapy (e.g., semaglutide).
  • Commenters note GLP‑1 drugs alone can already eliminate insulin in ~40% of type 2 diabetics; adding ReCET reportedly raises this to 86% in the n=14 study.
  • Some emphasize that the HN title omits “type 2” and “n=14,” calling the result promising but very early.

GLP‑1 / Tirzepatide Effects and Side Effects

  • Tirzepatide and related GLP‑1/GIP agonists are praised for large average weight loss (~20% of body weight in cited trial) and major reductions in risk of developing type 2 diabetes.
  • Several users on these drugs report mostly mild, transient GI side effects; others say side effects are exaggerated by social media and can be minimized by dose/schedule tweaks.
  • Debate over heart-rate changes and long‑term safety is present but unresolved; long‑duration (10–20 year) data are noted as lacking.
  • Some argue future dosing regimens and oral formulations will improve tolerability and adherence.

Type 1 vs Type 2 Diabetes

  • Multiple comments stress the article is about type 2 only.
  • Type 1 readers express both hope and frustration; stem‑cell–based beta‑cell replacement trials are discussed as “possibly within ~10 years,” with others warning this timeline has been repeatedly promised.
  • There is disagreement over how close a “cure” for type 1 really is, and the challenges of autoimmunity and immunosuppression.

Lifestyle, Diet, and Fasting vs Drugs

  • Strong thread arguing type 2 diabetes and obesity are often reversible or manageable with low‑carb/keto diets, fasting, and sustained weight loss; several personal remission stories.
  • Others counter that “just eat healthy” is not broadly effective, given environmental, cultural, and psychological drivers of overeating and addiction‑like behavior.
  • Ketosis, high‑fiber plant‑based diets, and fasting‑mimicking regimens are all promoted by different users; there is no consensus on a single “best” approach.

Obesity, Culture, and Personal Responsibility

  • Extended debate over whether obesity and type 2 are primarily:
    • personal responsibility/discipline problems, or
    • consequences of modern food systems, culture, and neurobiology.
  • Some argue GLP‑1s may address a more fundamental brain‑level “propensity to overeat,” while diet/exercise mainly treat symptoms.
  • Others reject this framing, insisting overeating is caused by bad diet and inactivity, not the other way around.

Trial Scale, Durability & Access

  • Several users highlight the tiny sample size (14 participants) and unclear duration of effect after stopping GLP‑1 drugs or reverting to prior lifestyle.
  • One commenter cites data that ~50% of people regain weight after stopping GLP‑1s, ~50% maintain or continue losing, suggesting behavior still matters.
  • Cost and access issues are raised: GLP‑1s can be $600–$1,000/month in the US, and continuous glucose monitors may not be covered for type 2 in some systems.

Kagi Update: AI Image Filter for Search Results

Overall sentiment on Kagi as a search engine

  • Many commenters are enthusiastic users, calling it the best current alternative to ad-driven search and “like Google from 10 years ago.”
  • Key value: fewer junk/SEO results, no ads, domain blocking/downranking, and customization; some say it’s the only engine that reliably finds obscure technical posts.
  • Others see only marginal improvement over DDG/Google and don’t feel it justifies the ~$10/month subscription, especially for light or casual search use.
  • Some users cancelled due to cost or being between jobs, but miss it and consider resubscribing.
  • A subset worries about all searches being tied to one login and about future shifts in business model.

Local and maps search limitations

  • Several note weak performance for local queries (restaurants, services, maps/routing) and often fall back to Google (!g).
  • There is mention of optional location sharing, but discoverability and granularity (beyond country-level) are unclear and possibly incomplete.

Search sources and ecosystem

  • Kagi is said to aggregate results from multiple providers (e.g., Bing, Brave, Mojeek, possibly Google).
  • Some dislike any association with Brave due to its crypto/ads angle; others frame it as a mere API integration, not a deep partnership.
  • Mojeek’s role in powering some “organic” results is noted and praised by a few.

Image search baseline quality

  • Multiple users say image search is Kagi’s weakest area: poor relevance for specific queries, filters (especially minus-filters) not respected, and mediocre reverse image search for source-finding.
  • Others report substantial improvement over the last year, or find Google Images worse due to indirection and UX.
  • Feedback flow via kagifeedback.org exists but is perceived by some as slow or fragmented; separate login is a minor annoyance.

Reactions to the AI image filter

  • Strong interest from people seeking drawing/photo references and wanting to avoid “AI slop” overwhelming results.
  • The current approach downranks domains with lots of AI imagery rather than analyzing each image; commenters highlight this as a major limitation, especially for mixed UGC sites (Reddit, social media, stock sites).
  • The “baby peacock” example shows that AI images replicated in legitimate articles still slip through; several note this as evidence of how hard cleanup will be.
  • Some consider the feature “dumb” and argue images should be judged purely visually; others counter that for realism, factual reference, or valuing human effort, knowing an image is AI vs real is crucial.
  • There is demand for both modes: some want AI images filtered out; others want them prioritized for licensing ease and as prompt inspiration.
  • False positives/negatives and bugs (e.g., include/exclude behavior appearing inverted in one test) are reported; users ask for feedback mechanisms and even reward schemes for corrections.

Broader concerns about AI content and labeling

  • Commenters worry about AI-generated media as a kind of “non-information spill” that contaminates search results over time.
  • Several advocate for legal or normative requirements that AI-generated images include identifiable metadata or watermarks, arguing it would greatly help filtering with limited downsides, though metadata can be stripped.
  • Others question how long AI vs non-AI will remain reliably detectable at all, given model progress and content remixing.

Kagi workflows and perceived value-add

  • Heavy searchers say Kagi’s clean, ad-free result pages, domain blocking, and “fail to find” behavior significantly reduce time spent searching.
  • Liked extras include “summarize this page,” “Small Web” emphasis, and the new AI image filter as part of a broader effort to downrank low-quality content.
  • Some users, despite appreciating the philosophy, still feel no dramatic productivity improvement and remain unconvinced by the paid model.

NASA freezes Starliner missions

Starliner freeze and program outlook

  • Many see NASA’s “pause” as a de‑facto or “soft” cancellation of Starliner, given repeated thruster and helium issues, cost overruns, and limited remaining ISS lifetime.
  • Others stress NASA’s sunk costs and contractual structure: Boeing only recoups most money by flying operational missions, so they may still have incentive to fix it.
  • Several argue Starliner currently provides “paper” redundancy only, since it doesn’t reliably work and is tied to an end‑of‑life launch vehicle (Atlas V).

NASA, ISS, and redundancy strategy

  • Commenters note the ISS is nominally planned through ~2030; some think extension is plausible if commercial stations lag, others think politically unlikely.
  • Redundancy is already partly provided by Soyuz via seat‑swap arrangements, independent of Starliner.
  • Some argue NASA should retender the “second provider” role; others think there isn’t time or market for a new crew vehicle before ISS deorbit.

Boeing’s performance and corporate culture

  • Strong criticism that Boeing has sacrificed engineering quality for shareholder and cost‑cutting priorities, citing 737 MAX and Starliner as symptoms of long‑term rot.
  • Discussion of “MBA management,” self‑regulation, cost‑plus contracts, and board/ shareholder failures in corporate governance.
  • A minority argue shareholders are not inherently short‑termist; others counter that incentives and diffuse ownership drive short‑term behavior.

SpaceX, Musk, and alternative models

  • Many contrast Boeing’s slow, over‑budget, risk‑averse approach with SpaceX’s rapid iterative “waste metal, not time” style and vertical integration.
  • Debate over how much of SpaceX/Tesla’s success is due to Musk personally vs. key executives/engineers and institutional processes.
  • Some see Musk as a visionary “unreasonable man” essential to breakthroughs; others view him as unstable, politically extreme, or a net liability the companies succeed despite.

Privatization, competition, and policy

  • Split views on privatized spaceflight: some see SpaceX as proof it works; others worry about dependence on a single dominant private actor and loss of open, shared technology.
  • Concerns that Boeing’s role crowds out more capable competitors; suggestions to redirect NASA money to newer firms or let failing incumbents exit.
  • Side debates explore inequality, extreme wealth, taxation, meritocracy, and whether “flattened” societies could still produce SpaceX‑scale projects.

Grandmaster-level chess without search

Core idea & method

  • Paper is seen as a knowledge-distillation result: distilling Stockfish’s complex search-based evaluation into a single transformer “intuition” function over board states.
  • Model: ~270M parameters, trained on ~10M games, with ~15B positions annotated by Stockfish 16 (action-values).
  • Input is FEN plus UCI moves via a custom tokenizer; no explicit search or domain heuristics at inference.

Performance & evaluation

  • Reported Lichess blitz rating vs humans is ~2895; against bots it is ~700 Elo lower.
  • It outperforms AlphaZero’s policy/value networks without MCTS and GPT‑3.5‑turbo‑instruct on puzzles/chess strength.
  • Some commenters argue the blitz human results are inflated: the bot never flags on time, humans do, and Stockfish fallback in tactical crises may convert lost/drawn positions to wins.
  • Requests for additional baselines: limited-depth Stockfish, positions that require deep search, “anti-bot” openings.

Relation to existing engines

  • Debate over whether this advances practical engine strength: top search-based engines (Stockfish NNUE, Leela) are said to remain clearly stronger under standard conditions.
  • Some note Leela-style transformer work predates this paper and achieves better strength with smaller models.
  • Others see value as a fast GPU-friendly evaluator that could be combined with search for efficient parallel exploration.

Human-like play & non-GM engines

  • Many participants want engines that play like humans at specific ratings, not just “weakened” super-engines.
  • Suggestions include:
    • Sampling among near-best moves instead of strict best.
    • Conditioning on Elo during training.
    • Training to predict human moves (as in models like Maia).
    • Modeling typical human blunders, attention focus, and style.
  • Several existing projects and ideas are mentioned, but consensus is that truly human-like adjustable engines remain an open problem.

Critiques & conceptual issues

  • Some argue the “without search” title is misleading because generating labels required massive Stockfish search; the model is essentially a compressed approximation of Stockfish’s search tree.
  • Others frame this as a standard and valuable form of knowledge distillation (“compiling search into a single forward pass”).
  • There is debate over whether custom tokenization and problem-specific setups reduce the generality or significance of the result.

Broader chess-AI context

  • Ongoing discussion about whether chess is “solved” (consensus: only small endgames are; full-game optimal play remains far beyond reach).
  • The work is taken as evidence that high-level play can, in principle, be approximated by a pure evaluation heuristic if trained at sufficient scale.

Is Matt Mullenweg defending WordPress or sabotaging it?

Automattic hiring process & culture

  • Several commenters describe Automattic’s recruitment as unusually long and demanding: detailed written questions, Slack and Zoom interviews, multi‑day coding tests, and multi‑week paid “trials” done alongside a full‑time job.
  • Some see the process as exploitative or unrealistic for adults with jobs and families; others note the coding trial is paid, so not clearly a labor‑law issue.
  • Mandatory company‑wide offsite gatherings and heavy internal jargon (“Automatticians”) are described as cultish by some.
  • Cold recruiter outreach is widely interpreted as mass sourcing rather than a sign of candidate quality.

Nature of the WP Engine conflict

  • Many see the core issue as the commercial entity behind WordPress going after a major hosting provider built on WordPress, framed as trademark protection and “ecosystem support.”
  • Critics argue enforcement is selective and late: similar uses of “WP” and core‑feature modifications exist elsewhere without consequence.
  • There is debate over whether disabling or limiting features (like revisions) on a hosted WordPress counts as harming the project versus legitimate product differentiation.

Open source, trademarks & money

  • One side: open source licenses allow what WP Engine is doing; expecting retroactive revenue‑sharing is viewed as incompatible with OSS norms and tantamount to extortion.
  • Another side: trademarks, infrastructure, and brand reputation are separate from code; a big commercial player monetizing the stack without “giving back” is seen as parasitic and fair to confront.
  • Some compare this to databases changing licenses in response to cloud vendors, but others note those projects explicitly changed licenses while WordPress remains GPL.

Perception of leadership behavior

  • Many describe the CEO’s public responses (to WP Engine, to another OSS figure, and to Tumblr users) as petty, ego‑driven, and disastrous PR that overshadows any legitimate concerns.
  • Others think both sides are “in the wrong,” or that the CEO’s underlying points about sustainability and fair contribution are valid but expressed destructively.
  • There is pushback against armchair mental‑health or drug speculation; several see the pile‑on itself as excessive.

Ecosystem trust, forks & future

  • Commenters worry about centralization of control: the foundation, WordPress.org, and the company are seen as effectively the same person, undermining prior claims of independence.
  • The abrupt change in messaging around “WP” trademarks and admin‑panel messaging is viewed as creating uncertainty and chilling effects for plugin authors, hosts, and enterprises.
  • Some predict a long, slow decline or “death spiral” for WordPress and call for a fork; others note that network effects and WordPress’s low barrier to entry may keep it dominant despite controversy, much like Twitter or Reddit.

555 Timer Circuits

Role of the 555 Timer Today

  • Once a “Swiss‑army‑knife” IC and near-mandatory learning topic.
  • Many argue it’s now largely obsolete in professional designs; similar functions are usually done more cheaply, precisely, and efficiently with microcontrollers or dedicated analog ICs.
  • Others report it is still used in real commercial products (e.g., LED headlights, off‑road lighting, short‑timed sterilization lamps, HV supplies, ham radio timing fixes).

Strengths, Weaknesses, and Alternatives

  • Strengths: simple external RC configuration, works directly at higher voltages (>5 V), tolerant and robust, can be dropped into existing designs as a “black box” fix (e.g., hardware debouncing, missing‑pulse detection).
  • Weaknesses: high quiescent current, poor precision and stability, awkward to get exact 50% duty or proper PWM without extra parts; some consider it a “design smell.”
  • Alternatives mentioned: tiny MCUs (ATmega/ATTiny/ESP32/RISC‑V), quad comparators, updated low‑power op‑amps, CMOS 555 variants (e.g., for 3.3 V).

Microcontrollers vs Analog Approach

  • Pro‑MCU side: programmers and tools are cheap; firmware is flexible; often fewer total parts and lower power; easier to debug without an oscilloscope.
  • Pro‑analog/555 side: no toolchain or programming; better determinism and near‑zero latency in some control problems; satisfying transparency for those who want to “see everything on a scope.”
  • FPGAs and DSP‑style solutions are cited as a middle ground for high‑performance deterministic systems.

Educational and Hobbyist Value

  • Many defend the 555 (and classic op‑amps) as outstanding teaching tools: simple enough to fully understand, rich enough to teach RC timing, voltage dividers, hysteresis, and basic analog design.
  • Others argue Arduino‑style MCUs made electronics accessible to people who bounced off traditional analog learning; they see MCUs as a valid starting “building block,” not a shortcut.
  • Discussion about oscilloscopes: historically expensive and intimidating, but now entry‑level digital scopes are relatively affordable; learning to use them is itself educational.

Internal Structure and Resources

  • Several comments emphasize that understanding the internal comparators, flip‑flop, and resistor divider demystifies all 555 modes and inspires creative uses.
  • Disagreement over one site’s internal schematic accuracy; alternative diagrams, books, kits that replicate the 555 from discrete parts, and video explanations are recommended.

Off‑Topic Debates

  • A long tangent debates evolution, creationism, and climate change, with one side calling mainstream science “faith-based” and the other pointing to institutional climate data; the thread does not resolve these disputes.

setBigTimeout

Use cases for very long timeouts

  • Some have hit the 32‑bit limit in real code, e.g.:
    • Client-side auth refresh scheduled near token expiry, with tabs open for 30+ days.
    • Cron-like schedulers in JS that rebuild timers from a database on startup; long jobs should not “fire immediately” just because they exceed an internal limit.
    • Cloud/task queues with a 30‑day max delay, where people already chain tasks to simulate longer delays.
  • Others argue that long timeouts are a code smell; you should track jobs in persistent storage and use a scheduler / poller instead.

JavaScript timer limits and quirks

  • setTimeout delays are effectively bounded by a 32‑bit signed integer (~25 days) in most runtimes, even though JS numbers are 64‑bit floats.
  • Very large values, Infinity, or NaN can cause callbacks to run immediately or be clamped to tiny durations; Node prints a warning and sets duration to 1ms.
  • Behavior for out-of-range or invalid delays is seen as surprising; several argue it should throw, but backward compatibility likely prevents changes.
  • JS numbers provide 53 bits of integer precision, but various operations (bitwise, engine internals) use 32‑bit integers.

Implementation critiques and alternatives

  • The library chains multiple 25‑day timeouts by subtracting from a remaining delay; some criticize that it:
    • Uses repeated timeouts rather than checking against a monotonic clock.
    • Tracks remaining time in floating point, which could theoretically break at astronomically large delays (though considered purely theoretical).
  • Suggestions:
    • Use a scheduler loop that regularly checks for due tasks and only schedules near-term timeouts.
    • Use monotonic timing APIs instead of Date.now() for precision.
    • Avoid requestAnimationFrame for long delays; it pauses when the tab is hidden and doesn’t work server-side.

Security, validation, and rate limiting

  • Discussion around attacker-controlled delays:
    • One view: allowing user control of raw timeouts is inherently unsafe; business logic should map user inputs to vetted, bounded values.
    • Others note this specific behavior is still a footgun: huge values can bypass naive “minimum delay” checks.
  • Better approaches suggested:
    • Proper input validation with both lower and upper bounds.
    • Token-bucket or similar rate limiting instead of naïve “one timeout per user action.”

Testing and reliability concerns

  • setTimeout has no guarantee of exact timing; it can fire earlier or later due to clock changes, scheduling, or throttling.
  • Several recommend:
    • Mocking timers and/or time in unit tests instead of waiting real seconds.
    • Designing code around virtual/simulated time for fast, deterministic tests.
  • General point: very long delays are more likely to be invalidated by process restarts than to complete; persistent schedulers are preferred.

Tooling and hosting side thread

  • Brief debate over Sourcehut’s interface:
    • Some find the “tree” terminology non-obvious or “garbage.”
    • Others defend it as standard git terminology and acceptable once you know where to click.

Qualcomm cancels Snapdragon Dev Kit, refunds all orders

Windows on ARM and Dev Kit Cancellation

  • Many see the Snapdragon Dev Kit failure as another false start for “Windows on ARM,” likened to the perennial “year of the Linux desktop.”
  • Commenters note repeated Microsoft/ARM pushes (Nvidia era, prior Qualcomm efforts) that never achieve critical mass.
  • Several say Windows developers won’t seriously target ARM until Microsoft and OEMs provide a stable, decade-long platform with strong backward compatibility.
  • Others argue there’s simply no compelling reason today: modern x86 laptops are fast, efficient enough, and dominant.

Linux Demand vs. Qualcomm’s Focus

  • Nearly everyone interested in the dev kit in this thread wanted it for Linux, not Windows.
  • Qualcomm is criticized for prioritizing Windows marketing while delivering weak or unfinished Linux support, despite earlier demos.
  • Some attribute this to a legacy Android model: forked kernels, rushed platform code, and little incentive to maintain old hardware.

Technical and Ecosystem Challenges on ARM

  • ARM PCs suffer from fragmented boot and hardware descriptions (device trees, vendor kernels, board-specific images).
  • Standards like ARM SystemReady, UEFI, and ACPI exist but are rarely implemented on affordable hardware.
  • Debate over device trees vs ACPI: some say DTs are a necessary compromise and clearer when wrong; others see the whole situation as unacceptable compared to x86 “plug and play.”

Apple, x86, and Competing Architectures

  • Multiple comments stress that Apple’s success is less about “ARM” and more about vertically integrated hardware/software and good power management.
  • Debate over whether the ISA (ARM vs x86) meaningfully affects power/performance; consensus leans toward design and implementation mattering more.
  • Intel’s upcoming low-power chips and AMD’s efficiency improvements are seen as undercutting ARM’s advantage on Windows.
  • Some propose skipping ARM and going straight to RISC-V; others note hyperscaler success with ARM (Ampere) shows the ISA itself isn’t the core problem.

Quality, Legal, and Business Factors

  • Reports of the dev kit’s poor hardware/firmware (broken HDMI encoder, missing FCC certification, unusable restore images) fuel the sense of a “shitshow.”
  • Thundercomm’s role as partner is criticized for failing at basic Windows functionality.
  • Legal disputes between ARM and Qualcomm are mentioned but generally viewed as separate from this specific cancellation.

JSON Patch

Use cases and perceived benefits

  • Seen as useful beyond HTTP, analogous to a structured “diff” format for JSON.
  • Common use cases: efficient updates to large documents/arrays, undo/redo stacks, partial API updates, reactive server→client state sync, multi-client coordination using test for optimistic concurrency, and cloud APIs (e.g., AWS Cloud Control).
  • Multi-op patches plus test are valued for atomic, transaction-like updates: either all changes apply or none.

Alternatives and “simpler” PATCH models

  • Many prefer “merge-style” patches (JSON Merge Patch / partial objects) where:
    • Missing keys = untouched, explicit null = delete, other values = set.
    • This feels more intuitive and requires “nothing new to learn.”
  • JSON Merge Patch is highlighted as good for most cases, with arrays replaced wholesale rather than partially updated.
  • Some argue that for many APIs, simple merge semantics plus good modeling (e.g., splitting documents, using subresources) avoids needing JSON Patch at all.

Path syntax and JSON Pointer criticism

  • JSON Patch’s reliance on JSON Pointer (/foo/bar) draws complaints:
    • / is unintuitive compared to dot notation; escaping with ~0/~1 feels alien.
    • Using strings requires custom parsing and escaping; several suggest an array path format like ["foo", 0, "bar"].
  • Desire for richer selectors:
    • Select list items by key/value (e.g., plants[latin=="Ceiba speciosa"]), or insert “after” a given element.
    • JSONPath/JMESPath mentioned as alternatives that support querying but are not part of RFC6902.

Concurrency, idempotency, and integrity

  • JSON Patch is criticized as weak for concurrent writes and non-idempotent array ops (add/move).
  • test is recommended to ensure the server document matches expectations before applying changes.
  • Some want optional checksums or original values in patches; others note this partially overlaps with test.

Representation, performance, and scope

  • Debate over forcing JSON as internal representation:
    • Critics prefer native/binary structures plus generic diff tools (rsync, Zstd patches) or DB-level replication.
    • Supporters note many systems already store JSON (or JSON-like) in databases, making patching natural.
  • Applying patches can be slower on large numbers of resources; some report performance issues.

Limitations and edge cases

  • Hard or impossible with JSON Patch:
    • Editing substrings, collaborative text editing, reordering arrays, or patching associative arrays/“lists with keys” by key.
  • Several note maintenance burden: paths become stale as schemas change, though this would break any stateful client regardless.

Unit tests as documentation

Role of Unit Tests as Documentation

  • Many argue unit tests are a useful form of documentation: they show concrete inputs/outputs, expected behaviors, and “contracts” that should remain stable over time.
  • Tests can help new contributors understand how to call APIs, what shapes of data are expected, and how subsystems interact.
  • Some treat tests (especially in TDD) as executable specifications or “living specs,” particularly useful for legacy or poorly understood code.

Limits and Critiques

  • Strong pushback on treating tests as the documentation.
  • Tests and code show “what happens”, but often not “why”, business rules, trade‑offs, or domain concepts.
  • Tests enumerate finite cases and may omit important edge conditions; absence of a test does not equal undefined behavior.
  • For end‑users and non‑coders, tests are essentially useless as docs.
  • Poor tests (flaky, incomplete, mislabeled) can mislead as much as stale prose.

Integration vs Unit Tests

  • Several contend integration tests are far more valuable as documentation of real usage patterns and behavior across components.
  • Others defend a mix (test pyramid): unit tests catch fine‑grained issues and are easier to debug; integration tests validate lifelike flows.
  • Debate over whether integration‑heavy strategies can replace most unit tests, with concerns about combinatorial explosion and debugging cost.

Keeping Docs and Tests in Sync

  • Thread highlights tools and language features where examples in documentation are executable tests (Python/Rust doctests, Elixir, D, etc.).
  • This helps ensure examples stay valid, though prose explanations can still rot.
  • Some projects generate docs from tests or embed tests in docs to get “executable documentation.”

Test Quality: Names, Structure, and Readability

  • To be useful as documentation, tests should be simple, independent, and focused on clear scenarios.
  • Descriptive test names and/or BDD‑style descriptions are promoted, but many note social friction in enforcing good naming.
  • Others claim organization, fixtures, and comments around tests matter more than function names.

AI and Tests/Docs

  • People report success feeding test suites to LLMs to generate human‑readable documentation for under‑documented libraries.
  • Conversely, AI‑generated tests that merely mirror implementation can create noisy “regression tests” with little specification value.

The Shroud of Turin: History and Legends

Historical provenance and dating

  • Several comments stress the shroud’s first clear appearance in 14th‑century France, with no earlier chain of custody and multiple shrouds circulating at the time.
  • Historical records note a pope required it be labeled as a replica, not an authentic relic.
  • Many argue this aligns with a broader medieval relic trade and ecclesiastical grift (relics, indulgences, “get out of Hell” cards).
  • Others cite the Pray Codex (12th c.) and its unusual depiction of a nude Christ as evidence the shroud or a very similar image was already known; critics say this is at best suggestive, not definitive, and may reflect shared iconography.

Scientific analyses and methods

  • The 1988 radiocarbon tests (multiple labs, cleaned samples) dating the cloth to the 14th century are presented as the strongest evidence.
  • Counter‑claims focus on corner sampling, possible repairs/patches, and contamination, but several replies say these explanations fail quantitatively and ignore textile and fiber checks.
  • A recent X‑ray–based dating study is criticized as low‑quality (MDPI journal, authors testing their own unvalidated method, requiring implausibly narrow temperature history).
  • A chemistry-based relative-dating paper suggesting younger border fibers vs. older center fibers is mentioned, but with large error bars and no firm absolute date.

How the image was created

  • One side: image is extremely superficial (~200 nm), affects only one side of fibers, shows photo-negative and 3D-like properties; no modern technique has fully replicated it; absence of image under blood stains is cited as puzzling.
  • Opposing side: trace pigments exist; centuries of handling, light, and fire could obscure original paint/dye; bas‑relief dusting, stencils, rubbings, or other lost techniques are plausible.
  • Disagreement over whether it’s “a painting”: some use the term broadly (“man‑made 2D image”), others insist known paint layers aren’t visible under microscopy.

Religious meaning, miracles, and burden of proof

  • Some Christians treat the shroud as a faith‑reinforcing relic or symbol, not essential to belief; even a proven forgery would not shake their faith.
  • Others explicitly interpret the image as a miracle of the Resurrection, with no need for scientific mechanism.
  • Skeptics insist the burden of proof lies with those claiming it is Jesus’ burial cloth; believers counter that faith does not recognize such burdens.
  • Wider philosophical detours debate whether atheism or theism is more “rational,” the role of “reasons” in the universe, and the value of criticism vs. letting people believe what “works for them.”

Alternative theories and details

  • One speculative theory links the image to a tortured medieval figure (e.g., a knight such as Jacques de Molay) rather than Jesus, fitting both carbon dates and crucifixion-like wounds.
  • Several note anatomical details (nails in wrists, thumb position) that match modern crucifixion reconstructions but differ from most medieval art; others reply that language and iconography could explain these discrepancies without requiring authenticity.
  • Some commenters view the shroud, authentic or not, as a remarkable artwork and historically important object worthy of study.