Search posts, papers, and topics
The book *Warez* documents the underground piracy scene, tracing its infrastructure from early BBS networks to private FTP “topsites” and detailing its competitive, aesthetic culture. It argues that the scene’s drive is ranking and one‑upmanship rather than purely ideological motives.
lambda-microegg is a Rust e‑graph library that adds scoped, alpha‑aware binders and Miller‑style higher‑order patterns to the Egg framework, enabling capture‑avoiding substitution and higher‑order rewriting with modest performance overhead.
Samsung plans to more than double its HBM4 and HBM4E output next year, raising glass‑carrier cleaning to 50 k sheets/month and wafer input to ~250 k per month. The HBM4 family’s share of shipments is expected to jump from ~40 % to ~80 % as the higher‑layer HBM4E ramps up.
Backups involve more than copying files; you need snapshot rotation, deduplication, and off‑site storage to meet RPO goals while controlling storage and bandwidth. Using proven tools like Borg or Restic and regularly testing restores simplifies the mental load.
A new study shows that the forebrain and hindbrain develop from distinct progenitor cells (OTX2‑expressing and GBX2‑expressing) in mouse, human, chicken, zebrafish and acorn worm embryos, suggesting the vertebrate brain originated from the merger of two primitive nervous systems over 550 M years ago. This insight enabled the first successful in‑vitro generation of human hindbrain motor neurons.
The author built a full graphical desktop for the 48 KB ZX Spectrum in Z80 assembly, fitting overlapping windows, menus, input handling, and a heap within a single frame. All performance claims are backed by measurements taken on real hardware.
The author shows how to label tokens (dates, money, emails, etc.) with a single regex pass using extended operators (`&` for intersection, `~` for complement) in the resharp library. A tiny benchmark compares 10 patterns against spaCy’s NER, reporting ~1.9 GB/s (≈4500× faster) on 8 threads. The post lists the concrete patterns and argues that for deterministic, regular‑language entities regex can…
A joke npm package that pads strings by calling a TypeSafe LLM model, essentially replicating `padStart()` with unnecessary API calls. Not production‑ready and offers no real engineering insight.
A devlog describing how Manganin’s issue tracker stores issues in a dedicated Git repo as plain files, after rejecting earlier approaches that tried to embed issue data in the code tree or Git refs. The author explains the pitfalls of using refs for issue storage, shows the low‑level Git commands needed for that approach, and then outlines the final design: a hidden sister repository where each i…
The article content is missing, so no summary can be given.
Uber developed a context-aware mechanism to prevent retry storms in deep microservice dependency chains. It introduces "error ownership" where services claim errors they originate and unclaim errors they propagate, allowing upstream callers to make informed retry decisions and avoid amplifying load on already struggling services.
Numberwang is a tiny character‑level CNN packaged as a 1.8 MB JSON model and a ~100‑line pure‑Python inference script that classifies numeric strings in eleven languages without any external dependencies. It reaches 88.9 % macro‑F1 on a held‑out set, but struggles with unseen arithmetic expressions.
This post argues that the most critical product decision is often what not to build, citing "document hubs" and "notification centers" as common pitfalls. It highlights how seemingly simple features can balloon into complex, costly, and poor user experiences, advocating for ruthless focus and illustrating long-term running costs.
The authors reverse‑engineer AMD’s CDNA matrix cores, build per‑architecture MATLAB models that match hardware bit‑for‑bit on 10 M random tests, and use them to compare AMD vs NVIDIA tensor‑core accuracy.
Hister is an open‑source self‑hosted search engine that indexes the full text of visited web pages and local files, offering both keyword and optional semantic search via a web UI, CLI, TUI, and MCP client. It runs locally with no telemetry and can be installed via binary, Homebrew, Docker, or Nix.
The authors audit six popular physics benchmarks by having domain experts re‑grade model outputs, fixing reference answers and removing ambiguous items. After correction, GPT‑5.6‑Sol’s mean@4 jumps from ~47 % to ~79 % on HLE‑Physics and from ~61 % to ~87 % on CMT‑Benchmark, with a corrected pass@4 of 94 % on 54 vetted CritPt challenges. The work shows current benchmarks severely under‑report LLM…
The default GitHub actions/setup-go action degrades parallel Go CI performance due to incomplete cache keys and stale writes. A new open-source action, cloudx-io/setup-go, resolves this with job-specific and run-ID-based keys, cutting test job runtimes by 69%.
A University of Toronto study found that emergency department visits for gambling disorders nearly doubled in Ontario after the expansion of the online gambling market. This increase was predominantly observed among young men, with over 70% of visits involving co-occurring mental health conditions or substance use.
xAI announced Grok 4.7, a new LLM for coding and knowledge work. The post claims it’s twice as fast and half the price of comparable models, and shows a CursorBench 4.0 chart with a 46.3 % “Extra High” score at $6.01 average cost per task. No architecture details, training data, or engineering rationale are provided.
The author used Claude to generate a Lean formalisation and proof of Conway’s refinement conjecture for omnific (surreal) integers. The proof passes mechanical checks and informal review but lacks independent verification. The post narrates the workflow, token cost, and reflections on AI‑assisted theorem proving.
PACT is a new benchmark designed to measure how well enterprise LLM agents follow compliance rules, especially when under user pressure. It found substantial variability across 22 models, with even the strongest assistants misapplying rules 6-10% of the time, and user pressure increasing violation rates by 65% on average.
SafeDep discovered that several npm packages masquerading as mathjs contain an encrypted loader that only activates when a caller passes a particular matrix to the LU solver, using the matrix’s lower‑triangular factor as the decryption password. The loader decrypts and executes a multi‑stage remote‑access implant that talks to Slack, Telegram and a blockchain contract, and the same technique is r…
