Previewing GPT‑5.6 Sol: a next-generation model

847 minimaxir 2026-06-26 17:52:03 UTC openai.com GoogleT5 Share 504

A limited preview of the new gpt5.6 is available to u.s. government partners. the preview is designed to test the effectiveness of safeguards against misuse based on real-world scenarios - and to help users prepare for attacks if they encounter them en route to the tool sandboxed in their home pcs or home labs, for example, he says – and how they might be used...

Why does kinetic energy increase quadratically, not linearly, with speed? (2011)

76 ProxyTracer 2026-06-26 22:52:03 UTC physics.stackexchange.com Llama Share 35

The kinetic energy of an object is proportional to the square of its velocity because it is a consequence of Newton's second law and the definition of work. The quadratic dependence of kinetic energy on velocity is a result of the symmetry properties of space and time, specifically the homogeneity and isotropy of space and the homogeneity of time.

A C++ implementation of a fast hash map and hash set using hopscotch hashing

63 gjvc 2026-06-26 21:52:03 UTC github.com/tessil Llama Share 10

The hopscotch-map library is a C++ implementation of a fast hash map and hash set using open-addressing and hopscotch hashing to resolve collisions. It offers better performances than std::unordered_map in most cases and is closely similar to google::dense_hash_map while using less memory and providing more functionalities.

MicroVMs: Run isolated sandboxes with full lifecycle control

265 justincormack 2026-06-26 14:52:03 UTC aws.amazon.com Llama Share 147

AWS Lambda MicroVMs provides isolated, stateful execution environments for user or AI-generated code, offering virtual machine level isolation, rapid launch and resume, and stateful execution. It's available in multiple regions, with up to 16 vCPUs, 32 GB of memory, and 32 GB of disk per MicroVM.

U.S. government will decide who gets to use GPT-5.6

826 alain94040 2026-06-26 18:52:03 UTC washingtonpost.com Full Share 925

The gap between open weights LLMs and closed source LLMs

115 kkm 2026-06-26 21:52:03 UTC blog.doubleword.ai Llama Share 96

The gap between open weights LLMs and closed source LLMs is shrinking, with some benchmarks showing a near catch-up by December 2026. However, a broader analysis of 18 benchmarks shows a more moderate and consistent gap of around 5 months.

US allows Anthropic to release Mythos to 'trusted partners'

204 bobrenjc93 2026-06-26 22:52:03 UTC reuters.com Full Share 163

Please enable JS and disable any ad blocker

AI in mathematics is forcing big questions

38 rbanffy 2026-06-26 22:52:03 UTC spectrum.ieee.org Llama Share 15

Mathematicians are concerned that AI may replace human mathematicians, but some see it as a tool to aid in problem-solving and collaboration.

We can still stop California's 3D printer surveillance scheme

218 hn_acker 2026-06-26 21:52:03 UTC eff.org Llama Share 60

California State Assembly passed legislation mandating 3D print surveillance software despite EFF's warnings about privacy risks. The bill now heads to the state senate, where it needs to be stopped to protect creators' tools and users' rights.

A Tiny Compiler for Data-Parallel Kernels

23 healeycodes 2026-06-26 22:52:03 UTC healeycodes.com Llama Share 2

A compiler was built to understand the transformation of code from regular-looking loops to vector_for loops that allow multiple iterations to be executed in parallel. The compiler lowers kernels into a simpler form where data parallelism is visible, recording which loop iterations run together and whether each load can use adjacent addresses or needs per-lane addresses.

The "Bizarre Headgear" exhibit at the Sam Noble museum

69 surprisetalk 2026-06-26 18:52:03 UTC svpow.com Llama Share 7

The author visited a museum in Oklahoma to give talks and saw a temporary exhibit called "Bizarre Headgear: Ceratopsians and the Evolution of Extraordinary Skulls". The exhibit features a wide range of ceratopsian dinosaurs and other animals with unique headgear.

Show HN: Smart model routing directly in Claude, Codex and Cursor

148 adchurch 2026-06-26 16:52:03 UTC github.com/workweave Llama Share 89

Weave Router is a drop-in proxy that picks the best model for every request from Anthropic, OpenAI, and Gemini. It routes requests per request and speaks everyone's API, with a cluster scorer derived from Avengers-Pro 2.

Ultrasound imaging of the brain

238 rossant 2026-06-26 11:52:03 UTC alephneuro.com Llama Share 93

Researchers have developed a new type of hardware using ultrasound to record brain activity without drilling into the skull. This technology captures detailed images of the brain's vascular system, potentially leading to breakthroughs in understanding and treating neurological conditions.

Om

79 throw0101a 2026-06-26 23:52:03 UTC daringfireball.net Llama Share 6

The author and Om Malik were close friends for 20 years, often attending Apple keynotes together, and Om's presence improved any room with his kind words and humor. He transformed from a quick-trigger blogger to a thoughtful essayist after a heart attack in 2008, and his writing continued to earn respect until his passing.

Show HN: DBOSify – Drop-in Temporal replacement built on Postgres

18 KraftyOne 2026-06-26 23:52:03 UTC github.com/dbos-inc Llama Share 4

DBOSify is a drop-in replacement for Temporal Python that uses Postgres for durable workflows. It replaces the Temporal server and Python SDK for Python-only applications.

Hightouch (YC S19) Is Hiring

0 2026-06-26 21:52:03 UTC hightouch.com Llama Share

Hightouch is a fast-paced startup that values innovation, kindness, and exceptional talent, offering competitive compensation and flexible work arrangements. The company prioritizes impact, humility, and open-mindedness, providing benefits like family-forming support and generous PTO.

What Is a Nomogram and Why Would It Interest Me?

88 Eridanus2 2026-06-26 17:52:03 UTC lefakkomies.github.io Llama Share 17

A nomogram is a graphical calculator that uses a set of numbered scales to solve mathematical formulas. It was invented in 1880 and is useful for fast calculations of complicated formulas.

Making Sense of Proof by Contradiction [pdf]

4 surprisetalk 2026-06-27 00:52:03 UTC foster77.co.uk Prefix Share 0

There are certain topics in mathematics where ‘philosophy’ (in the broadest sense) is likely to intrude. Introducing negative or complex numbers is one: is mathematics discovered or invented? Another one is proof by contradiction (or contrapositive, see Kinnear & Sangwin, 2018, for a discussion of the difference). G H Hardy (1967, p. 94) described proof by contradiction as “one of a ...

The open source DOCX editor submitted to HN a few weeks ago has been deleted

55 gcanyon 2026-06-26 22:52:03 UTC news.ycombinator.com Llama Share 36

GitHub repo under eigenpal is down and docx-editor website is experiencing a 503 error. HN moderation has been inconsistent, possibly due to resource access issues or security concerns.

A human postmortem of the 1996 AOL outage

39 EndEntire 2026-06-26 19:52:03 UTC ngrok.com Llama Share 9

A 30-year-old AOL outage in 1996 highlights the importance of site reliability engineering and the need to prioritize individual impact over profit margins. SREs can act as a backstop to prevent reliability back-sliding by emphasizing individual impact, coordinating with coworkers, and proposing outlandish ideas to drive investment in reliability.

PlayStation Is Deleting 551 Movies from Customers' Accounts

158 ortusdux 2026-06-26 20:52:03 UTC kotaku.com Llama Share 94

Sony is removing 551 movies and TV series from PlayStation Store users' libraries due to licensing agreements. Users who bought these titles will no longer have access to them after September 1.

Long Wave radio era set to end with Droitwich switch-off

52 speckx 2026-06-26 19:52:03 UTC bbc.com Llama Share 23

The Wychbold Masts in Worcestershire are being considered for listing due to their historical importance and role in broadcasting and World War Two. The masts will stop transmitting the BBC's Long Wave service on Saturday, marking the end of an era.

Pre-Modern Armies for Worldbuilders, Part III: Paying for It

50 jfoucher 2026-06-26 18:52:03 UTC acoup.blog Llama Share 6

Pre-modern armies were expensive to maintain, requiring non-subsistence labor and resources. States used various methods to fund their armies, including redistribution economies, coinage, and devolving costs to individuals or communities.

Gossamer: a Rust-flavoured language with real goroutines and pause-free memory

68 mwheeler 2026-06-26 18:52:03 UTC gossamer-lang.org Llama Share 57

Gossamer is a language with immutable data, top-to-bottom data flow, and no borrow checker. It has a broad standard library and a clean path to Rust, with a VM compiled to WebAssembly.

Lippmann Photography

18 andsoitis 2026-06-26 21:52:03 UTC jonhilty.com Llama Share 1

To make a Lippmann emulsion, mix gelatin, potassium bromide, and silver nitrate, then add sensitizers and hardeners under subdued light. The emulsion is coated onto plates, exposed, and developed using a pyro-ammonium carbonate developer, then optionally swelled and cemented with a prism.

Modern GPU Programming for MLSys

61 crowwork 2026-06-26 17:52:03 UTC mlc.ai Llama Share 10

This book teaches GPU programming for AI workloads by understanding hardware, programming model, and building high-performance kernels. It uses TIRx Python DSL to build real GPU kernel examples step by step.

LaTeX.wasm: LaTeX Engines in Browsers

89 theanonymousone 2026-06-26 12:52:03 UTC swiftlatex.com Full Share 31

It may take a few minutes to download template files for the first time. Please be patient Step 1: Download latest release from Github. Extract the files and put them into your webpage directory.

The Art of Kite Flying (1430–1929)

25 benbreen 2026-06-26 18:52:03 UTC publicdomainreview.org Llama Share 10

Kites have been used for various purposes including spiritual functions, military surveillance, and recreational activities across cultures and centuries. Their use in human flight, escape, and transportation has been explored and experimented with throughout history.

My Steam Machine is a 50ft HDMI cable

169 speckx 2026-06-26 07:52:03 UTC blog.matthewbrunelle.com Llama Share 159

The user is excited about Valve's Steam Machine, but won't buy one. They've set up a dual-booting system with Bazzite on their desktop, using a Steam Controller 2 and a 50ft HDMI cable for a console-like experience.

Show HN: Autofit2 – End-to-end pipeline for multilingual text classification

14 leschak 2026-06-26 20:52:03 UTC github.com/neospe Llama Share 1

The text describes a few-shot text classification pipeline built on setfit and SBERT embeddings, supporting 50+ languages and scalable to 100+ via Common Crawl. The pipeline is configured through a JSON file (myproject.json) that defines dataset paths, model settings, and output directories for specific tasks and languages.