Front-page articles summarized hourly.
An overview of the 1930s technocracy movement led by Howard Scott, which envisioned a centralized state—the Technate—run by engineers via energy accounting and social engineering. It peaked in 1933 but faded after critique and credential gaps. The piece argues that many core ideas persist in today’s tech elites, who pursue data-driven social prediction and control, treating technology as a revolutionary agent. It links calls to “exit democracy” and surveillant capitalism with Ellul’s concept of the “technique”—an unstoppable pursuit of efficiency that erodes autonomy.
Young audiences (18–24) are now 'social-first' news consumers, primarily getting news on TikTok, YouTube and Instagram, with direct access to publisher sites fading (14% main access; around 64% read daily vs 87% of 55+). They prefer audiovisual formats, value entertainment and personal relevance, and are more open to using AI and following individual creators. Trust and impartiality are similar to older groups but slightly lower for youth. For publishers, pathways, formats and definitions of news must adapt—emphasizing short-form video, audio, AI summaries, and collaboration with creators.
TinyGo is a Go compiler based on LLVM that brings the Go language to embedded systems and the modern web. It targets over 100 microcontroller boards—from BBC micro:bit and Arduino Uno to Nordic Semiconductor and ST Microelectronics—and can also produce WebAssembly (WASM) code for web browsers and WASI-enabled servers and edge environments. The site provides getting-started guides and examples (Hello world, blinking LED, RGB LEDs, Display) plus a TinyGo Playground, GitHub, and community links.
RAG limitations spurred a filesystem-like doc interface. Real sandboxes were too slow and costly, so Mintlify built ChromaFs, a virtual filesystem that maps UNIX calls to Chroma DB queries via just-bash. It boots from a gzipped path tree, builds in-memory file sets, and enforces per-user RBAC by pruning before building. Pages split into chunks and reassembled on access; large specs are lazy-loaded from S3. Grep is accelerated with a coarse Chroma filter plus in-memory regex. Result: instant session creation (~100 ms), near-zero marginal cost, and scalable access for hundreds of thousands of users across 30k+ conversations.
A provocative critique of CommonMark/Markdown arguing it's bloated and inconsistent. The author loves the idea of a minimal markup that converts to HTML but notes multiple ways to express bold/italic, inline HTML causing security concerns, and parsing difficulty due to footnotes and global definitions, turning Markdown into a quasi-programming language. They cite CVEs from inline HTML and rampant feature creep. They argue Markdown isn't powerful enough for real tooling; propose alternatives (ReStructuredText, mdx, plain text) and call for a purpose-built markup with a formal grammar, no inline HTML, and a build system with hooks.
Drift Protocol on Solana was drained of $285M on April 1, 2026 via a governance hijack, not a code exploit. Attackers minted a fake token (CVT), created durable-nonce accounts, and pre-signed transactions. They migrated the Security Council to a zero-timelock 2-of-5, listed CVT as a market, and raised withdrawal limits to drain ~20 vaults. Assets were converted to USDC/SOL and bridged to Ethereum (CCTP), totaling about 129,000 ETH. TVL dropped about 50% and the DRIFT token fell ~40%. North Korean actors are suspected; the breach targeted governance and human factors, not smart contracts.
iNaturalist is a community for naturalists to record and share observations, discuss findings, and contribute to biodiversity science. Every observation can be shared with data repositories like GBIF to aid research. Users can track life lists in the cloud, create useful data for scientists, and crowdsource identifications. It enables citizen science through projects or personal bioblitzes, learning about nature, and participation across devices via mobile apps. Join to connect with others, contribute, and support science; the site offers help, forums, and multilingual resources.
Jeff Geerling demonstrates building a local dial-up ISP with a Raspberry Pi, a 56K USB modem and a phone-line simulator to accept dial-ins via mgetty/PPP. He connects an old iBook G3 over 802.11b Wi‑Fi to the Pi ISP and uses Macproxy Classic to browse the modern Internet with an old browser. Typical speeds reach 33.6 kbps (28.8–44 kbps possible) due to POTS limits. The project includes an Ansible playbook to automate configuration and optional hardware tweaks; motivated by nostalgia and learning about PPP, modems, and retro tech.
US President Trump ordered 100% tariffs on patented medicines entering the US unless firms strike deals with the administration. The aim is to boost US manufacturing of key medicines and reduce national-security risks; generics are exempt. Many large drugmakers already have exemptions; more are expected. Big companies have 120 days, SMEs 180 days to negotiate. Firms committing to US manufacturing by Jan 2029 would face 20% tariffs, which could drop to zero with pricing deals. The move has spurred about $400bn in promised US investments. UK–US zero tariffs for UK-made medicines remain for three years.
Proposes a phased plan to disassemble Mercury into a Dyson swarm within roughly 1–6 years using a 1,000‑tonne self-replicating seed whose mass doubles each generation. Local growth stalls around 30 doublings due to sunlight and heat, prompting a breakout into a sunward collector, orbital manufacturing, and radiators. The architecture shifts to a Mercury-centered logistics shell with a light crossed‑beam umbrella that beams power to off‑planet infrastructure. Mass drivers launch and transport mass and coolant to orbit; inputs come from Mercury and Venus, no asteroid belt needed. The result is a planet-scale, solar-powered disassembly with shell-based power reception and routing.
Blocked access notice: to continue, log in or create an account, or sign in with developer credentials for scripts. Ensure a non-empty, unique User-Agent or revert to default if blocked. Review Reddit’s Terms of Service and file a support ticket if the block is mistaken, including your Reddit account and the provided code.
Turbovec is a Rust implementation of TurboQuant for vector search with Python bindings via PyO3. It compresses high‑dimensional vectors to 2‑ or 4‑bit per coordinate after a fixed random rotation, using Lloyd‑Max quantization and bit‑packing. It’s data‑oblivious (no training) and supports online indexing with no re-training. The project includes a Python wrapper and a Rust core, optimized with SIMD (NEON/AVX2) for fast search. TurboQuant (unofficial) aims to beat FAISS in speed without training, offering 16× compression for 1536‑D vectors. Build via Cargo and maturin.
US F-15E downed over Iran, triggering a frantic two-aircrew rescue effort. Iran released wreckage images and initially claimed an F-35 was hit, then suggested the pilot may have survived or been captured. US officials reportedly confirmed the loss and the Pentagon scrambling to recover the crew; no official US comment yet. Iranian footage showed a C-130 and HH-60s refuelling, signaling a combat search‑and‑rescue mission. Central Command denied claims of an F-35 downed on Qeshm Island. Context: in March, three F-15Es were downed in a friendly-fire incident; other strikes have occurred.
An experiment to improve focus by ditching a big monitor in favor of a laptop-only setup with a monitor arm. With GNOME fractional scaling and ThinkPad upgrades, he uses a single screen and a standing laptop position, resulting in more focused, intentional use and less wasted time. Power usage drops since the ultrawide is gone, and no docking issues. How to do it: elevate the laptop, add a wireless keyboard/mouse, and use a flexible monitor arm; remove problematic side arms if needed. Desktop users might substitute a smaller monitor. Gaming stays on a big screen. Conclusion: satisfied.
Type theory replaces naive set theory as a foundation, avoiding Russell’s paradox by ensuring each term has a single type. Paradox arises from sets containing themselves; types prevent this. Types are built by formation rules, constructors (introduction) and eliminators (elimination). Starting with Unit, we define base types like Bool and Nat, then composite types (List, Maybe, Either, Tuple) and polymorphic ones. Church encodings show datatypes as folds. The Polymorphic Lambda Calculus (System F) and STLC supply typing and kinding rules. Types are objects, arrows morphisms, so type theory mirrors Cartesian Closed Categories; Curry–Howard–Lambek links logic, types, and programs.
Could not summarize article.
Westenberg argues that Marc Andreessen’s claim that introspection is a modern, Viennese invention is false. Throughout history—Socrates, the Stoics, Augustine, Mencius, Shakespeare—inner examination has been central. Freud didn’t invent introspection; he formalized ideas about the unconscious, with some errors. Andreessen’s anti-introspection stance risks privileging moving forward over asking what people truly want, tying success to measurable outputs. The piece warns that understanding meaning and well-being requires inner life, not just data, and that introspection is essential to human flourishing and civilization.
Tom Brown argues solar PV with batteries can dominate electricity globally at falling costs. In 2030, 90% solar-battery coverage could supply 80% of the population for under 80 €/MWh (including backup). Wind or hydro helps especially at high latitudes. By 2050, 90% coverage falls toward 60 €/MWh and 95% toward 80 €/MWh for most people. The analysis uses open data/code, assumes flat demand, limited grid costs, and notes the last 5–10% may rely on fossil fuels or long-duration storage.
A shortcuts guide for the HarfBuzz GPU Demo. Lists keyboard and touch controls for navigation (pan with drag/arrows; zoom with scroll, pinch, or +/-; rotate with right-drag or three-finger; click: animate; dblclick: reset), animation toggle, dark mode, gamma, stem darkening, debug heatmap, and view reset. Also covers text editor actions (t edit text; f load font; Ctrl+Enter apply; Esc cancel) and backend/page reload (w switch backend; R reload page).
Explains 'recipe-blog-encoding', a Python CLI that hides data in natural-language recipe intros using neural linguistic steganography. Driven by AI-scraper concerns, it encodes a secret with a shared prompt and model, producing a stego-text and a separate file. Decoding mirrors encoding. It uses arithmetic coding steganography: map a secret to a point on [0,1) and pick tokens whose probability intervals contain that point, narrowing until enough bits are encoded. A simple example shows a short secret. Limitations: low capacity, tokenization issues, and strict model/determinism needs. Available on Colab and GitHub.
Made by Johno Whitaker using FastHTML