Codex scraped the ICM website and discovered 2026 Fields Medal winner list

59 zaikunzhang 2026-07-14 12:07:55 UTC phemex.com Qwen Share 32

The 2026 Fields Medal winners list, leaked via hidden code revealing Peking University alumni Hong Wang and Yu Deng, marks the first time two Chinese mathematicians will share the award. If confirmed July 23, Hong Wang would become the third female recipient in history, a historic milestone for Chinese mathematics.

Codex starts encrypting sub-agent prompts

159 embedding-shape 2026-07-14 12:07:55 UTC github.com/openai Qwen Share 103

The encryption in #26210 hides task/messages from audit logs, hindering debuggability. A proposed fix is adding a separate non-encrypted audit field to preserve readability while maintaining encrypted delivery.

The Future Worth Building Is Human – Thinking Machines Lab

52 bilsbie 2026-07-14 11:07:55 UTC thinkingmachines.ai Qwen Share 30

Thinking Machines aims to build distributed, customizable AI that extends human will and judgment through continuous collaboration, prioritizing local knowledge and feedback over centralized automation. They develop interactive tools and diverse models to empower organizations and individuals, ensuring AI aligns with human values by fostering ownership, adaptability, and decentralized innovation.

The great digital fatigue: How digital burnout is changing social media use

52 derbOac 2026-07-14 11:07:55 UTC blog.incogni.com Qwen Share 37

Many users, especially younger generations, are reducing social media engagement due to mental health concerns, stress, and political polarization, with 55% posting less now than five years ago. Maintaining an online presence increasingly feels like work, causing mixed emotions, though disconnecting often brings peace despite lingering anxiety.

Beautiful Type Erasure with C++26 Reflection

11 RyanJK5 2026-07-14 12:41:55 UTC ryanjk5.github.io Qwen Share 4

rjk::duck uses C++26 reflection to streamline type erasure, automating vtable generation and overload resolution while supporting customization and performance optimizations like inlining. Its reflection-based design eliminates boilerplate, enabling ergonomic syntax and efficient runtime behavior in a single-header library.

Actegories

21 ibobev 2026-07-14 11:07:55 UTC bartoszmilewski.com Qwen Share 2

Actegories are categories acted upon by monoidal categories via tensor products, modeled in Haskell using constraints and bifunctors. Examples include cartesian products and Either, leveraging associators and unitors for coherence.

Coding agents think ahead of time

11 andre15silva 2026-07-14 12:28:55 UTC arxiv.org Qwen Share 2

Coding agents' language models linearly encode program properties (e.g., test correctness) in residual streams, achieving up to 83% AUC. Probes predict future edits' outcomes 25 steps ahead and transfer across benchmarks, revealing a "latent programming horizon" and urging further interpretability research.

Japan develops a method to recover up to 90% of lithium from used EV batteries

605 donohoe 2026-07-14 03:07:55 UTC tech.supercarblondie.com Qwen Share 160

Japanese scientists developed a 90% lithium recovery method from EV batteries using lithium hydroxide, surpassing traditional 50% rates and cutting emissions by 40%. This innovation could reduce Japan's mineral imports, stabilize supply chains, and scale globally by 2035, despite current low recycling rates needing improvement.

No Spanish Reading Crisis?

22 jruohonen 2026-07-14 12:07:55 UTC commonreader.co.uk Qwen Share 21

A 2025 Spanish study shows 66% of Spaniards read for pleasure, with 76% of 15-24-year-olds defying the myth that youth don’t read. Despite digital challenges, Spain’s readership has risen since 2017, contrasting with declines in the US.

Alternative(s) to run CUDA on non-Nvidia hardware

83 alok-g 2026-07-14 09:07:55 UTC hpcwire.com Qwen Share 38

A security service blocked your action due to potential threats like specific phrases, SQL commands, or malformed data. Contact the site owner with your activity details and the Cloudflare Ray ID for resolution.

Show HN: I RL-trained an agent that trains models with RL (for –$1.3k)

10 Danau5tin 2026-07-14 12:41:55 UTC github.com/danau5tin Qwen Share 0

An AI agent trained via RL to optimize AI training using RL, open-sourcing weights, code, and GPU orchestration. It improves over 54 steps with a 0.63 reward peak, using Tinker and Prime-RL, and releases a LoRA adapter for Qwen3.6-35B-A3B under Apache-2.0.

Your 'App' Could Have Been a Webpage (so I fixed it for you)

142 MrVandemar 2026-07-14 10:07:55 UTC danq.me Qwen Share 96

The user reverse-engineered the Travelbound app to replace it with a webpage, criticizing its unnecessary app format, ads, and bloat. They argue web pages are more efficient, accessible, and user-friendly for simple content delivery.

Australian energy retailers must provide three hours of free daytime electricity

156 i2oc 2026-07-14 05:07:55 UTC lenergy.com.au Qwen Share 245

From July 2026, NSW, SA, and SE Queensland households with smart meters can access three hours of free midday electricity daily via the Solar Sharer Offer, capped at 24 kWh to ensure fairness. The scheme, designed to offset solar surplus, allows renters and non-solar users to save up to $1,100/year by shifting energy use to free windows, with automation maximizing savings.

The git history command

349 turbocon 2026-07-14 01:07:55 UTC lalitm.com Qwen Share 222

The user struggles with Git's complex parallel workflows and explores jj but finds Git's new `history` commands (fixup, reword, split) promising for painless history rewriting without switching tools. While limited by merge conflicts and stateful operations, these atomic, branch-aware features reduce the need for jj's advanced conflict handling, offering incremental improvements within Git's ecosystem.

Notable Knot Index (2016)

36 surprisetalk 2026-07-14 09:07:55 UTC knots.neocities.org Full Share 6

Got comments, knots, requests or ideas? I'm always looking for the best knots and new knots. Contact me!

Indian scientists produce most detailed 3D atlas of the human brainstem

103 BaudouinVH 2026-07-14 07:07:55 UTC bbc.com Qwen Share 10

Scientists at IIT-Madras created Anchor, a detailed 3D brainstem atlas linking MRI and cellular data, offering insights into neurological disorders. By mapping 200+ cell clusters affordably, it bridges macro and micro brain studies, aiding disease research and surgery.

Germany set to restrict its Freedom of Information Act

62 robtherobber 2026-07-14 12:07:55 UTC dw.com Qwen Share 20

German lawmakers approved reforms to restrict the Freedom of Information Act, limiting access to individuals, raising fees, and excluding organizations, sparking criticism over transparency. Civil society and opposition warn the changes undermine public oversight and trust, with the SPD vowing to block transparency rollbacks.

Dmars – A modern Core Wars toolchain

10 holliplex 2026-07-14 11:07:55 UTC dmars.drpz.xyz Qwen Share 4

Core War is a 1984 programming game where Redcode programs battle in a memory array, with the last surviving program winning. dmars, a Rust-based pMARS reimplementation, includes an ICWS'94-compatible assembler, ICWS'88 simulator, WebAssembly support, and a browser playground for writing and testing warriors.

Punch Yourself in the Face with Reality

37 AdityaAnand1 2026-07-14 12:07:55 UTC adi.bio Qwen Share 12

In the AI era, success hinges on confronting reality by focusing on meaningful progress rather than overbuilding with AI tools, which often lead to wasted efforts. The key is relentlessly pursuing truth and impact, not escaping into AI-generated illusions.

Just Let Me Write Digits

85 brandon_bot 2026-07-14 06:07:55 UTC gendx.dev Qwen Share 30

The Swiss AGOV login system's registration failed for the author due to a keyboard layout bug causing verification code input errors, exposing accessibility flaws. Limited support channels and delayed source code disclosure worsened the issue, highlighting challenges in digital identity systems.

Differentiable Fortran with LFortran and Enzyme

3 dionhaefner 2026-07-14 12:22:55 UTC docs.pasteurlabs.ai Prefix Share 1

← Tesseract Blog What if you could backpropagate through existing Fortran, C, or C++ simulation code, embed it into JAX and torch, and use it as a high-performance differentiable physics engine? Turns out, you can — if you’re brave enough… Decades of validated physics code in CFD, climate, aerospace, and nuclear sit behind a wall that modern ML pipelines can’t cross, because they don’t expose ...

YouTrackDB is a general-use object-oriented graph database

145 gjvc 2026-07-14 04:07:55 UTC github.com/jetbrains Qwen Share 45

YouTrackDB, a JetBrains-developed object-oriented graph database, offers O(1) link traversal, ACID transactions, and supports Gremlin/YQL for queries. Join their Zulip community or use Maven/Docker for installation to leverage its production-ready, secure, and scalable design.

Building and shipping Mac and iOS apps without opening Xcode

511 speckx 2026-07-13 19:07:55 UTC scottwillsey.com Qwen Share 217

Use Xcode's CLI tools (xcodebuild, notarytool) and XcodeGen to automate Mac/iOS app builds, avoiding Xcode GUI entirely via scripts like release.sh. LLMs like Claude Code streamline setup, handle certificate management, and generate workflows for signing, notarization, and deployment without manual GUI steps.

How to build a circular LCD clock

102 birdculture 2026-07-14 03:07:55 UTC blinry.org Qwen Share 40

Built a 7-inch LCD wall clock with Raspberry Pi 3B+, featuring multi-touch, custom clock faces, and software-controlled brightness. Used HDMI/USB for connectivity, resolved power issues with official Pi supply, and added Swiss railway clock functionality with automatic day/night dimming.

Fundamentals of Wireless Communication (2005)

152 teleforce 2026-07-14 03:07:55 UTC web.stanford.edu Qwen Share 7

This textbook offers a unified wireless communication foundation, covering MIMO, OFDM, and CDMA with real-world examples, aimed at graduate students and engineers. It includes exercises, instructor resources, and is adopted globally by universities and institutions, with authors offering short courses.

The Economics of Recursive Self-Improvement [pdf]

118 apsec112 2026-07-14 02:07:55 UTC elasticity.institute Qwen Share 58

The study models AI's recursive self-improvement through feedback loops, showing current acceleration is insufficient but improving. They use elasticity-based graphs to analyze factors like algorithmic efficiency and bottlenecks, distinguishing narrow vs. broad capabilities.

SalesPatriot (YC W25) Is Hiring Full Stack Engineers (SF)

0 2026-07-13 21:07:55 UTC jobs.ashbyhq.com Qwen Share

Replacing outdated systems with an AI-native platform for defense/aerospace supply chains, this role involves building integrated systems with legacy environments. Senior Software Engineers need full-stack project experience, SQL proficiency, and problem-solving skills to drive autonomous operations.

An Englishwoman who sketched India before photography took hold

186 1659447091 2026-07-14 00:07:55 UTC bbc.com Qwen Share 54

Emily Eden, a 19th-century British artist, captured India's diverse people and landscapes in detailed sketches during her 1830s travels, later published and exhibited in Delhi. Her work, blending colonial context with cultural observation, remains a rare artistic record of India's pre-Victorian era.

Satellite Tracker – Live Map of Starlink and 30k Satellites

113 rolph 2026-07-14 02:07:55 UTC satellitemap.space Full Share 57

Track satellites in real-time on an interactive 3D map. See Starlink trains, space stations, rocket bodies, and satellite passes visible from your location.

Is x86 ready to ACE it?

94 mfiguiere 2026-07-14 02:07:55 UTC chipsandcheese.com Qwen Share 19

Intel's AMX and ACE extensions optimize CPU matrix operations for ML via tile registers and outer product instructions, contrasting Arm's SME, which uses scalable vectors and distinct scaling methods, differing in data handling and hardware design approaches.