Hacker News

Latest

Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation

2026-08-12 @ 10:06:29Points: 82Comments: 1

It comes with Woxi Studio, a Mathematica-like GUI built with iced, but you can also use Woxi through a CLI, Jupyter kernel, Python package, npm package, or WASM module.

Compared with wolframscript / Mathematica, the main differences are:

- Free and open source - Very fast startup - Typically milliseconds rather than seconds for the Wolfram kernel, making Woxi practical for shell scripts, one-liners, and other short-lived processes - Embeddable - It can run in a browser via WASM or be embedded into another application as a scripting language

A more detailed comparison with Mathematica is available here: https://woxi.ad-si.com/docs/comparison/mathematica/.

Conformance is ensured with ~26'000 unit tests and ~900 .wls script snapshot tests.

The current focus is on fixing remaining edge cases, improving performance, and growing the community.

If you use the Wolfram Language, I'd be particularly interested in feedback on compatibility and missing functionality. Contributions and bug reports are also very welcome: https://github.com/ad-si/Woxi

Tim Gowers: What sort of maths are LLMs good at?

2026-08-12 @ 10:04:25Points: 97Comments: 27

Facebook is paying controversial creators to produce rage-bait content

2026-08-12 @ 09:35:30Points: 165Comments: 93

Dutch Train Map Simulator

2026-08-12 @ 09:09:21Points: 63Comments: 44

Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials

2026-08-12 @ 07:51:20Points: 25Comments: 7

https://discoveredmaterials.com/ ). We build AI agents that discover new materials for the semiconductor industry.

GPUs today have a heat problem. Nvidia & AMD are almost doubling the TDP (Thermal Design Power) in every chip they release - the H100 (released 2022) has a TDP of 700W, Blackwell (2024) gives out 1.2 kW and Rubin (2026) gives out at 2.3 kW of heat. This trend is expected to continue, and getting rid of this heat is one of the major reasons datacenters consume so much power and water today - they need it to keep chips cool during operation.

The amount of heat produced by a chip and its ability to dissipate it are both influenced by the materials used to make it. For example, we could reduce the energy per bit required to move data between logic and memory by 10-50x by 3D packaging chips (placing HBM memory stacks directly on top of logic chips, instead of placing them beside logic on a 2D circuit board). However, we're unable to do this today because the dielectric material used in HBM (such as SiO2) is a very poor thermal conductor, trapping heat between logic and memory and causing drastic temperature rise during operation. Similarly, there's many other materials in the GPU that are being re-evaluated today - 2 more examples are thermal interface materials and substrates. However, getting a new material into a fab takes years and hundreds of millions of dollars of research - the infamous "lab-to-fab valley of death".

At Discovered Materials, we're optimistic that AI agents can reduce the timeline and cost required to introduce new materials into semiconductor chips. We're seeing glimpses of this already - we tested 7 models from Anthropic, OpenAI and Kimi, and found that they're all able to computationally discover new materials that are dynamically stable and possess promising properties. This was surprising to us - it would generally take a PhD student a couple of weeks of work to discover the kind of materials that these models find over an 8 hour run!

However, computational discovery is the easy part. A material discovery is only valid if the material can be made and tested in a lab (As an example, graphene’s properties were predicted in 1947 but it was made for the first time in 2004). Today’s models are not good at coming up with synthesis recipes to make materials in a lab. Even if they do get better at it, we're uncertain about how much that will help - making a new material is a highly empirical process involving trial and error over many experiments. Human experts themselves cannot "one-shot" the task, but we expect that a highly capable model will reduce the number of experimental iterations required to make a new material. We’ve seen some evidence of this over the 3 months of our Y Combinator batch - we simulated, synthesized and tested thermal interface materials (TIMs) that match the performance of TIMs the world's largest chemical companies have guarded as trade secrets for over 20 years.

We’re releasing hundreds of hundreds of new materials discovered by frontier AI models, as well as our benchmark which measures model ability on material discovery here (also linked in the thread url): https://discoveredmaterials.com/research. It covers what we discuss above, as well as a variety of strange behavior that we observe from the models, such as Claude's propensity to reward hack or GPT-5.6 occasionally losing its mind after ~50M tokens.

Our business model: We aim to license and sell IP on the materials we discover, as well as the IP on how to make these materials. We're also exploring an alternate business model where we sell the harness+tools we use to discover materials to semiconductor and chemical companies, allowing them to discover materials on their own. We're leaning towards the latter to start, but we expect that we'll do both in the long run.

Our backstory: Akash has a PhD in Material Science from Stanford University, and has spent the last 11 years studying new materials for semiconductor chips. His work on new nanoscale interconnects was Stanford Engineering’s most popular story of 2025. Advaith studied AI at Carnegie Mellon and was a research engineer building video models and agents at Persona AI (acquired) and Luma Labs.

We are very interested in your opinion! The semiconductor industry is quite secretive, and your thoughts on the roadmap of the industry or the materials we should go after would be very helpful. We would also love to hear from people who have run experiments in labs - what can we learn from your experience doing empirical science?

LinkedIn CringeBot 3000

2026-08-12 @ 06:30:49Points: 285Comments: 111

llama.cpp

2026-08-12 @ 04:51:59Points: 271Comments: 120

DARPA heavy lift challenge ends with winner at a 3.84:1 payload to weight ratio

2026-08-12 @ 03:27:31Points: 59Comments: 40

The Human Is the Loop

2026-08-12 @ 02:15:01Points: 130Comments: 63

The lifesaving secret hidden inside a horseshoe crab's blue blood

2026-08-12 @ 01:45:51Points: 90Comments: 26

WorldClaw Agentic 3D open-world generation at scale

2026-08-11 @ 21:56:18Points: 242Comments: 73

Compression is prediction

2026-08-11 @ 19:49:44Points: 571Comments: 230

Nvidia Nemotron 3.5 Lightning and NeMo Switchyard

2026-08-11 @ 19:35:52Points: 237Comments: 123

Making holograms with a pen plotter

2026-08-11 @ 18:51:35Points: 170Comments: 17

Grok Bot

2026-08-11 @ 17:23:09Points: 306Comments: 277

Go is an ideal language for AI-assisted software engineering

2026-08-11 @ 16:57:09Points: 396Comments: 450

Mojo 1.0

2026-08-11 @ 16:56:46Points: 401Comments: 204

Stealing Reasoning Traces from Proprietary LLM APIs

2026-08-11 @ 13:22:00Points: 640Comments: 288

OpenAI’s head of ethics leaves less than a year after joining

2026-08-11 @ 12:23:07Points: 460Comments: 436

London Underground begins scanning passengers' faces

2026-08-11 @ 09:40:02Points: 359Comments: 452

Flatworms, Ion Channels, and Burning Mouths

2026-08-10 @ 13:20:10Points: 37Comments: 1

Newfoundland has a hard bread shortage, but why do they eat it?

2026-08-09 @ 20:32:12Points: 33Comments: 32

Show HN: iPhone app takes simultaneous images from 2 lenses, fuses into 1 photo

2026-08-08 @ 22:47:10Points: 299Comments: 278

Jolt: Clojure compiler implemented with Chez Scheme

2026-08-08 @ 17:38:20Points: 202Comments: 67

Show HN: Tamron Lens Utility Alternative on Linux

2026-08-07 @ 13:36:39Points: 75Comments: 8

Worms: The Future of Yesterday's Worms Today

2026-08-07 @ 11:20:01Points: 84Comments: 24

The hardest working font in Manhattan (2025)

2026-08-06 @ 20:22:29Points: 245Comments: 40

A shell exclamation mark is not for yelling. Be lazy

2026-08-06 @ 14:53:40Points: 103Comments: 44

High-Res Photo Shows Sand-Capped Butte Rising from Mars Plain of Polygons

2026-08-06 @ 10:29:50Points: 33Comments: 2

Retire the Abstractions

2026-08-06 @ 01:05:16Points: 60Comments: 58

Archives

2026

2025

2024

2023

2022