Hacker News, Distilled

AI powered summaries for selected HN discussions.

Page 782 of 834

Ladybird Web Browser becomes a non-profit with $1M from GitHub Founder

Project & Funding Model

  • Independent browser engine forked from SerenityOS, now a US 501(c)(3) nonprofit.
  • Seeded with a $1M donation plus earlier sponsorships (e.g. Shopify); currently ~3 engineers, growing to ~6.
  • Goal: small, lean team with ≥1.5 years runway, funded only by unrestricted donations (no search deals, ads, tokens, or other “user monetization”).
  • First “alpha” for developers targeted for ~2026; many see this as either realistic or too slow.

Goals vs Existing Browsers

  • Aim is a fully independent engine, not a Chromium/Firefox fork, to increase engine diversity and test web standards.
  • Strong emphasis on standards correctness and interoperability, while still pragmatically matching real‑world browser quirks where needed.
  • Early focus on making core developer sites (GitHub, MDN, specs, HN) work well to attract contributors.

Technical Choices & Language Debate

  • Core is ~500k lines of “modern C++” inherited from SerenityOS.
  • Team plans a gradual transition to a memory‑safe “successor language” (unspecified), with prototypes in several languages.
  • Huge subthread debates C++ vs Rust (and others), memory safety, performance, parallelism, and the dangers of full rewrites vs “Ship of Theseus” refactors.

Licensing & Forking Concerns

  • Code is 2‑clause BSD; maintainers explicitly prefer a permissive license and accept the possibility that others may fork and outpace them.
  • Many commenters argue for GPL/AGPL to prevent proprietary EEE‑style forks, citing KHTML→WebKit/Blink as a cautionary tale.
  • Others counter that permissive licensing maximizes adoption and that more engines—even corporate forks—still help diversity.

Privacy, DRM, Ads, and Extensions

  • Strong stated stance against monetizing users; desire to push more aggressive privacy protections than ad‑funded vendors can.
  • Ad blocking and extension support are considered essential; users especially request good tab management, password managers, and uBlock‑like capabilities.
  • DRM/EME/Widevine stance is unresolved in the thread; several argue that supporting DRM undermines the open web, others say lack of it hurts adoption.

UX, Branding, and Community Infrastructure

  • New site and logo draw heavy criticism as “soulless” and corporate compared to the older, charming ladybird branding; designer also receives some praise.
  • Use of GitHub and especially Discord for coordination is controversial; some push for open forums/mailing lists/Matrix, others defend pragmatic use of convenient tools.
  • Accessibility (screen readers, OS a11y APIs) is raised, but concrete plans remain unclear.

Enthusiasm vs Skepticism

  • Many are excited by a non‑ad‑funded, user‑centric engine and see it as spiritual competition to Chrome and a corrective to Mozilla’s perceived drift.
  • Skeptics question feasibility given the complexity of modern browsers, small team, limited funding, security risks, and long timeline.

The case against morning yoga, daily routines, and endless meetings

Attitudes Toward Routines

  • Many commenters say routines are crucial: they reduce overhead, keep life from “becoming a mess,” and make proactive outreach, collaboration, and side projects feasible.
  • Others resonate with the article’s dislike of hyper-structured “CEO morning routines,” but still use modest, flexible routines to support what matters to them.
  • Several emphasize that routines are a means, not an end: a stable base that enables resilience, spontaneity, and more meaningful work.

Routines, Maintenance, and Compounding

  • Exercise, yoga, and similar “small” habits are framed as high-impact over time: they improve health, mood, and decision-making, even if they aren’t career 10x events.
  • Routine is likened to maintenance: unglamorous but essential, especially for long-term research, fitness, relationships, and creative work.
  • Some note that without fixed time slots, self-care practices get crowded out by “urgent” tasks.

ADHD and Fragility of Habits

  • Commenters with ADHD say routines are especially necessary yet also fragile.
  • Disruptions (travel, WFH shifts, missed days) can derail them for days or weeks.
  • Strategies mentioned: planning for lower-productivity days, using “placeholders” (e.g., 5 pushups instead of full workout), and aiming for ~80% adherence rather than perfection.
  • There is pushback against advice that amounts to “just adapt,” seen as trivializing how hard habit change is for ADHD.

Critiques of “10x Work” and Hustle Culture

  • Many reject the obsession with “10x work” and productivity maximization, calling it hustle culture or VC-centric thinking.
  • Skepticism that 10x effort yields 10x pay unless you own the company.
  • Some argue “10x work” often means cherry-picking interesting, visible tasks while others handle the grunt work and fallout.

Serendipity, Impact, and Hindsight

  • Disagreement over whether careers are defined by rare “upside swings” or by cumulative “area under the curve.”
  • Several note hindsight bias: you rarely know in advance which task is 10x, so telling people to focus only on those is likened to “only buying stocks that go up.”
  • A common middle ground: routines and discipline make you prepared so that when rare high-impact opportunities appear, you can actually capitalize on them.

Teaching Career Side Discussion

  • One commenter reports leaving a prestigious, competitive career for teaching and finding far higher personal satisfaction.
  • Others describe severe problems in (especially US) teaching: low pay in many areas, poor working conditions, constant bureaucracy and policy churn, burnout, and limited exit options.
  • Some point to data suggesting relatively low suicide rates among education workers and speculate that purpose, community, and focus on the future may contribute, while acknowledging teaching can still be very stressful.

Why is Chile so long?

Overall reception and writing style

  • Many readers found the article clear, engaging, and fun, praising its visuals and non-clickbaity structure (question, then direct answer).
  • Several compared the style to children’s books or early 20th-century pop‑science: simple language, short segments, many graphics.
  • Others disliked the style, calling it threadified “PowerPoint,” repetitive, or lightly clickbaity due to repeated rhetorical questions.
  • There was discussion about the piece originating as a social‑media thread, with some crediting that format for the brevity and pacing.

Geography, climate, and why Chile is “so long”

  • Commenters elaborated on the core geographic thesis: the Andes create a narrow, hard‑to‑cross strip where north–south travel is easier than east–west, helping a single long polity persist.
  • Travel anecdotes emphasized how quickly climates change along Chile’s length: rainy south, temperate central “Mediterranean” belt, and extreme Atacama desert in the north.
  • Southern Chile’s fragmented fjords and mountains make continuous road/rail links technically hard and economically questionable; ferries partly fill the gap.
  • Time zone trivia: Chile has three time zones (mainland, far south on permanent summer time, and Easter Island).

Stargazing and the Atacama

  • Many comments spun off into best places to see the Milky Way.
  • Atacama was repeatedly cited as ideal due to extreme dryness, altitude, and low light pollution, reflected by the concentration of world-class observatories.
  • Others proposed interior Australia, New Zealand dark‑sky areas, Hawaii’s Mauna Kea, and rural US desert/playa locations, often with vivid anecdotes.
  • Some pushed back on the Amazon as a “best” location due to cloud cover, humidity, and canopy.

Chilean Spanish and dialect comparisons

  • Strong debate over the “Spanish similarity” matrix shown in the article:
    • Several native speakers argued it badly misrepresents real intelligibility (e.g., Argentina–Uruguay, Colombia, Caribbean varieties).
    • Others explained the underlying study measures lexical choices (words for pictured objects), not accent, grammar, or slang, so it doesn’t map cleanly to mutual understanding.
  • Multiple people stressed that “standard Spanish” is contested:
    • Some pointed to language academies as prescriptive authorities.
    • Others emphasized actual usage, regional prestige norms, and heavy indigenous influence (especially Mapudungun in Chile) and rejected a single “correct” center.
  • Chilean Spanish was variously described as:
    • Grammatically close to prescriptive norms but fast, elided, and slang‑heavy.
    • Culturally meme‑ified as unusually hard to understand, though not literally a different language.

History, politics, and economy

  • The War of the Pacific and Bolivia’s lost coastline were discussed; different national narratives were noted, including treaty disputes and perceived aggression.
  • Brief discussion linked Chile’s current economic profile and limited rail infrastructure to past neoliberal reforms after the 1973 coup, with contrasting views on whether this produced “success” or entrenched inequality.

Infrastructure and internal cohesion

  • Several noted Chile’s extreme centralization around Santiago despite other million‑person metros.
  • People were surprised there is no single continuous north–south highway without detours via Argentina or long ferries.
  • Proposals for a high‑speed rail spine were met with skepticism about cost, terrain, population distribution, and political priorities.

How random are TOTP codes?

Perceived Randomness & Patterns

  • Many commenters report “seeing patterns” in TOTP codes: repeated digits, symmetry, or feeling like the same code reappears.
  • This is generally attributed to human pattern-finding; codes that look special (e.g., 332211, “GABEN”, 6969) are memorable.
  • With only 1,000,000 possible 6‑digit codes, reoccurrences are expected; using the birthday problem, ~1,178 samples give ~50% chance of at least one collision.

Algorithm, Bias & Entropy

  • Standard TOTP/HOTP derive 31 bits from an HMAC-SHA1 output, then take modulo 10^6.
  • Because 2^31 is not divisible by 10^6, low codes (000000–483647) are slightly more likely than high ones.
  • Multiple comments compute both Shannon entropy and min‑entropy and conclude the bias reduces entropy by an utterly negligible amount.
  • Comparisons are drawn to Java’s nextInt(n) (uses rejection sampling to avoid bias) and a biased .NET RNG example.

Determinism vs True Randomness

  • TOTP is deterministic given a secret and timestamp; it is not meant to be random in the sense of unpredictability without the key.
  • Uniform (or nearly uniform) distribution across outputs is desired, plus pseudorandomness so past codes don’t help predict future ones.

“Nice” / “Easy” Codes & UX

  • Ideas floated: generators that only output aesthetically “nice” codes, apps that notify when a “cool” code appears, and tools scoring codes by pattern “easiness.”
  • One project finds roughly half of 6‑digit sequences can be classified as “easy” under chosen pattern rules (adjacent keypad moves, etc.).

Reverse TOTP & Target Codes

  • A “reverse TOTP” toy: instead of current code, compute when a particular code (e.g., 000000, 999999) will occur.
  • With 30‑second steps and 10^6 possibilities, expected wait for a specific code is ~347 days, but actual times can be years due to randomness.

Security of Username + TOTP Only

  • Several commenters argue TOTP alone is weak as a single factor:
    • Each guess has 1-in-10^6 success chance; at scale, spraying codes across many accounts is viable if rate-limits are weak.
    • Mitigation via per-account rate limiting is possible; global limits risk DoS against all users.
  • Others note such schemes may be “good enough” where the goal is lightweight identification, not strong authentication.

OTP via Email/SMS

  • Some systems send one-time codes or login links via email instead of passwords.
  • Users describe this as convenient for support reduction but annoying in practice; some rely on email resets intentionally instead of memorizing passwords.
  • Concern raised that 6‑digit email OTPs alone are not very robust against large-scale brute forcing.

Proprietary Tokens & Clock Drift

  • Distinction made between RFC TOTP and proprietary hardware tokens.
  • One described proprietary system embeds parts of both a click counter and a clock counter into the OTP so the server can track drift over time.

Alternatives: HOTP, Passkeys, Diceware

  • HOTP suggested for memorized future codes, since it’s counter-based rather than time-based.
  • TOTP is seen as being slowly displaced by passkeys/FIDO2 for high-importance accounts, but remains useful as an option.
  • Some dislike platform-tied passkeys for portability and privacy reasons, preferring password managers that store passkeys under user control.
  • Diceware-style multi-word OTPs are proposed by one commenter but others see no input-speed benefit over 6-digit codes.

Statistical Tests & Benford’s Law

  • One question suggests applying a chi-squared test to check distribution; another jokingly dismisses relying on “mere statistics” when histograms are available.
  • Benford’s law is mentioned as an example of non-uniform real-world digit distributions; commenters agree it should not apply to TOTP and would indicate an issue if observed.

Alphanumeric Codes & Key Entropy

  • A user suspects bias in an employer’s alphanumeric OTPs (frequent ‘y’ and ‘z’); with low sample size this remains unproven.
  • Discussion notes that customizing how numbers map to symbols is not “rolling your own crypto” if the underlying number generation is standard.
  • On key length: using 20 characters from [A-Za-z0-9] yields ~120 bits of entropy vs the 160 bits often recommended; commenters consider 120 bits still practically secure.

What Happened to Perl 7? (2022)

State of Perl and the Perl 7 Plan

  • Perl 7 was announced as a way to modernize defaults and marketing, but effectively stalled amid internal disagreements and leadership turnover.
  • Many see Perl as now focused on maintaining what exists rather than introducing big language changes.
  • Some argue Perl 5 has gained significant features over time (signatures, experimental class system, improved exception handling), but that these are poorly marketed and often gated behind use v... or “experimental” flags.

Stability vs. Evolution

  • Strong praise for Perl’s backward compatibility: code from the early 2000s often still runs unchanged on current interpreters.
  • This stability is seen as a major advantage over Python and some newer ecosystems, where version churn and dependency breakage are common complaints.
  • Critics argue this compatibility stance has constrained meaningful evolution and left obvious “low-hanging fruit” (native OO, better exceptions, modern syntax) underdeveloped or delegated to CPAN.

Language Design, Modules, and Tooling

  • Several commenters highlight long-standing design warts: smartmatch, implicit arrayref args, shifting sigils, list/scalar context, auto-flattening.
  • CPAN is praised for breadth, but the module/build system is criticized as fragmented, overly powerful, and hard to automate/package.
  • Frustration that many core needs (OO, switch, try/catch, exporters) arrive as third‑party modules rather than first‑class language features.

Perl vs. Other Languages

  • For scripting and text processing, many still find Perl unmatched in expressiveness and regex power; it’s preferred over shell/awk for anything non-trivial.
  • Others now default to Python, Ruby, Go, or JS/TS, citing better readability, typing, deployment (single binaries), and job-market relevance.
  • Some see modern PHP (Laravel/Symfony) as a reasonable, evolving alternative; Perl is viewed more as a “legacy but solid” choice.

Use Cases and Adoption Today

  • New greenfield applications in Perl are rare; most encounters are in legacy systems.
  • Acceptable reasons to start new Perl projects: team expertise, desire for long-term stability, system administration and scripting, or simply enjoyment.
  • Skeptics say choosing Perl now hampers hiring and collaboration and that learning Ruby or Python offers more future value.

Community and Governance

  • The Perl 7 effort was affected by internal conflict and burnout, prompting new codes of conduct.
  • Overall mood: respect for Perl’s past and stability, mixed with disappointment and resignation about its future trajectory.

Mako – fast, production-grade web bundler based on Rust

Comparisons and performance

  • Mako is built on SWC and positioned against Vite (esbuild + Rollup). Its benchmark claims ~2× speedup over Vite-based bundlers.
  • Some argue the benchmark mostly measures Vite’s own overhead, not esbuild itself; older comparisons showed esbuild faster.
  • Esbuild is praised for speed but critiqued for: weak code-splitting, limited plugin API, and rougher handling of CommonJS edge cases compared to Webpack.
  • For large projects where Vite builds take ~20 seconds, a 2× speedup is seen as significant; for smaller apps already in low seconds, further gains feel marginal.

Features and plugin ecosystem

  • Mako advertises advanced code-splitting and strong tree-shaking. A linked (Chinese) article describes tree-shaking mostly at ES module top level, mixing dead-code elimination and link-time optimization.
  • Plugin system is explicitly marked as unstable; there’s an intent to support the unplugin ecosystem for compatibility with existing plugins.
  • Some users want a stable Rust library interface to call bundling from build.rs in Cargo; current tooling (Mako, SWC) doesn’t clearly offer that.

Rust tooling wave and related projects

  • Mako is part of a broader Rust-based tooling surge: Rspack, Rsbuild, Farm, Rolldown, OXC, etc., including several from major Chinese companies.
  • Motivations cited: performance, safer systems language, easy single-binary distribution, reuse of shared Rust crates (Deno, OXC, Biome).
  • Others see “rewritten in Rust” as partly hype and KPI-driven, or as parallel efforts that fragment effort instead of consolidating on a few mature tools.

Bundler fatigue vs. perceived necessity

  • Many express exhaustion with “yet another bundler,” arguing what’s really missing is full Webpack feature parity in a fast tool.
  • Others counter that painful realities—slow builds, complex module formats (CJS/ESM), legacy browser quirks, TS and asset pipelines—justify ongoing experimentation.
  • Some wish bundlers were unnecessary or built into the JS runtime; point to import maps, native modules, HTTP/2, and no-bundle dev setups, but note npm/ESM/package.json complexity still pushes most real-world projects toward bundlers.

What bundlers actually do (clarifications)

  • Several comments explain bundlers as the web equivalent of a compiler/linker:
    • Combine many JS/CSS files into fewer bundles.
    • Perform minification, tree-shaking, and dead-code elimination.
    • Transpile TS and newer JS features, normalize module systems, and often power dev servers and HMR.

Booting Linux off of Google Drive

Novel and Historical Boot Methods

  • Multiple anecdotes of unconventional boots: Windows NT from DAT tape, Windows installed from dozens of floppies, BSD over network from a boot floppy, AIX and Solaris booting from tape or HTTP.
  • Commenters note that sequential tape can be surprisingly OK for linear loads but awful for random access, making it mostly a stunt.
  • Thread references modern equivalents: booting Linux from S3, RPM repos, Git, BitTorrent, and ideas like NixOS on IPFS and Google Drive–based initrd.

What “Booting Off Remote Storage” Really Means

  • Some argue the article isn’t “truly” booting from Google Drive because the kernel and initramfs are local; only the root filesystem is remote.
  • Others suggest treating the first kernel as a bootloader and kexecing a second kernel whose rootfs is remote to make the definition stricter.

Smartphones as Boot Media

  • Several tools and approaches discussed: DriveDroid, Magisk modules, USB mass-storage gadget mode, and running PXE servers on Android.
  • Requirements and limitations: often needs root, specific kernel config (mass-storage gadget or ConfigFS), and correct USB cabling.
  • Debate over practicality: some prefer a tiny USB stick on a keychain; others like the “always with you” phone, despite cable issues.

Network / HTTP / PXE Booting

  • Many parallels drawn to classic TFTP/PXE boot, diskless workstations, Sun’s wanboot over HTTP, and modern iPXE/UEFI HTTP boot.
  • HTTP is favored over TFTP for robustness, security, and ease of configuration.
  • Raspberry Pi and similar boards can PXE/netboot; HTTP boot is seen as a nice way to eliminate SD cards in some setups.

Boot Performance and Engineering Challenges

  • Desire for sub-second boot times, especially in embedded systems; some claim it’s achievable with stripped-down kernels and controlled hardware.
  • Others note most real systems boot slowly due to firmware delays, generic drivers, and lack of coordinated hardware–software design.
  • Disagreement whether this is hard CS research or “just” tedious engineering; analogy drawn to package management complexity.

Reliability and Architecture Considerations

  • SD card failures on Pis reported as common, especially under constant write workloads; others argue careful use (logs in RAM, read-only root) avoids wear.
  • Network-booted Pis backed by a resilient NAS are pitched as easier to back up and maintain at scale.
  • Broader point: OS designs should decouple themselves from specific storage types so rootfs can reside on arbitrary local or remote backends.

Should this be a map or 500 maps?

Access to the “500 maps”

  • Multiple readers wanted to see the original priest-made maps.
  • Links were shared to a related Spanish atlas and academic work; full priest collection appears to sit in Spanish national archives.
  • The writer of the piece notes that, as far as they know, the complete set hasn’t been digitized; only a handful of higher-res examples are currently available.

Design of articles and the modern web

  • Several commenters dislike “overdesigned” news pieces that hijack scrolling and add interactive gimmicks, preferring simple text plus a few images.
  • Others argue that, when done well, richer visuals and interactivity can help understanding, especially for deep analysis pieces.
  • There’s a broader tension between creativity and usability: many feel current websites have converged on a uniform, bland template that optimizes scanning and metrics.
  • Reader behavior is diverse, so fixed “fancy” reading flows often clash with individual habits.

Maps, navigation apps, and customization

  • Strong frustration with mainstream map apps (especially Google Maps) focusing on “fastest route” car navigation and limiting user control.
  • Desired features: avoid or favor specific roads, separate “commute” vs “leisure” modes, minimize stops/turns, avoid roundabouts, better cycling and hiking support, and atlas-like overviews of physical geography.
  • Some praise highly configurable or niche tools (OsmAnd, Organic Maps, Gaia, cyclists’ and runners’ tools), but dislike needing many separate apps.
  • Debate over whether richer per-user routing constraints are technically or economically hard vs mainly product/priority decisions.
  • Distinction drawn between “maps as planning/orientation tools” and “navigation plus ads”; some argue modern apps are good products but poor maps.

Modularity, expressiveness, and standardization

  • The article’s claim that modularity trades off with expressiveness resonated with many, but some see it as incomplete without adding “complexity” as a third axis.
  • Examples raised: HTML as a flexible shared protocol vs rigid site builders; surveys and NPS where standard questions hide individual nuance; devices converging into smartphones at the cost of specialized tools.
  • Several emphasize that standardization is not inherently good or bad; it brings both power and loss, so its use should be a conscious tradeoff.
  • A desire surfaces for interoperable mapping standards so people could combine multiple data sources into “one map,” though existing GIS standards are rarely used in consumer apps.

Did Turing prove the undecidability of the halting problem?

Scope of Turing’s 1936 Result

  • Thread agrees Turing did not use “halt” or “halting problem” terminology.
  • His paper focused on “computable numbers” and notions like “circular” vs “circle‑free” machines and a “symbol‑printing problem.”
  • Later authors introduced the modern “halting problem” name; the thread cites mid‑20th‑century textbooks and earlier work (e.g., on self‑reference) as historical precursors.
  • Several commenters say the symbol‑printing problem is computably equivalent to the halting problem, so substantively Turing proved an equivalent result even if the framing differed.

Symbol‑Printing, Circularity, and Halting

  • Circular: prints only finitely many “symbols of the first kind” (0/1); circle‑free: prints infinitely many.
  • It’s noted this is not exactly the same as “halts/doesn’t halt,” and the mapping between circularity and halting is subtle.
  • One commenter initially claims equivalence is “elementary,” then walks that back after realizing tape contents complicate converting a non‑circular machine into a halting one.
  • Others highlight that Turing also proved undecidability of “will the machine ever print symbol X?”, which is easily turned into a modern halting formulation.

Rice’s Theorem and Practical Verification

  • Rice’s theorem is invoked: undecidability of halting is essentially equivalent to undecidability of any non‑trivial semantic property.
  • Pushback: undecidability is about general algorithms over all programs; many real programs or restricted languages can be proven to halt or satisfy properties.
  • Discussion of total languages and proof assistants: they enforce termination or totality (often via structural recursion or well‑founded measures), at the cost of expressiveness.
  • Debate over whether such subsets are “non–Turing complete” and whether “subset of instances” vs “subset of language” are conceptually distinct.

Quantum Computing and Computability

  • One commenter claims “theoretical quantum computers” could decide halting; multiple replies say this is false.
  • Others state quantum computers are not more powerful than classical ones in what they can compute; they mainly offer speedups for some problems.
  • Several insist: undecidability of halting is about computability, not complexity, so quantum speedups don’t change it.

Decidability for Individual Programs and Gödel Connections

  • Some argue “figuring out whether a single given program halts is decidable” in principle; others counter that “decidable” is defined for sets/languages, not single instances.
  • Clarified distinction:
    • For any specific program, it either halts or not, but we may lack an effective decision procedure within a fixed formal system.
    • There exist programs whose non‑termination is true but unprovable in systems like PA or ZFC (via Gödel‑style constructions).
  • Examples: Turing machines encoding Goldbach conjecture, Collatz, or proof‑search for contradictions in ZFC.
  • Some emphasize that “knowing the answer” to one specific case (even by a trivial constant function) is different from having a generally useful decision algorithm.

Busy Beaver and Complexity of Simple Machines

  • Busy Beaver work is used to show how tiny Turing machines can have extremely complex, hard‑to‑analyze behavior.
  • References to:
    • Many 5‑state binary machines historically undecided.
    • Recent breakthroughs on the 5‑state Busy Beaver and appearance of machines emulating Collatz‑like dynamics.
  • This is presented as practical evidence that even very small systems can be beyond current analytic techniques.

Constructivism and the Reality of Reals

  • Side discussion questions the ontological status of real numbers:
    • Some favor constructivist/computable views: only numbers definable or computable “exist” in a meaningful sense.
    • Others defend standard reals, arguing that mathematics lets us reason about unnameable or uncomputable objects.
  • Debate touches on least upper bounds for sets of rationals, countability arguments, and the role of decision procedures in defining sets.
  • No consensus; it’s acknowledged this is a long‑standing philosophical divide in foundations.

Understanding and Teaching the Halting Problem

  • Several note confusion when first encountering Turing’s terminology (“circle‑free” vs “halts”) and appreciate the linked paper’s clarification.
  • Some express frustration with oversimplified pedagogy that states “you can’t tell if a program halts” without emphasizing “for all arbitrary programs with one general algorithm.”
  • Others remark on the broader significance: the halting problem exemplifies inherently unsolvable computational questions, yet still coexists with extensive, useful formal verification in practice.

Broader Analogies and Reflections

  • One commenter draws an analogy to moral philosophy: just as no algorithm decides halting for all programs, no finite moral rule set can perfectly handle all situations.
  • Another points to Turing’s original paper also containing early notions of universality and “bugs,” suggesting the modern focus on “halting” misses other historical gems.
  • The thread contains both praise for the paper’s nuanced historical analysis and dismissive reactions calling it “click‑bait,” with some later softening after closer reading.

Code reviews do find bugs

Perceived benefits

  • Many commenters say reviews routinely catch bugs and edge cases, sometimes averting outages or data loss.
  • Reviews surface tech debt, code smells, and poor interfaces early, improving long‑term maintainability.
  • Knowing code will be reviewed makes authors more careful; some claim error rates rise when reviews are relaxed.
  • Reviews help share context and keep the team aware of changes, and can be strong mentoring/learning channels, especially for juniors or newcomers.

Costs and failure modes

  • Common complaints: time sink (several hours/week), PRs blocked waiting for review, context switching, and large unreviewable PRs.
  • In many teams reviews become rubber‑stamps, nitpicking sessions, or “kangaroo courts” driven by power, ego, or politics.
  • Follow‑up work (“we’ll fix this later”) and TODOs often never happen; tech‑debt tickets languish at low priority.

When and how to review

  • Several advocate small, coherent, reviewable PRs; large ones are seen as anti‑pattern.
  • Opinions split on blocking vs post‑merge reviews. Some like post‑commit or “ship/show/ask” models; others insist critical code must be reviewed before merge.
  • Some reviewers approve by default and only block for serious issues; minor comments are marked explicitly as non‑blocking.
  • There’s disagreement on meetings: some value synchronous walkthroughs for complex PRs, others find any PR meeting intolerable.

Culture, power, and psychology

  • Effective review cultures are described as intentional: clear expectations, priority for reviews, positive feedback, and visible support from leadership.
  • Issues raised: ego and defensiveness, stacked‑ranking games (deliberately delaying others’ PRs), stratification between seniors and juniors, and review fatigue for a few “workhorse” reviewers.
  • Others stress “kind, not nice” feedback, avoiding personal attacks while being candid.

Tooling and automation

  • Strong support for offloading style/format to formatters and linters so reviews focus on logic and design.
  • Static analysis, tests, CI, and review environments are seen as essential complements; repeated bug patterns in reviews should trigger new automated checks.

Overall

  • Broad agreement that reviews can be valuable, but only when scoped sensibly, supported by tooling, and embedded in a healthy team culture.
  • Disagreement remains on whether mandatory pre‑merge review for every change is worth its cost.

A Git story: Not so fun this time

Overall reception and historical value

  • Many readers praise the piece as unusually complete, detailed, and engaging; several say it’s the best history of Git they’ve read.
  • Some point out minor factual or presentation issues (e.g., early GitHub screenshot via Wayback, missing credit for a long HN quote) but still regard it as high‑quality work.
  • Multiple commenters request more similar “software history” articles and share related resources/newsletters.

BitKeeper, Mercurial, Fossil, and other VCSes

  • Several people reminisce about BitKeeper, describing Git as a spiritual rewrite but with a worse CLI and different trade‑offs.
  • Mercurial is remembered fondly, especially for better Windows support, but seen as losing out to Git’s network effects.
  • Fossil is praised by some for its integrated model and branching/merging UI, but criticized by others as less collaboration‑friendly (per‑repo user accounts) and niche.
  • Other systems (Perforce, ClearCase, Plastic SCM, custom DVFS/DVFS‑like tools) are brought up for specialized needs, especially binaries and game development.

Git’s dominance and likelihood of replacement

  • Many consider Git’s position extremely entrenched, likening it to ASCII: extensions are plausible, full replacement unlikely.
  • The author suggests that, like x86 vs ARM, changes in how code is produced (e.g., AI) could open space for something new.
  • Some argue a Git successor would need: better scaling for giant monorepos, first‑class binary handling, easier multi‑remote setups, and more ergonomic workflows.
  • Others think replacements will remain niche, built in‑house at huge companies, while Git remains “good enough” for everyone else.

Technical critiques and defenses of Git

  • One long critique calls Git a “tarball server” rather than a full SCM, citing:
    • Heuristic rename detection instead of recorded renames.
    • Lack of per‑file history graphs and per‑file commit comments, hurting debugging and annotation fidelity.
    • Repository‑wide DAG causing distant merge bases vs per‑file GCAs.
    • Submodules as poorly designed compared to true multi‑repo/mono‑repo unification.
    • Performance issues on very large repositories.
  • Defenders counter that:
    • Tracking states instead of operations is a deliberate design trade‑off; sophisticated change tracking (splits/merges of files) is complex and tool‑dependent.
    • Git has significantly improved scalability (sparse checkout, partial clone, VFS/Scalar‑style tooling) and is workable even for huge codebases, though some tooling remains proprietary.
    • Squash/rebase workflows are considered a feature by many, enabling cleaner history across multiple releases and hotfixes.

Monorepos, binaries, and workflow boundaries

  • There’s extensive debate on whether Git “should” handle large binaries.
    • Some argue DVCS is fundamentally for text/source; binaries belong in other systems or tools like git‑annex or specialized SCMs.
    • Others insist real‑world projects inevitably mix code with small images or occasional large files, and Git should do better at selective fetch and deduplication.
  • Sparse checkout and partial clone are seen as progress but not equivalent to fully demand‑loaded monorepo systems integrated with build tools.

Licensing, CLAs, and governance

  • Discussion around a modern Git‑UI tool backed by a large company focuses on its Contributor License Agreement.
    • One side argues the CLA effectively allows the company to ignore Apache‑2.0’s constraints and change licensing unilaterally.
    • Others emphasize that copyright is not transferred, that Apache is already permissive, and that the CLA’s primary purpose is asserting contributor ownership.
    • The Developer Certificate of Origin (DCO) is cited as a lighter‑weight alternative accepted by many legal departments.

BitKeeper licensing and reverse‑engineering controversy

  • Commenters revisit BitKeeper’s restrictive license (especially limits around using it while working on competing VCS code) and note parallels with other niche tools that sparked open competitors.
  • There is sharp disagreement about how a BitKeeper‑compatible pull tool was developed:
    • One side maintains it was done via simple, legal protocol inspection (telnet to BK port, SCCS understanding).
    • Another side claims network snooping of a user’s BK traffic was involved and labels that unethical.
    • Others reply that network sniffing for reverse engineering is common and legal; they see creating an open alternative as an overall positive despite any discomfort from the original vendor.

GitHub, “official” Git sites, and early ecosystem

  • Clarifications:
    • GitHub is not formally the Git project’s governing body, though it did host the main site/docs for a while and its staff helped set up git‑scm.com.
    • Today the canonical Git repo is on kernel.org with various mirrors.
  • Early GitHub UI screenshots in the article were updated after commenters showed that missing CSS in archived captures distorted how the original site actually looked.

Impact of Git and GitHub on open source

  • Several commenters credit Git and GitHub with massively accelerating the scale and practicality of free software development.
  • Some speculate that without Git (and GitHub), today’s level of open collaboration would be much harder to sustain.

Ask HN: what are examples of successful "open-source alternatives"?

What counts as a “successful open‑source alternative”?

  • Success debated: user base vs revenue vs strategic impact.
  • Some argue “open-source alternative” branding brings baggage and signals ideology more than product quality.
  • Distinction between pure OSS and open core is raised (e.g., GitLab explicitly called open core).
  • Many examples are infrastructure rather than SaaS, leading to scope confusion with the original question.

Infrastructure and platforms

  • Canonical successes: Linux/BSD, GCC/LLVM, HTTP vs Gopher, open compilers (Rust, clang), databases (Postgres, MySQL, MongoDB), web servers (Apache, nginx, Caddy).
  • Git is repeatedly highlighted as a dominant open alternative to BitKeeper, effectively displacing it and most other VCSs.
  • OpenSSH replaced the original commercial SSH; WireGuard and OpenVPN as VPN alternatives with differing views on enterprise manageability.
  • Android and JavaScript noted as open technologies that survived while proprietary peers (VBScript, Flash) died.

End‑user and creative applications

  • Blender frequently cited as a flagship success that only became competitive after open‑sourcing.
  • Other creative tools: GIMP, Inkscape, Krita, Scribus, Darktable, digiKam, OBS Studio, VLC, mpv, ffmpeg, KiCad, FreeCAD, Godot.
  • Godot specifically called out as rising fast against Unity, already powering notable games.

SaaS‑style and business tools

  • Examples: GitLab, Mattermost, Rocket.Chat, Nextcloud, Bitwarden/Vaultwarden, Minio (S3), Supabase, Odoo, Cal.com, PostHog, Baserow, Canvas LMS, Goatcounter.
  • Disagreement on whether Slack-alternatives like Mattermost have truly “broken out,” though some report large enterprise usage.

Office, collaboration, and knowledge tools

  • LibreOffice and OnlyOffice mentioned as Office/Google Docs alternatives; strong adoption numbers but mixed views on performance and suitability for heavy Excel workflows.
  • WordPress as a major blogging/CMS success vs older proprietary systems.
  • DokuWiki and MediaWiki compared: DokuWiki seen as simpler and DB‑free; MediaWiki as de facto standard.
  • Home Assistant praised as a standout success in home automation.

Media, entertainment, and personal use

  • Jellyfin gaining traction against Plex, though setup is seen as more complex; community points to improving docs and reverse-proxy recipes.
  • Open torrent clients (qBittorrent, Transmission, rTorrent) now dominate; Vuze/Azureus faded due to bloat and tracker bans.

Debates and meta‑points

  • Firefox’s success is contested: criticized for market share decline, defended via historical impact and large revenue/assets.
  • Atom cited as a success despite discontinuation; its end tied to corporate strategy, not lack of adoption.
  • Thread notes that most SaaS stacks and infrastructure are already built on OSS, and that proprietary “shrinkwrap” software is shrinking relative to SaaS and open source.

Pharma firms stash profits in Europe's tax havens

Pharma profits, R&D, and clinical risk

  • Commenters note that pharma’s cumulative profits exceed reported R&D, while firms justify high prices by citing innovation costs.
  • Several point out that most candidate drugs fail in clinical trials (especially in oncology), so hundreds of millions per failed drug are “lost” but still part of R&D.
  • Some argue failures still generate knowledge; others stress shareholders only care about financial returns, not scientific learning.

Proposals: nationalization and public generics

  • Repeated suggestions: governments should run drug manufacturers for off‑patent medicines, selling generics at cost and preventing single‑supplier gouging cases.
  • Counterarguments: governments may run such entities inefficiently, and political capture could distort which drugs are produced and for whom.
  • A “good enough” non‑profit, non‑optimized public producer is seen by some as an acceptable inefficiency.

Patents, pricing, and value of life

  • Patents are framed as monopolies that block efficient allocation and testing of cheap off‑label uses.
  • Debate over whether systems should prioritize the most effective drugs or cheaper options for budget reasons.
  • Some point to explicit “value of a life” or QALY thresholds used by health agencies as evidence that prices on life are already set.

Tax havens, transfer pricing, and global rules

  • Many emphasize these strategies are standard across multinationals, not unique to pharma.
  • Techniques like transfer pricing and complex shell company chains (e.g., Dutch/Irish structures, Swiss/Luxembourg, Delaware, Zug) are discussed as legal but ethically dubious.
  • Global minimum corporate tax efforts (OECD) are mentioned as a partial fix; enforcement and loopholes remain unclear.

Corporate vs individual taxation

  • Some propose eliminating corporate tax and taxing shareholders (capital gains/dividends) instead.
  • Others object that this rewards tax avoidance and that corporate tax, even if small in aggregate, still matters.
  • There is disagreement over whether corporate expenses on perks (jets, arenas, hospitality) meaningfully constrain this model.

US tax burden debate

  • One side claims taxes (especially in the US) are excessive and mostly wasted, with programs rarely ended.
  • Others counter that effective tax rates are low by post‑WWII standards; another group replies that “historic lows” ignore pre‑1913 or pre‑New Deal baselines.
  • Data on tax receipts as % of GDP is interpreted differently: some see stability since the 1940s, others see large absolute growth.

Global brain drain and EU inequities

  • Commenters describe how free education in Southern/Eastern Europe trains engineers and doctors who then migrate to higher‑pay countries (UK, Northern Europe, US, Australia).
  • This is viewed as a structural disadvantage for “periphery” countries, exacerbating inequality within Europe.

Investment perspective on Big Pharma

  • Some compare big pharma stock returns to the S&P 500 and note that most large firms have underperformed broad indices or even short‑term government bonds.
  • One blockbuster exception (a major weight‑loss drug firm) is acknowledged, but the consensus is that, for diversified investors, these tax maneuvers have not translated into outsized returns.

Supreme Court rules ex-presidents have immunity for official acts

Scope of the ruling

  • Court holds:
    • Absolute criminal immunity for “core” constitutional powers (e.g., commanding the military, pardons, appointments, vetoes).
    • Presumptive immunity for other “official acts” within the outer perimeter of presidential responsibilities.
    • No immunity for “unofficial acts.”
  • Courts may not:
    • Treat something as unofficial just because it allegedly violates a generally applicable law.
    • Examine the president’s motives when classifying conduct as official/unofficial.
    • Use testimony/records about immune “official acts” as evidence, even to prove related non-immune crimes.

Defining “official acts”

  • Many see this as the central problem:
    • The opinion itself admits it’s “difficult” to separate official from unofficial actions.
    • Lower courts are told to do case-by-case, fact-specific analysis.
  • Critics argue this vagueness lets almost anything be re-framed as official; supporters say courts remain the arbiter.
  • Unclear: precise line where campaign or self-serving conduct stops being “official” under this framework.

Implications for accountability

  • Critics:
    • Say this effectively places presidents above the law for a huge class of conduct.
    • Point to hypotheticals raised in the dissent: using SEAL Team 6 on a rival, organizing a coup, selling pardons or appointments — all potentially immune if cast as official.
    • Note the evidentiary bar: bribery may be technically chargeable, but proving it without referencing the official act may be impossible.
    • Argue Watergate tapes, and similar evidence of using executive power to obstruct, might now be inadmissible.
  • Supporters:
    • Emphasize need to prevent endless, partisan criminal prosecutions of ex-presidents.
    • Analogize to qualified immunity for other officials.
    • Argue that truly egregious abuses are constrained by politics, the military’s duty, and other institutions.

Impeachment vs. criminal law

  • One camp: impeachment was always intended as the primary check; criminal liability for official acts risks “criminalizing governance.”
  • Other camp:
    • Impeachment is political, slow, and has repeatedly failed even in strong cases.
    • It only removes and maybe disqualifies; does not punish.
    • Depending on impeachment alone, plus this immunity, leaves no realistic legal backstop.

Historical and comparative context

  • Many reference:
    • Obama’s drone killing of U.S. citizen al-Awlaki and other war-on-terror actions as examples of already de facto immunity.
    • Nixon, Watergate, and his pardon; some see the ruling as retroactively legitimizing that model.
    • Foreign systems where leaders can be prosecuted after leaving office, suggesting the U.S. is moving in the opposite direction.
  • Some see this ruling plus recent decisions (e.g., limiting agency power, narrowing corruption laws) as structurally shifting power toward a “unitary executive” and away from the rule of law. Others see it as necessary course correction against prosecutorial overreach.

Show HN: Doggo – A powerful, human-friendly DNS client for the command line

Project purpose & design

  • Built originally as a hobby/learning project while working with Kubernetes DNS quirks (e.g., ndots), aiming for a clearer, environment-agnostic DNS client.
  • Implemented in Go without external CLI frameworks to minimize dependencies; includes a small custom help/formatting utility.
  • v1.0 release was delayed for over a year due to life and procrastination; recent push to finalize and tag releases properly.

Relation to other DNS tools

  • Explicitly inspired by dog (Rust); author wanted similar functionality but in Go, hence “dog + go”.
  • Some users report dog is now hard to build due to outdated dependencies, which feeds into ecosystem stability concerns.
  • Other tools mentioned: dig, q, Hickory DNS utilities, bore, geodns, various “what’s my IP” endpoints and IP info CLIs.

Features, DNS behavior & UX

  • Primarily a query client (like dig), not for configuring system DNS.
  • Supports DNSCrypt and has a web UI that can be run locally.
  • Initially lacked “ANY/all records”-style functionality; community pushed for it.
    • Implemented “common record types” querying and an ANY-like feature (noting that true ANY is often no longer useful).
    • Early implementation did serial lookups; later optimized with concurrent queries per resolver for ~70–80% speedup.
  • Querying multiple nameservers shows duplicate answers when resolvers are configured redundantly; this is intentional to surface differences.

Performance, installation & distribution

  • Some users observed slow multi-record queries compared to dig; the concurrency change targets this.
  • Installation hiccups via go install (wrong package path, binary name) were quickly patched.
  • Binaries are provided via GitHub releases; also Docker image exists, with suggestions to document --rm -it usage.

Language, ecosystem & packaging debates

  • Discussion on Go’s “gets it done” reputation, static binaries, and suitability for DevOps tooling.
  • Contrast drawn with Rust, JS, and Python ecosystems where dependency churn can break builds after a few years.
  • Some prefer OS packages over “go install” or curl | sh for trust and supply-chain reasons; others argue containers or static binaries are convenient enough.
  • Mixed reactions: many enthusiastic users and adopters, alongside skepticism about yet another DNS CLI and the overhead of installing language toolchains.

Eating meat with lower carbon footprint often means killing more animals

Humor and thought experiments

  • Thread opens with jokes (pandas, koalas, blue whales, mammoths) to highlight how “calories per animal killed” can lead to odd conclusions.
  • Some imagine future scenarios: braindead livestock or pure muscle cultures optimized for meat with minimal suffering.

Lab-grown vs conventional meat

  • One camp says if lab-grown steak becomes indistinguishable, knowingly choosing the “animal death” version is morally disturbing.
  • Others insist they’d still prefer meat from a real cow, valuing tradition, symbolism, or distrust of food corporations to keep lab meat “pure.”
  • Disagreement on whether preferring animal-killed meat over identical lab meat is ethically neutral or “psychopathic.”

Human diet: nature, culture, and alternatives

  • Several argue humans are naturally omnivores and that’s reflected in meat-eating across cultures.
  • Others point to vegetarian traditions (e.g., some Native American and Indian communities) as counterexamples.
  • Insects and lab-grown meat are proposed as low-footprint, potentially more ethical protein; some question insect sentience, others link evidence that invertebrate consciousness is plausible.

Valuing animal lives and suffering

  • Debate on whether a cow’s life is “worth” more than a chicken’s or a fish’s, and what metric to use.
  • Some suggest capacity for suffering as the core metric; others note we can’t access animals’ inner lives and differences are hard to quantify.
  • Utilitarian-style “exchange rates” (e.g., one cow vs several chickens) are discussed but seen as arbitrary.
  • Some point out that in practice humans reveal unequal valuations (children vs adults, mothers vs fetuses, etc.), even if they claim equality.

Tradeoffs, carbon, and priorities

  • Many stress that environmental choices are full of tradeoffs (EVs vs mining, plastic vs heavy glass, cotton vs water use, fur vs microplastics).
  • Some argue to focus on “super polluters” and largest emissions sources rather than marginal lifestyle tweaks.
  • Others highlight that livestock is a substantial share of emissions and thus not a “tiny” problem.
  • There’s pushback against carbon-footprint accounting from skeptics who compare it to “astrology” and emphasize natural sources like wildfires; others counter with data from cited reports.
  • A minority view: simplest solution is to stop eating animals; others focus on “less but better” or local/hunted meat (e.g., venison), noting new risks like disease.

Ask HN: Who is hiring? (July 2024)

Overall job market patterns

  • Wide range of companies: early-stage YC startups, mid-stage SaaS, big tech, finance/trading, defense, government labs, climate/energy, healthcare, gaming, and devtools.
  • Heavy skew toward senior roles: staff/lead/principal engineers, data/ML, product managers, and “founding engineer” positions. Junior roles and internships are comparatively rare.
  • Common stacks: TypeScript/React, Python, Go, Rust, Java, C++ and Kubernetes/cloud infra recur across many listings.
  • Many jobs emphasize AI/LLMs, data engineering, and infra/observability; several focus on climate tech, healthcare, and fintech as “impactful” domains.

Remote vs. onsite tension

  • Multiple posters complain about the “insane” number of on‑site or hybrid roles in 2024 and say they will only work fully remote, even willing to change careers or retire rather than go back.
  • Others argue some people like offices and that hybrid teams may find fully‑remote members harder to integrate.
  • There is back‑and‑forth over whether remote work slows skill growth and promotion; some claim evidence for this, others ask for data and say they’ve advanced remotely. No consensus is reached.

Geographic and legal constraints

  • Many “remote” roles are actually restricted to specific countries (often US, sometimes US+Canada, or narrow lists like a few EU states).
  • Commenters note frustration when country restrictions are hidden deep in application forms rather than in the initial post.
  • Discussion of US pay‑transparency laws (e.g., WA, CO) and concern some companies may exclude those states rather than post salary ranges.

Skepticism about recurring or opaque postings

  • Several companies (notably a few long‑time regulars) are criticized for posting the same roles month after month, with applicants reporting rejections or no response and speculating about “fake hiring” or free work via paid take‑home tests.
  • Company representatives push back, saying roles stay open because they’re hiring multiple people and are selective, and that tests are not used for real work. Some commenters remain unconvinced.

Meta: thread usage and tooling

  • Suggestions to standardize remote labels with explicit country lists and time‑zone ranges; the thread template is updated accordingly.
  • A few people share tools/scripts analyzing past “Who is hiring” and “Who wants to be hired” posts (e.g., tech‑stack frequency, search across prior candidate posts).

Ask HN: Freelancer? Seeking freelancer? (July 2024)

Overall thread focus

  • Monthly “marketplace” post where freelancers advertise availability and clients post short contract opportunities.
  • Dominated by “SEEKING WORK” posts; fewer “SEEKING FREELANCER” roles.
  • Strong emphasis on remote and async work, often across multiple time zones.

Freelancer profiles & roles

  • Many full‑stack web developers (JavaScript/TypeScript with React/Next.js/Vue, plus Node, Django, Rails, Laravel, .NET).
  • Numerous backend specialists (Python/Django/DRF, Go, Rust, Java, C#, Kotlin, PHP) offering API design, data pipelines, and cloud infrastructure.
  • Several senior/lead roles: fractional CTOs, technical leaders, staff/principal engineers, and long‑time consultants.
  • UX/UI and product designers are well represented, including SaaS specialists, sustainability‑oriented designers, and branding/print designers.
  • Data-focused roles: data engineering, MLOps for LLM inference, classical ML/DS, optimization/operations research, and document processing/OCR.
  • Niche experts: AR/visionOS and spatial computing, computer vision and multi‑view reconstruction, renewable energy consulting, legal/financial paralegal work, copywriting and technical writing, SRE/DevOps, security, and QA automation.

Technologies & domains

  • Common stacks:
    • Web: React/Next.js/Vue/Angular, Tailwind, Django/Flask/FastAPI, Rails, Laravel, .NET.
    • Infra: AWS, GCP, Azure, Kubernetes, Terraform, Docker, CI/CD.
    • Data/ML: Python, PyTorch, ONNX, Kafka, Spark/Flink, dbt, Airflow.
  • Domain focus areas include fintech, sports tech, healthcare, legaltech, ecommerce, AI/LLM products, scientific/engineering software, and embedded/IoT.

Work arrangements, geography, and rates

  • Worldwide coverage: North America, Europe, UK, India, SE Asia, Latin America, etc.; most prefer remote, some open to occasional travel or relocation.
  • Engagements range from short prototypes and MVPs to long‑term retainers and fractional leadership.
  • A wide spread of rates; one very low hourly rate (~12€/hr with 8 years of experience) drew criticism as potentially exploitative and harmful to the market.

Client postings & preferences

  • Client-side posts seek both individual contractors and small dev shops for web apps, backend APIs, security, DevOps, technical SEO, and frontend work.
  • Some explicitly exclude agencies, preferring direct freelancers.
  • Several roles emphasize experience working with non‑technical stakeholders, self‑sufficiency, and prior freelance/consulting experience.

Ask HN: Who wants to be hired? (July 2024)

Overall pattern

  • Thread is a long list of people actively seeking roles, not a back-and-forth debate.
  • Most posts follow a standard template: location, remote/relocation preference, tech stack, brief background, and contact info.
  • A small minority of entries are companies or teams posting open roles.

Roles and seniority

  • Strong skew toward senior and staff-level engineers, architects, SREs, and engineering managers (10–20+ years common).
  • Also present: mid-level full‑stack engineers, data engineers, ML/AI engineers, embedded/firmware engineers, game developers, DevRel, UX/UI and product designers, technical writers, QA/SDET, content/marketing, and product managers.
  • A minority are new grads, bootcamp grads, or career switchers explicitly looking for first or junior roles.

Technologies and domains

  • Web/backend dominate: JavaScript/TypeScript, Node.js, React/Next.js, Vue, Angular, Ruby on Rails, Python (Django/FastAPI/Flask), Go, Java/Spring, C#/.NET, PHP/Laravel.
  • Infrastructure/DevOps/SRE skills are widespread: AWS/GCP/Azure, Kubernetes, Docker, Terraform/CloudFormation, CI/CD, monitoring, Linux/BSD admin.
  • Data/ML/AI: many list Python, PyTorch/TensorFlow, MLOps, data engineering, analytics, and increasing emphasis on LLMs, RAG, LangChain, vector DBs.
  • Systems/embedded: Rust, C/C++, FPGA/HPC, compilers, networking, firmware, IoT, robotics; some with deep OS/kernel experience.
  • Specialized domains mentioned: fintech, health/biotech, adtech, games, robotics, aerospace, sports tech, climate/sustainability, and education.

Remote work and geography

  • Remote work is heavily preferred; many have long remote histories and state “remote only”.
  • Posters span North America, Europe, UK, Latin America, Africa, Middle East, India, and Asia-Pacific.
  • Many are willing to relocate “for the right role”, often constrained to specific regions or visa situations; others are firmly no-relocate.

Engagement types and preferences

  • Mix of desired arrangements: full‑time employment, contract/freelance, fractional CTO/EM, consulting, and advisory roles.
  • Several express preference for small/startup environments, high-ownership roles, or mission-driven work; some explicitly avoid domains like ads, gambling, or crypto.

Meta and sentiment

  • A few posts reflect on the effectiveness of these threads and on difficulties in the current job market (e.g., layoffs, ageism, long searches).
  • Some highlight side projects, open‑source work, or HN-featured posts as signals of capability and initiative.

Shipt’s algorithm squeezed gig workers, who fought back

Scope of the Algorithm Change

  • Many see Shipt’s move from a transparent “base + % of cart” formula to a black-box “effort-based” algorithm as a redistribution of pay, not an across-the-board cut.
  • Some argue this is a rational fix to workers cherry‑picking “easy, high‑value” orders, leaving undesirable ones unfilled.
  • Others stress that even if total payouts are conserved, unannounced cuts to 40% of workers are still a serious issue.

Fairness, Morality, and Power

  • One camp says: if workers clearly see the offer upfront and can decline, any rate the platform sets is morally acceptable, barring outright deception.
  • Critics counter that opaque rules, asymmetric information, and algorithmic targeting (e.g., offering less to those likely to accept) create exploitation, even without formal wage theft.
  • Concerns about hidden discrimination and unequal pay for similar work are raised, especially with black-box algorithms.

Transparency vs. “Gaming the System”

  • Strong sentiment that pay rules should be transparent, predictable, and documented so workers can verify earnings and decide whether to continue.
  • Others note Shipt had been transparent, which allegedly led to “gaming” by workers; opacity can reduce loopholes but also undermines trust.
  • Several argue transparency would better align incentives if the goal is genuinely to reward higher effort.

Contractor vs. Employee and Legal Grey Areas

  • Debate over whether gig workers are truly independent contractors or de‑facto employees constrained by app rules.
  • Examples given where contractor requirements (hours, dress code, single client, availability) can cross into illegal misclassification.
  • Some say the classification distracts from the core problem: nontransparent, potentially manipulative compensation systems.

Data and Article Critique

  • Multiple commenters scrutinize the wage‑change histogram:
    • Point out misstatements in the article’s 40% figure and poor labeling.
    • Note self‑selection bias: negatively affected workers are more likely to share data, likely skewing results downward.
  • Some view the piece as a slanted “hit” that fails to prove systematic harm; others say it still reveals unacceptable opacity and unannounced pay cuts.

Broader Platform and Market Dynamics

  • Discussion extends to Uber/Lyft and other platforms:
    • Centralized matching and rate‑setting seen as de‑facto central planning with strong power asymmetries.
    • Fears that with richer data, firms will increasingly capture maximum consumer surplus and pay workers the bare minimum.
    • Proposed remedies include stronger transparency rules and privacy/data‑collection limits.