Old and new apps, via modern coding agents

321 subset 2026-07-12 12:16:19 UTC terrytao.wordpress.com Qwen Share 87

A mathematician successfully migrated 1999 Java applets to JavaScript via AI, reviving tools like honeycomb and Besicovitch set visualizers with minimal bugs. They also created new interactive visualizations for special relativity and the Gilbreath conjecture using AI, finding the process efficient and low-risk for supplementary educational tools.

Don't You Mean Extinct?

82 zdw 2026-07-12 16:16:19 UTC fabiensanglard.net Qwen Share 31

Technological shifts, like CGI in the 90s and AI today, disrupt industries but offer growth through adaptation. Programmers must evolve by mastering tools like LLMs, leveraging resources such as Karpathy's tutorials and Raschka's book, to stay relevant amid automation and code review advancements.

Claude Code May–July 2026 weekly limits promotion

6 alvis 2026-07-12 18:04:19 UTC support.claude.com Prefix Share 3

We're offering a limited-time promotion that increases weekly usage limits in Claude Code by 50%. This promotion is available for Pro, Max, and Team plans, as well as legacy seat-based users on Enterprise plans. Free plans and consumption-based Enterprise seats are not included in this promotion. From May 13, 2026 through July 19, 2026, your weekly usage limit in Claude Code is 50% ...

Show HN: Shirei, cross-platform GUI framework in native Go

29 hsn915 2026-07-12 17:16:19 UTC github.com/hasenj Qwen Share 12

Shirei is a cross-platform Go GUI framework enabling self-contained apps for macOS, Windows, and Linux with a React-like immediate mode API, eliminating widget state management. It supports international text, flexible layouts, and offers a simple API with built-in examples for quick development.

Automation Without Understanding

22 root-parent 2026-07-12 17:16:19 UTC arxiv.org Qwen Share 5

The essay warns that AI's mathematical advancements paired with U.S. declining math education risk strategic failure by eroding critical infrastructure. It proposes treating math capacity as a strategic asset and requiring formal, auditable AI reasoning.

How to Read More Books

130 silcoon 2026-07-12 16:16:19 UTC scotto.me Qwen Share 65

Replace screen time with reading, use an e-reader, read in daily moments, mix genres, and avoid distractions. Set goals, build a library, track progress, and avoid speed reading/summaries to deepen understanding.

Understanding the Odin Programming Language

112 AlexeyBrin 2026-07-12 12:16:19 UTC odinbook.com Qwen Share 50

Understanding the Odin Programming Language teaches basic to advanced Odin concepts, emphasizing design rationale and practical examples, endorsed by Odin's creator and praised for clarity. Karl Zylinski, an experienced game developer and educator, updates the book with language changes and offers insights into low-level programming.

Why study Diophantine equations?

30 mb1699 2026-07-12 16:16:19 UTC hidden-phenomena.com Qwen Share 9

Diophantine equations explore integer solutions, revealing structures like divisibility and prime factorization. The Langlands program studies advanced Diophantine equations to uncover profound connections in number theory.

Against Usefulness

6 supo 2026-07-12 17:49:19 UTC motivenotes.ai Prefix Share 0

Every useful company stands on rails that were once somebody’s stubbornly useless research. I invest in useful for a living. This essay is about the stage before useful, who works on it, and who pays for it, so that the next generation of useful companies has something to stand on. At Motive Force I back both stages. They need each other. In June I stood in a warehouse in Brooklyn while a man ...

The power of collaboration: How we can reduce traffic congestion

22 raahelb 2026-07-12 16:16:19 UTC research.google Qwen Share 15

Google's study shows rerouting 2% of trips via navigation apps in 10 US cities improved traffic speeds by 2% and reduced emissions, demonstrating scalable, low-cost congestion relief. The experiment establishes a framework for network-level traffic optimization using connected systems.

Ghostel.el: Terminal emulator powered by libghostty

195 signa11 2026-07-12 09:16:19 UTC dakra.github.io Qwen Share 32

Ghostel is an Emacs terminal emulator using libghostty-vt, offering modern VT features like Kitty protocols, rich underlines, and OSC 8 hyperlinks. It integrates with Emacs via Elisp and a Zig-native module, supporting shell commands, password prompts, and TRAMP remote terminals.

Vint Cerf, “father of the Internet”, is retiring

244 compiler-guy 2026-07-12 04:16:19 UTC techcrunch.com Qwen Share 132

Vint Cerf, co-creator of TCP/IP and retiring Google VP, emphasized standardized protocols for AI agent interoperability at a conference, while panelists discussed open-source sustainability and challenges in AI centralization. His legacy includes pioneering internet protocols and advocating for structured communication over natural language ambiguity.

AI Boosts Research Careers but Flattens Scientific Discovery

102 zaikunzhang 2026-07-12 14:16:19 UTC spectrum.ieee.org Qwen Share 79

AI enhances individual scientists' productivity and career progression but narrows research diversity, risking homogeneity. Balancing personal incentives with collective scientific exploration is vital to prevent stifling innovation.

Unauthenticated RCE in Motorola's MR2600 Router

61 MrBruh 2026-07-12 12:16:19 UTC mrbruh.com Qwen Share 21

The author discovered an unauthenticated Remote Code Execution (RCE) vulnerability in Motorola's MR2600 router, exploiting a flawed firmware validation process and authentication bypass in its CGI/SOAP handlers. Despite public disclosure due to Motorola's lack of response, the vulnerability impacts exposed devices, underscoring risks from outdated firmware and inadequate security checks.

Autoresearch, Claude and Constrained Optimization

16 gmays 2026-07-12 15:16:19 UTC elliotcsmith.com Qwen Share 4

The user tested AI agents optimizing file compression via autonomous iterations, achieving measurable improvements but highlighting challenges like metric focus and cost. Results suggest AI-driven optimization potential, though real-world applications require careful metric selection and trade-off management.

Morphometrics: Introduction to the Analysis of Shape

12 num42 2026-07-12 16:16:19 UTC geol.umd.edu Qwen Share 0

Morphometrics quantitatively studies form via PCA and landmark analysis, visualizing shape variation in morphospaces (theoretical/empirical). It integrates phylogenetic adjustments and functional morphology, addressing evolutionary constraints and non-functional traits like spandrels.

Theo de Raadt: "You've been smoking something mind altering" (2007)

28 turrini 2026-07-12 16:16:19 UTC marc.info Qwen Share 11

Theo de Raadt criticizes x86 virtualization for adding a bug-prone kernel layer over an insecure architecture, undermining claimed security benefits. He dismisses the idea that engineers can reliably create secure virtualization layers after repeatedly failing to produce secure OSes.

Abject Praise

5 genericlemon24 2026-07-12 17:16:19 UTC infrequently.org Prefix Share 1

It's perilous to disagree with someone as wise and thoughtful as Jeremy, but for the past fortnight his post in response to Apple's iOS 27 marketing invades my quiet moments like a cricket in the attic. "Why", I ruminate, "should someone who understands the state of play give Apple credit for doing less than the minimum while rubbishing those who have consistently done ...

Satteri: A Markdown pipeline forged in Rust for the JavaScript world

34 nateb2022 2026-07-12 12:16:19 UTC satteri.bruits.org Full Share 5

Sätteri puts flexible JavaScript plugins on top of a fast Rust Markdown / MDX engine. Best of both worlds.

LARP – Revenue infrastructure for serious founders

3 BerislavLopac 2026-07-12 17:16:19 UTC larp.website Prefix Share 0

You both agree on a number. Bigger is better. The number is the entire product. Each leg counts as revenue for the receiver. Two legs, two "customers," zero net cash. $10k/mo becomes $120k ARR. Loop weekly and watch a single hundred-dollar bill fund a whole deck. The number in the pitch is real. Whether it means anything is a philosophy question, not an accounting one. Same shape as ...

Mesh LLM: distributed AI computing on iroh

323 tionis 2026-07-11 23:16:19 UTC iroh.computer Qwen Share 74

Mesh LLM enables distributed GPU pooling for OpenAI-compatible APIs, offering control, cost efficiency, and peer-to-peer networking via iroh, avoiding centralized cloud lock-in. It splits models across devices, supports private/public deployment, and uses decentralized QUIC connections for seamless, scalable inference.

Lessons from the Vasa Shipwreck

22 bookofjoe 2026-07-12 12:16:19 UTC ft.com Full Share 26

The following information can help our support team to resolve this issue.

Show HN: Mindwalk – Replay coding-agent sessions on a 3D map of your codebase

135 cosmtrek 2026-07-12 06:16:19 UTC github.com/cosmtrek Qwen Share 57

Mindwalk visualizes coding sessions as interactive night maps, showing agent activity via glowing file interactions (read/edit) in Tree/Terrain views. A local Go tool parses logs, installs securely, and serves a UI with playback, touch states, and session analysis.

Ditching Zotero for a Text File

47 speckx 2026-07-12 11:16:19 UTC atthis.link Qwen Share 29

The user adopts BibTeX as a minimalist, portable reference manager, utilizing plain-text files and UNIX tools for efficient organization via keywords and notes. This approach bypasses GUI platforms, ensuring flexibility, version control, and seamless academic workflow integration.

Croc: Securely transfer files and folders between two computers

4 gregsadetsky 2026-07-12 16:16:19 UTC github.com/schollz Prefix Share 0

croc is a tool that allows any two computers to simply and securely transfer files and folders. AFAIK, croc is the only CLI file-transfer tool that does all of the following: For more information about croc, see my blog post or read a recent interview I did. You can download the latest release for your system, or install a release from the command-line: croc() { [ $# -eq 0 ] && set -- ...

Protobuf-py: Protobuf for Python, without compromises

120 ming13 2026-07-12 06:16:19 UTC buf.build Qwen Share 34

protobuf-py is a Python-native Protocol Buffers library with full spec support, Pythonic API, and Rust acceleration, offering faster real-world performance than Google's C-based upb while avoiding runtime dependencies and global state. It addresses longstanding issues in Python Protobuf tooling by generating readable, typed code and preserving spec compliance without sacrificing usability.

Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom

351 adletbalzhanov 2026-07-11 18:16:19 UTC io-fund.com Qwen Share 152

Neoclouds like CoreWeave and Nebius grow via hyperscaler demand for AI infrastructure, leveraging Nvidia GPUs and optimizing compute utilization. However, rapid expansion relies on high debt and circular financing with Nvidia, risking sustainability amid cash flow gaps and macroeconomic pressures.

A no-brainer for protecting your brain

69 saikatsg 2026-07-12 16:16:19 UTC economist.com Qwen Share 51

Alzheimer’s, a feared dementia, erodes identity and self-trust, as described by Terry Pratchett, who likened it to "unwinding" and isolation. The government’s inadequate response fails to address its devastating impact.

TK, or the secret to effortless writing (2024)

29 Tomte 2026-07-12 16:16:19 UTC atthis.link Qwen Share 15

Using 'TK' as a placeholder maintains writing momentum and acts as a built-in checklist, preferred over alternatives like 'TODO' or 'TC' due to its distinctiveness and minimal false positives."

Show HN: Kurvengefahr – browser CAD/CAM for pen plotters

8 tibordp 2026-07-12 14:16:19 UTC kurvengefahr.org Full Share 2

Browser CAM for pen plotters — handwriting, text, shapes, generative art, SVG/DXF/STL import; preview the exact toolpath and plot as G-code or live over USB.