Old and new apps, via modern coding agents by Terry Tao

318 subset 2026-07-12 12:06:33 UTC terrytao.wordpress.com Qwen Share 85

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?

73 zdw 2026-07-12 16:06:33 UTC fabiensanglard.net Qwen Share 28

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.

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

26 hsn915 2026-07-12 17:06:33 UTC github.com/hasenj Qwen Share 10

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

18 root-parent 2026-07-12 17:06:33 UTC arxiv.org Qwen Share 2

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

127 silcoon 2026-07-12 16:06:33 UTC scotto.me Qwen Share 62

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

111 AlexeyBrin 2026-07-12 13:06:33 UTC odinbook.com Qwen Share 48

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?

29 mb1699 2026-07-12 16:06:33 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.

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

26 turrini 2026-07-12 16:06:33 UTC marc.info Qwen Share 8

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.

The power of collaboration: How we can reduce traffic congestion

22 raahelb 2026-07-12 16:06:33 UTC research.google Qwen Share 14

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:06:33 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.

AI Boosts Research Careers but Flattens Scientific Discovery

100 zaikunzhang 2026-07-12 14:06:33 UTC spectrum.ieee.org Qwen Share 77

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.

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

243 compiler-guy 2026-07-12 05:06:33 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.

Unauthenticated RCE in Motorola's MR2600 Router

61 MrBruh 2026-07-12 12:06:33 UTC mrbruh.com Qwen Share 20

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

15 gmays 2026-07-12 15:06:33 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.

Abject Praise

5 genericlemon24 2026-07-12 17:06:33 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:06:33 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.

Mesh LLM: distributed AI computing on iroh

323 tionis 2026-07-11 23:06:33 UTC iroh.computer Qwen Share 72

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.

Morphometrics: Introduction to the Analysis of Shape

10 num42 2026-07-12 16:06:33 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.

Lessons from the Vasa Shipwreck

22 bookofjoe 2026-07-12 12:06:33 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:06:33 UTC github.com/cosmtrek Qwen Share 56

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

46 speckx 2026-07-12 11:06:33 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.

A no-brainer for protecting your brain

67 saikatsg 2026-07-12 16:06:33 UTC economist.com Qwen Share 47

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.

Protobuf-py: Protobuf for Python, without compromises

119 ming13 2026-07-12 06:06:33 UTC buf.build Qwen Share 32

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.

TK, or the secret to effortless writing (2024)

29 Tomte 2026-07-12 16:06:33 UTC atthis.link Qwen Share 13

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."

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

351 adletbalzhanov 2026-07-11 18:06:33 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.

Show HN: Skillscript – A declarative, sandboxed language for tool orchestration

11 sshwarts 2026-07-12 14:06:33 UTC github.com/sshwarts Qwen Share 6

AI agents repeatedly re-derive tasks via costly frontier inference, causing inefficiency and inconsistency. Skillscript addresses this by enabling agents to author reusable, auditable workflows as declarative code, ensuring safe, efficient execution with static validation and structured orchestration.

An agent in 100 lines of Lisp

219 jamiebeach 2026-07-12 02:06:33 UTC thebeach.dev Qwen Share 68

The author revisits Lisp's role in 1990s symbolic AI, now experimenting with its code-as-data feature to build a minimalist AI agent that dynamically generates and executes tools via recursion, contrasting modern fixed-agent frameworks. This approach mirrors human learning through memory-driven skill rehydration, suggesting Lisp's enduring relevance in agent design.

RISCBoy is an open-source portable games console, designed from scratch

196 mariuz 2026-07-11 22:06:33 UTC github.com/wren6991 Qwen Share 31

A Gameboy Advance-inspired RISC-V processor in Verilog for iCE40-HX8k FPGA, supporting RV32IMC and compliance tests. Requires RISC-V toolchain setup, simulation with ISIM, and PCBs for prototyping.

Croc: Securely transfer files and folders between two computers

3 gregsadetsky 2026-07-12 16:06:33 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 -- ...

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

6 tibordp 2026-07-12 15:06:33 UTC kurvengefahr.org Full Share 1

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.