Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific

Show HN: CostPerPrompt – Live AI API pricing and real-workload cost calculators

Live pricing for 232+ AI models (GPT, Claude, Gemini, Llama, DeepSeek) plus real-world cost calculators: chatbots, API budgets, and token math. Updated 2026-08-02.

ASRock BC-250: Building the Budget Steam Machine

Postmortem for Kernel Soundness Bug #14576

Leonardo de Moura — Creator of Lean and Z3

China begins producing advanced chipmaking deep-ultraviolet lithography machines

The Art of 64-bit Assembly

No magic. No shortcuts. No runtime to blame.

Diátaxis

Diátaxis is a widely-adopted, pragmatic and systematic approach to thinking about and creating documentation.

AI financial advice is surprisingly good, especially if you ask right questions

Large language models encourage smart financial behavior, but they fall short on the more subtle aspects of saving and investing, according to MIT Sloan’s Taha Choukhmane and co-authors.

But can your calculator run Linux?

Four Time Scales for Technology Development and Deployment

Plug-in solar is coming. Plug-in batteries should follow

Plug-in batteries could help millions more households access the bill-saving benefits of home energy storage. With plug-in solar now on the way, Regen argues that the government should make plug-in batteries next.

MkLinux and the pimped-out Apple Workgroup Server 9150

We accidentally built an LLVM compiler for Jax

Sometimes when you build software, you shave a yak so deeply that you end up with a surprisingly nice sweater (while the yak, presumably, wonders why it is suddenly rather drafty). For the past while, my team and I have been building a quantum compiler called Catalyst for the...

Go 1.27 Interactive Tour

An interactive tour of what’s new in Go 1.27: every notable language, runtime, and standard library change, with short runnable examples you can edit and …

Unraveling the mysteries of habit formation

Researchers研究者名Asaoka, Nozomi

RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2

For (D)TLS 1.2, this document deprecates the use of two key exchanges, namely Diffie-Hellman (DH) over a finite field and RSA. It also discourages the use of static Elliptic Curve Diffie-Hellman (ECDH) cipher suites. These prescriptions apply only to (D)TLS 1.2, since (D)TLS 1.0 and TLS 1.1 are deprecated by RFC 8996 and (D)TLS 1.3 either does not use the affected algorithms or does not share the relevant configuration options. (There is no DTLS version 1.1.) This document updates RFCs 4162, 4279, 4346, 4785, 5246, 5288, 5289, 5469, 5487, 5932, 6209, 6347, 6367, 6655, 7905, 8422, and 9325 to either deprecate or discourage the use of cipher suites using the above key exchange methods in (D)TLS 1.2 connections.

When random.bytes() runs but doesn't work

What a commit message tells us about the recent COLDCARD bug

Morph (YC S23) Is Hiring Member of Technical Staff

The best candidates would be top 1% at multiple parts of the inference stack. work on PD disaggregation research Morph builds the inference infrastructure behind the fastest open models. Our stack spans kernels, model serving, routing, autoscaling, and capacity. We are hiring a performance engineer to make the entire system faster, cheaper, and more reliable. What you’ll do - Find the gap between theoretical hardware performance and production performance - Trace latency and throughput regressions from the API layer down to individual kernels - Optimize batching, scheduling, routing, quantization, and distributed execution - Build benchmarks and observability that make bottlenecks obvious - Validate that every optimization pre

The teenage hitmen recruited to kill across Europe

The Foxtrot Network is thought to be responsible for about 35 murders in Europe, and uses violence-as-a-service tactics.

Seedance 2.5

One-take Creation, Flexible Referencing: Introducing Seedance 2.5