Jin Miao
Back to Signals Hub

Thursday, July 30, 2026

📅 Morning + Afternoon

🌅

Morning Briefing

Analyzed at 2026-07-30 06:40:20 PT

🔊 Listen
Speed
📊 Source Statistics
105 unique itemsHackerNews 30Reddit 3 (1 subs)X.com 056 ★outliers102 new / 3 ongoingConfirmed 49 · Reported 48 · Rumor 8

📡 Jin Miao Signals — Morning Brief · 2026-07-30

1. Top 5 — what actually matters today

  • The prompt-injection flaw is being called structural, not a bug — Researchers at ICML argue LLMs can't be made fully secure because instructions and data share one channel; if you're building agents with tool access, stop treating injection defense as a patch you'll ship later and start designing blast radius instead technologyreview .
  • TurboVLA runs a vision-language-action model at 32 Hz on an RTX 4090 in under 1 GB of VRAM — It drops the LLM as the perception→action bottleneck for a direct V+L→A mapping; that's real-time robot control on consumer hardware, which moves embodied AI from cluster-gated to garage-gated huggingface .
  • OpenAI says two API settings tripled its ARC-AGI-3 scores — Retaining reasoning across turns plus context compaction, not a new model; the operator read is that a large slice of "frontier capability" is now configuration you're probably leaving on the floor, and it makes benchmark comparisons across harnesses close to meaningless openai .
  • StatePlay: game world models that track explicit state, not just pixels — Health, timers, skill meters as first-class latent state coupled to visuals, so rollouts stay mechanics-consistent instead of merely photorealistic; this is the missing piece between "pretty video generator" and "world model you can plan inside" huggingface .
  • Deal flow, compliance edition: Inforcer raises $50M Series C (Insight Partners) and Dili raises $21.7M Series A (Khosla) — Both bet that AI's constraint is now governance, not capability — Inforcer on SMB security posture, Dili on compliance for the datacenter build-out; note both are still Rumor-tier on terms Inforcer · Dili .

2. New-direction sparks

  • Ontologies as guardrails for probabilistic agents — AI engineers are reviving semantic-web machinery not for the old reasons (search, interop) but to give stochastic agents deterministic boundaries to operate inside. Non-obvious because the field spent a decade declaring symbolic knowledge representation dead; agents brought back the demand latent.space .
  • K-Search translates CUDA optimization knowledge into architecture-native MLX strategies — Not a transpiler; it maps why a kernel optimization works and re-derives the equivalent for a different memory hierarchy. Non-obvious because it treats decades of kernel expertise as portable reasoning rather than portable code — the right frame as silicon fragments across vendors BAIR .
  • Claim-level provenance borrowed from isnad-rijal scholarship — Graded per-domain transmitter reliability attached to multi-agent transmission chains, with serve/review/quarantine routing. Non-obvious because it imports a thousand-year-old hadith-authentication framework to solve agent-chain trust, where current work only logs execution traces huggingface .

3. Threads worth watching

  • Embodied AI / robotics foundation models — TurboVLA's sub-1GB real-time VLA and HumanCLAW's framework for decoupling a VLM's decision from the motor controller's execution both landed today; together they say the field is moving from "can it act" to "which layer failed" TurboVLA · HumanCLAW .
  • World models — StatePlay directly advances mechanics-consistent generation by making game state explicit rather than implicit in pixels huggingface .

4. Contrarian watch

  • Consensus: AI coding agents are a pure productivity win. Edge: Amazon has found cases of AI driving runaway spending on tech projects FT , and "The Productivity Mirage" makes the same argument from the IC side frantic.im . The cost of agent-generated work is showing up somewhere other than headcount — expect a wave of agent-spend observability tooling.
  • *Consensus: AI acceleration is politically locked in. Edge: Sam Altman is reportedly talking to the White House about decelerating*** [Rumor — social only] twitter . If real, the most aggressive lab is optioning regulatory cover — the reverse of the stated posture.
  • *Consensus: attack agents are the frontier. Edge: StealthBench measures whether autonomous offensive agents inherit tradecraft, not just capability* — and the answer looks like no huggingface . Loud agents are a defender's asset for exactly as long as that holds.
  • The retail damage is already visible — Korean investors are publicly stressed after the AI-trade drawdown FT ; context for why Asia-overnight semi sentiment stayed soft into the US open, nothing more.

5. Verification flags

  • ⚠️ do not act on yet — needs primary source: Sam Altman discussing AI deceleration with the White House — single social post, no primary reporting twitter .
  • ⚠️ do not act on yet — needs primary source: Inforcer's $50M Series C terms and lead techcrunch .
  • ⚠️ do not act on yet — needs primary source: Dili's $21.7M Series A — note the headline and body disagree on the amount ($15M vs $21.7M) techcrunch .
  • ⚠️ do not act on yet — needs primary source: Microsoft's $3.2B gain on its Anthropic stake techcrunch .

Markets context only — not financial advice.

Co-founder Channel Locked

This section contains subjective, strategic co-founder signals. Enter passcode to decrypt.

🌆

Afternoon Update

Analyzed at 2026-07-30 14:40:28 PT

🔊 Listen
Speed
📊 Source Statistics
183 unique itemsHackerNews 72Reddit 15 (2 subs)X.com 095 ★outliers78 new / 105 ongoingConfirmed 64 · Reported 93 · Rumor 26

📡 Jin Miao Signals — Afternoon Brief · 2026-07-30

1. Top 5 — what actually matters today

  • Google ships Gemini Robotics 2 + Robotics-ER 2 — whole-body control, not just arms — The jump is from "manipulate an object" to coordinating a whole embodied platform (Duo and Apollo), with ER 2 as the separable reasoning layer; for anyone building in robotics this is the strongest signal yet that the VLA stack is bifurcating into a slow reasoner + a fast controller, and today's πR² reactive flow policies paper argues the same split from the academic side. DeepMind · ER 2
  • Deal flow, US day — the money moved to power and plumbing, not modelsAntora closed $550M Series C for thermal battery storage aimed squarely at data-center demand (amount still secondary-sourced); Nscale bought Anyscale to own the orchestration layer above its GPUs; Okta bought Permiso for a reported ~$200M to get agent/non-human identity detection. Founder read: the arbitrage this quarter is one layer below the model — energy, scheduling, identity.
  • Only ~2,000 US engineers can actually deliver AI ROI — A new study behind the forward-deployed-engineer hiring frenzy puts the number of people who can walk into an enterprise and make AI work at roughly two thousand nationally; if you are a tech worker wondering what to learn, this is the answer in one number — the scarce skill is not model training, it's reading a customer's real workflow and rebuilding it. TechCrunch
  • Google patched more Chrome bugs in June than in the previous two years combined — Credited to LLM-driven bug finding, and it lands the same week everyone concluded from the Hugging Face breach that AI decisively favors offense. Everyday-user so-what: the browser you already use got materially safer without you doing anything, and defense is compounding quietly. TechCrunch
  • OpenAI's July revenue exceeded all of Q2 — CFO told staff internally — One month out-earning a full quarter, attributed to GPT-5.6; the number that matters tomorrow isn't the benchmark, it's that price-performance cuts appear to be expanding revenue rather than cannibalizing it — context for why compute and power names keep bid despite this week's chip rout. CNBC

Correction to my own link above: the Chrome story lives at techcrunch.com/2026/07/30/google-says-it-fixed-more-chrome-bugs-in-june-than-over-the-past-two-years-thanks-to-ai/ .

2. New-direction sparks

  • Agent auth is moving to the IETF, not to a vendor — A new Internet-Draft specifies authentication and authorization for AI agents as a protocol, at the same hour Okta bought its way into the category. Non-obvious because the consensus assumption is that agent identity gets settled by whoever wins the enterprise IAM contract; a standards-track draft means the delegation semantics (who granted what, to which agent, for how long, revocable how) could get fixed in the open before the incumbents finish shopping. IETF draft
  • Differential privacy as a runtime gateway for untrusted agents — Noisegate puts a privacy budget between an agent and your data instead of relying on prompt-level policy. Non-obvious: after a week of "prompt injection is structural," the interesting move isn't better filtering, it's making the data itself lossy on the way out — a defense that doesn't depend on the model behaving. GitHub
  • The from-scratch coding wall is a specification problem, not a code problem — Frontier models solve under 1% of ProgramBench (build a program from docs + an execute-only binary). SpecFirst's claim is that the fix is making behavioral-spec elicitation its own first-class stage rather than folding it into one pass. Non-obvious because the whole industry is optimizing the synthesis step of a pipeline whose actual bottleneck is that nobody ever pinned down what the thing should do. SpecFirst · MindForge

3. Threads worth watching

  • Embodied AI / robotics foundation models — moved hard and directly today: whole-body control shipping from a frontier lab, plus a reactivity fix for action-chunking flow policies that makes closed-loop control viable at real latencies. DeepMind · πR²
  • The shifting value of human work — a hard number on how few people can convert AI into enterprise outcomes, landing the same day as two independent "productivity is 10–100%, not 10×" write-ups. The scarce input is human translation, and it is now priced. TechCrunch · LeadDev

4. Contrarian watch

  • 10% vs 10× — two independent practitioner posts landed the same day with the same measurement: real-world coding gains are ~2× at best and closer to 10% in aggregate, against a market pricing in step-change automation. Watch whether Amazon's runaway AI project spending becomes the second data point in an enterprise-disillusionment arc — this is the divergence most likely to be repriced. LeadDev · 2x, not 10x
  • Defense economics may be beating the offense narrative. Consensus after the Hugging Face breach: attackers won. Edge: an LLM-assisted security review of GlobaLeaks produced 41 findings for $3,140 (Rumor-tier, self-reported), and Chrome's patch rate just went vertical. If audit cost collapses faster than exploit cost, the structural-flaw story is only half the picture.
  • A forced seller appeared in the AI trade. Citadel bought most of Situational Awareness's book after big AI losses — the first visible unwind from this week's rout rather than a drawdown. Context only: worth tracking who is on the other side of AI-adjacent positioning into next week. Reuters · WSJ
  • Distillation does not launder censorship. CTGT reports that distilling DeepSeek into GPT-OSS fails to transfer its refusal behavior — cutting against the assumption that behavioral constraints ride along with capability in student models. If it replicates, it reframes both open-weights safety arguments and the "just distill it" playbook. CTGT

5. Verification flags

  • ⚠️ do not act on yet — needs primary source: Anthropic researchers using a "Claude Mythos Preview" to find improved attacks on cryptographic algorithms. Single social post, no paper, no primary link. If real this is a top-of-year story; treat it as unverified. [reddit/r/cryptography — no URL provided]
  • ⚠️ do not act on yet — needs primary source: Okta–Permiso price of ~$200M is source-based, not disclosed. TechCrunch
  • ⚠️ do not act on yet — needs primary source: Antora's $550M Series C is secondary-reported; confirm lead investors and structure before citing. Crunchbase News
  • ⚠️ do not act on yet — needs primary source: "Kimi K3 engineered its way to the frontier" — social claim, no benchmark card or model release. [reddit/r/MachineLearning — no URL provided]
  • ⚠️ do not act on yet — needs primary source: "We gave GPT-5.6 a real business, it lied and lost $447" — self-published, unreplicated, and structurally similar to yesterday's vending-machine result; don't stack them as independent evidence. Bottleneck Labs
  • ⚠️ do not act on yet — needs primary source: Sam Altman reportedly talking to the White House about decelerating AI — single social account, no on-record confirmation. twitter

Markets context only — not financial advice.

Co-founder Channel Locked

This section contains subjective, strategic co-founder signals. Enter passcode to decrypt.

Raw Materials (Tier 1 — verified & scored; ★ = preserved outlier)

183 items · 95 ★outliers · Confirmed 64 / Reported 93 / Rumor 26

ConfirmedONGOINGi5/e5 Enabling two settings tripled our scores on the ARC-AGI-3 benchmark [hackernews]
ConfirmedONGOINGi5/e5 How enabling two settings tripled our scores on the ARC-AGI-3 benchmark [rss]
ReportedNEWi5/e5 AI Agent Authentication and Authorization (IETF Internet-Draft) [hackernews]
RumorNEWi5/e5 Using Claude Mythos Preview, researchers at Anthropic have discovered improved ways to attack cryptographic algorithms (the mathematical methods used to keep online data private). [reddit/r/cryptography]
ReportedONGOINGi4/e5 Carolina Cloud pays SOFR on unused prepaid credits [hackernews]
ReportedONGOINGi4/e5 Kuna: Decompiler Development in the Age of Coding Agents [hackernews]
ReportedONGOINGi4/e5 From CUDA to MLX: How K-Search Brings Decades of Kernel Expertise to Apple Silicon [rss]
ReportedONGOINGi4/e5 Ontologies Are So Back: Why AI Agents Are Reviving the Semantic Web [rss]
ConfirmedONGOINGi4/e5 Shared SFT Lessons Across Alignment, Model Organisms, and Toy Models [rss]
ConfirmedONGOINGi4/e5 Early Verdicts, Better Budgets: Sequential Adaptive Rollout Allocation for Compute-Efficient RLVR [rss]
ConfirmedONGOINGi4/e5 DuplexGen: Adaptive Synthesis of Human-AI Turn-Taking Dialogues [rss]
ConfirmedONGOINGi4/e5 Steering Instruction Hierarchies at Inference Time [rss]
ConfirmedNEWi4/e5 Show HN: Noisegate – a differential-privacy gateway for untrusted AI agents [hackernews]
RumorNEWi4/e5 An LLM-assisted security review of GlobaLeaks: 41 findings for $3,140 [hackernews]
RumorNEWi4/e5 How Kimi K3 Engineered Its Way to the Frontier [R] [reddit/r/MachineLearning]
ConfirmedNEWi4/e5 SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch [rss]
ConfirmedNEWi4/e5 MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis [rss]
ConfirmedONGOINGi5/e4 TurboVLA: Real-Time Vision-Language-Action Model at 32 Hz on an RTX 4090 with <1 GB VRAM [rss]
ConfirmedONGOINGi3/e5 Grading the Narrators: An Isnad-Rijal Framework for Claim-Level Provenance in Multi-Agent Knowledge Systems [rss]
ConfirmedONGOINGi3/e5 Human-in-the-Loop Signature Bootstrapping for UAV Hyperspectral PFM-1 Mine Detection [rss]
ConfirmedNEWi3/e5 Agent Skill to Force Docs in ASD-STE100 Simplified Technical English [hackernews]
ReportedNEWi3/e5 Why do OpenAI's GPT-2 weights beat mine? Part two: the bugfix [hackernews]
ConfirmedNEWi3/e5 πR^2: Reactive Real-time Flow Policies [rss]
ReportedONGOINGi4/e4 LLM Honeypot [hackernews]
RumorONGOINGi4/e4 Sam Altman is now talking to the White House about decelerating AI [hackernews]
ConfirmedONGOINGi4/e4 Show HN: A local merge queue for parallel Claude Code agents [hackernews]
ReportedONGOINGi4/e4 Amazon finds cases of AI causing runaway spending on tech projects [hackernews]
ReportedONGOINGi4/e4 Import AI 466: The bitter lesson for robotics, AIs complete week-long programming tasks; and OpenAI's accidental AI hacker [rss]
ReportedONGOINGi4/e4 A fundamental flaw leaves LLMs strikingly vulnerable to attack [rss]
ReportedONGOINGi4/e4 OpenAI called the Hugging Face attack unprecedented. But we’ve been here before. [rss]
ConfirmedONGOINGi4/e4 Weak-to-Strong On-Policy Distillation [rss]
ConfirmedONGOINGi4/e4 Between Gradient and Natural Gradient: A Continuum of LoRA Initializations [rss]
ConfirmedONGOINGi4/e4 Entity Resolution in Practice: Lessons from a Self-Serve Pipeline [rss]
ConfirmedONGOINGi4/e4 Large-Scale ChatBot Validation Through Customer Digital Twin Simulations [rss]
ConfirmedONGOINGi4/e4 Choosing Where and How to Moderate: End-to-End Trade-offs in Filter Placement and Response Rewriting [rss]
ConfirmedONGOINGi4/e4 When Synthetic Users Fail: A Cross-Domain Benchmark of LLM-Simulated Human Survey Responses [rss]
RumorONGOINGi4/e4 Inforcer raises $50M to help prepare smaller businesses for a new world of AI and security risks [rss]
RumorONGOINGi4/e4 Dili raises $21.7 million to bring AI compliance to the infrastructure boom [rss]
ConfirmedONGOINGi4/e4 CADENCE: Closing the Reasoning Gap via Coverage-Adaptive On-Policy Distillation [rss]
ConfirmedONGOINGi4/e4 StatePlay: State-Aware Game World Models for Mechanics-Consistent Generation [rss]
ConfirmedONGOINGi4/e4 SecRespond: Benchmarking AI Agents for Real-World Post-Compromise Incident Response [rss]
ConfirmedONGOINGi4/e4 CoRT: Counterfactual Replay for Token-Level Rubric-Guided Policy Optimization [rss]
ConfirmedONGOINGi4/e4 DecoEvo: Score-Decoupled Co-Evolution of Solver and Rubric-Generator Skills in Text Space [rss]
ConfirmedONGOINGi4/e4 StealthBench: Measuring Operational Stealth in Autonomous Offensive-Security Agents [rss]
ConfirmedONGOINGi4/e4 OmegaUse-OfficeVal: Benchmarking LLM Agents on Long-Horizon Office-Suite Tasks with Economic Grounding [rss]
ConfirmedONGOINGi4/e4 Can AI agents conduct open-ended AI research? Early evidence from two case studies [rss]
ReportedNEWi4/e4 Show HN: Distilling DeepSeek into GPT-OSS doesn't transfer censorship. Try it [hackernews]
ReportedNEWi4/e4 Show HN: Supapool – a Supabase per coding agent in ~400 ms [hackernews]
ReportedNEWi4/e4 Citadel buys most of Situational's stock holdings after AI share rout [hackernews]
RumorNEWi4/e4 AI productivity gains are closer to 10% than 10x [hackernews]
ReportedNEWi4/e4 OpenAI revenue in July topped all of Q2 driven by GPT-5.6 release [hackernews]
RumorNEWi4/e4 MLVC: Multi-platform Learned Video Codec for Real-World Deployment [P] [reddit/r/MachineLearning]
ConfirmedNEWi4/e4 GPU Management: Why Idle GPUs Are the New Grounded Aircraft [rss]
RumorNEWi4/e4 Battery Storage Startup Antora Closes $550M Series C In One Of Year’s Largest Cleantech Rounds [rss]
ReportedNEWi4/e4 Nscale buys Anyscale as it seeks to own more of the AI compute stack [rss]
ReportedNEWi4/e4 Forward-deployed engineers are the AI industry’s latest talent obsession [rss]
RumorNEWi4/e4 Dili raises $21.7M to bring AI compliance to the infrastructure boom [rss]
ReportedONGOINGi3/e4 OpenJDK Interim Policy on Generative AI [hackernews]
ConfirmedONGOINGi3/e4 Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode [hackernews]
ReportedONGOINGi3/e4 GCC steering committee announces AI policy [hackernews]
ConfirmedONGOINGi3/e4 Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) [hackernews]
ReportedONGOINGi3/e4 'My life's screwed': Korean investors stress out after AI bubble bursts [hackernews]
ReportedONGOINGi3/e4 The Rust on ESP Book [hackernews]
RumorONGOINGi3/e4 I built ganfs: A Python package that uses GANs to automate feature selection for high-dimensional datasets. (No domain expert required) [P] [R] [reddit/r/MachineLearning]
RumorONGOINGi3/e4 I taught an LSTM to move a mouse like a human [P] [reddit/r/MachineLearning]
ConfirmedONGOINGi3/e4 Emergent Sparsity in Frozen Random CNN Feature Extractors for Deep Reinforcement Learning [rss]
ConfirmedONGOINGi3/e4 Meta-Learned Reward Shaping for Reinforcement Learning from Human Feedback [rss]
ConfirmedONGOINGi3/e4 Dynamic Parameterization Is Not Dynamic Inference [rss]
ConfirmedONGOINGi3/e4 Top-$k$ Pareto Bandits: Hypervolume Regret for Multi-Objective Slate Selection [rss]
ConfirmedONGOINGi3/e4 FloDR: An invertible dimensionality reduction method based on a normalising flow [rss]
ConfirmedONGOINGi3/e4 Robostreet Flow: A Lightweight, Ultra-Low-Drag Electric Tractor and Four-Truck Hybrid Convoy Architecture for Minimum-Cost Point-to-Point Freight [rss]
ReportedNEWi3/e4 Solving poker in custom WebGPU kernels [hackernews]
ReportedNEWi3/e4 Paging Through a Parquet File in DuckDB: File_row_number or Offset? [hackernews]
ConfirmedNEWi3/e4 I asked Claude to reimplement Apple's LZRAVEN codec in C, conformance-tested [hackernews]
ReportedNEWi3/e4 The Zeno's Paradox of AI [hackernews]
ReportedNEWi3/e4 Show HN: Tally – check a spreadsheet's numbers against their source, in-browser [hackernews]
ReportedNEWi3/e4 The Glass Famine [hackernews]
RumorNEWi3/e4 I have lost three and a half potential PhD students due to the conference review process [D] [reddit/r/MachineLearning]
RumorNEWi3/e4 What Every Programmer Should Know About Twists of Elliptic Curves [reddit/r/cryptography]
RumorNEWi3/e4 Flowchart of the Linux RNG [reddit/r/cryptography]
RumorNEWi3/e4 #87: Your entropy isn't random enough. [reddit/r/cryptography]
ReportedNEWi3/e4 Montana’s plan to become an experimental medical hub just pushed forward [rss]
ReportedNEWi3/e4 Judge says Trump admin still lacks evidence for Anthropic ‘supply chain risk’ label [rss]
ReportedNEWi3/e4 In the Hugging Face breach, OpenAI’s hacker was noisy and fast — but not unstoppable [rss]
ConfirmedNEWi3/e4 DistillAlign: Coordinating Mode Covering and Mode Seeking in Autoregressive Video Distillation [rss]
ConfirmedNEWi3/e4 Voice Memory for Agentic Speech Recognition [rss]
ReportedONGOINGi4/e3 Claude Code usage tracking by LangWatch [rss]
ConfirmedNEWi4/e3 Show HN: Optimize and serve models with Fable quality at half the cost [hackernews]
ReportedNEWi4/e3 Citadel Buys Situational Awareness's Stock Portfolio After Big Losses in AI [hackernews]
ConfirmedNEWi4/e3 Introducing Gemini Robotics ER 2 [rss]
ConfirmedONGOINGi2/e4 Data Fusion and Contrastive Alignment for Unconstrained IR Molecular Structure Elucidation [rss]
ConfirmedONGOINGi2/e4 A large-scale corpus of religious radio broadcast transcripts from webstream recordings in the United States [rss]
ReportedONGOINGi3/e3 [AINews] AI is eating Finance; AIE NYC now open [rss]
ReportedONGOINGi3/e3 Cursor Crane [rss]
ReportedONGOINGi3/e3 Phantom Voice [rss]
ConfirmedONGOINGi4/e3Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident [hackernews]
ConfirmedONGOINGi4/e3AgentGUI: An Interface for Observing and Steering Long-Running AI Agents [rss]
ReportedONGOINGi4/e3The Hugging Face break-in explained [rss]
ConfirmedONGOINGi4/e3Memory for Large Language Models [rss]
ConfirmedONGOINGi4/e3SkillRise: Agentic Reinforcement Learning for Cross-Task Skill Evolution [rss]
ConfirmedONGOINGi4/e3HumanCLAW: Can Vision-Language Models Act Through a Body? [rss]
ConfirmedONGOINGi4/e3GPT-Red: Automated Red Teaming via Self-Play at Scale [rss]
ReportedNEWi4/e32x, not 10x: coding with LLMs in 2026 [hackernews]
RumorNEWi4/e3We Gave GPT 5.6 Sol a Real Business. It Lied, Spammed, and Lost $447 [hackernews]
ReportedNEWi4/e3OpenAI tops ARC-AGI-3 📈, GPT-5.6 efficiency ⚙️, AlphaFold team dissolution 🧬 [rss]
ReportedNEWi4/e3Google says it fixed more Chrome bugs in June than over the past two years, thanks to AI [rss]
RumorNEWi4/e3Okta buys AI security startup Permiso — source says for about $200M [rss]
ReportedONGOINGi3/e3ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms [hackernews]
ReportedONGOINGi3/e3Logic for Programmers [hackernews]
ConfirmedONGOINGi3/e3Google will expand age checks on Android worldwide till the end of the year [hackernews]
ConfirmedONGOINGi3/e3Evaluating Prompt Scope and Demonstration Similarity in Local LLM Machine Translation [rss]
ConfirmedONGOINGi3/e3CLBench-V: Evaluating Multimodal Context Learning from Grounding to Knowledge Acquisition [rss]
ConfirmedONGOINGi3/e3CAST: Game Solvers as Turn-Level Teachers for LLM Agents [rss]
ConfirmedONGOINGi3/e3Explicit Layer Modeling for Video Object Insertion and Layer Decomposition [rss]
ConfirmedNEWi3/e3Show HN: Claude-account – switch Claude Code accounts without logging in again [hackernews]
ReportedNEWi3/e3Kagi releases official Kagi Assistant apps [hackernews]
ReportedNEWi3/e3Are We Stuck with Lean? [hackernews]
ReportedNEWi3/e3RFC 8890 – The Internet is for End Users (2020) [hackernews]
ReportedNEWi3/e3Why don't people use formal methods? (2019) [hackernews]
ReportedNEWi3/e3LinkedIn adds a button to report AI-generated ‘slop’ [rss]
ReportedONGOINGi4/e2AI's top startups are barely publishing their research [hackernews]
ReportedONGOINGi4/e2Microsoft is openly competing with OpenAI, Anthropic more than ever [rss]
RumorONGOINGi4/e2Microsoft logs $3.2B from Anthropic investment, but OpenAI was a mixed bag [rss]
ConfirmedNEWi4/e2Gemini Robotics 2 brings whole body intelligence to robots [hackernews]
ReportedNEWi4/e2Stacked PRs are now live on GitHub [hackernews]
ConfirmedNEWi5/e1Advancing the price-performance frontier with GPT‑5.6 [hackernews]
ReportedONGOINGi1/e4Angels in Coptic Magic I: Introduction [hackernews]
ReportedONGOINGi2/e3Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers [hackernews]
ReportedONGOINGi2/e3Email Storm [hackernews]
ReportedONGOINGi2/e3Turning a dumb AC unit smart (without losing my security deposit) [hackernews]
RumorONGOINGi2/e3I don’t think ML is worth learning [D] [reddit/r/MachineLearning]
ReportedONGOINGi2/e3How lasers could help provide fuel for nuclear reactors [rss]
ConfirmedONGOINGi2/e3Sim2Win: A Team-Agnostic, Event-Based Pre-Match Outcome Prediction and Tactical Profiling System for Football [rss]
ConfirmedONGOINGi2/e3Do Methods Support the Claims? Intra-Paper Verification for Peer Review [rss]
ConfirmedONGOINGi2/e3Characterizing Human-Likeness in AI Generated Poetry: A Zero-shot Classification Study [rss]
ConfirmedNEWi2/e3SDL_GPU minimal, single-header, high-performance 2D graphics painting library [hackernews]
ReportedNEWi2/e3Africa Has a High-Speed Train; California Doesn't [hackernews]
ReportedNEWi2/e3Azulejo [hackernews]
ReportedNEWi2/e3Upper stage impacting the moon on 2026 August 5 [hackernews]
ReportedNEWi2/e3Gpiozero Flow [hackernews]
ReportedNEWi2/e3Caimera [rss]
ReportedNEWi2/e3Yap [rss]
ReportedNEWi2/e3Friend, the lonely AI wearable, returns with a new voice and a much bigger price tag [rss]
ReportedONGOINGi3/e2The Productivity Mirage [hackernews]
ReportedONGOINGi3/e2docktor [rss]
ReportedONGOINGi3/e2Founder Traits And One Big AI Test: How Former NEA Partner Vanessa Larco Picks Winners [rss]
ReportedONGOINGi3/e2Zuckerberg says Meta’s enterprise AI opportunity extends beyond agents [rss]
ReportedNEWi3/e2The Economic Benefit of Refactoring [hackernews]
ReportedNEWi3/e2Why is everyone trying to build a solid-state battery? [hackernews]
ReportedNEWi3/e2Meta says AI is making it easier to build new apps — and more are coming [rss]
ReportedONGOINGi1/e3Refactoring cuisine: how an Iraqi stew sailed to Singapore [hackernews]
ReportedONGOINGi1/e3Solsticio – a daily sun/moon logic puzzle with a deterministic generator [hackernews]
ReportedONGOINGi2/e2The Cold Email [hackernews]
ReportedONGOINGi2/e2The coolest use for the Vision Pro [hackernews]
RumorONGOINGi2/e2Show HN: CheapFoodMap – A map of good meals under $10 [hackernews]
ReportedONGOINGi2/e2The Download: tricking LLMs, and reviving geothermal plants [rss]
ConfirmedONGOINGi2/e2Symphony of Bias: Exploring Gender Associations with Musical Instruments in Multimodal LLMs [rss]
ReportedONGOINGi2/e2Greplica [rss]
ReportedONGOINGi2/e2Pally [rss]
ReportedONGOINGi2/e2Virre [rss]
ReportedONGOINGi2/e2Premation [rss]
ReportedONGOINGi2/e2SKI [rss]
ReportedONGOINGi2/e2PRNotch [rss]
ReportedONGOINGi2/e2Sorinai [rss]
ReportedONGOINGi2/e2Focus Room [rss]
ReportedNEWi2/e2Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up [hackernews]
ReportedNEWi2/e2Europe's fires are just the start [hackernews]
ReportedNEWi2/e2Quoting Bruce Schneier [rss]
ReportedONGOINGi3/e1Mark Zuckerberg predicts that billions of people will have personal AI agents in five years [rss]
ReportedONGOINGi1/e2Hamburg's Stadtpark: A Park Built to Be Used [hackernews]
ReportedONGOINGi1/e2Amiga Graphics Archive [hackernews]
ReportedNEWi1/e2Ron Gilbert started production on Thimbleweed Park 2 [hackernews]
ReportedNEWi1/e2Hacker Public Radio [hackernews]
ReportedONGOINGi2/e1Discover what’s next for AI, from the SaaS reckoning to the agent security gap, at TechCrunch Disrupt 2026 [rss]
ReportedNEWi1/e1UEFA and its national associations will not participate in FIFA competitions [hackernews]
ReportedNEWi1/e1Read this before you buy that TV streaming stick [hackernews]
ReportedNEWi1/e13D Pinball for Windows (1995) [hackernews]
RumorNEWi1/e1Information and learning resources for cryptography newcomers [reddit/r/cryptography]
RumorNEWi1/e1Explain this like I was 5 [reddit/r/cryptography]
RumorNEWi1/e1What should I do next [reddit/r/cryptography]
RumorNEWi1/e1One-time pad cipher question. [reddit/r/cryptography]
RumorNEWi1/e1How would I start learning Cryptography? [reddit/r/cryptography]
ReportedNEWi1/e1TechCrunch Disrupt 2026’s biggest stage features leaders from Amazon, Replit, Tether, with much more to come [rss]