61
AlphaGeometry: An Olympiad-level AI system for geometry
Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 242 posts.
62
JPEG XL and the Pareto Front
Full details on libjxl v. 0.10 and how it affects jpeg xl lossless compression using Pareto Front for a closer analysis.
63
Redis adopts dual source-available licensing
Developers love Redis. Unlock the full potential of the Redis database with Redis Enterprise and start building blazing fast apps.
64
The rise of batteries in six charts
The unstoppable rise of batteries is leading to a domino effect that puts half of global fossil fuel demand at risk.
65
Mapping the Mind of a Large Language Model
We identified how millions of concepts are represented inside Claude Sonnet, the first detailed look inside a production-grade language model.
66
Genie 2: A large-scale foundation world model
Generating unlimited diverse training environments for future general agents
67
Uv: Python packaging in Rust
uv is an extremely fast Python package installer and resolver, designed as a drop-in alternative to pip and pip-tools.
68
A generalist AI agent for 3D virtual environments
Introducing SIMA, a Scalable Instructable Multiworld Agent
69
Removing data transfer fees when moving off Google Cloud
Customers discontinuing their use of Google Cloud can move their data without incurring any network data transfer fees.
70
Jpegli: A new JPEG coding library
Jpegli, an advanced JPEG coding library that maintains high backward compatibility is faster, and more efficient, than traditional JPEG.
71
Alignment faking in large language models
A paper from Anthropic's Alignment Science team on Alignment Faking in AI large language models
72
Why Safety Profiles Failed
As for dangling pointers and for ownership, this model detects all possible errors . This means that we can guarantee that a program is free of uses of invalidated pointers.
73
FIDO Alliance publishes new spec to let users move passkeys across providers
The FIDO Alliance has published a working draft of a new set of specifications for secure credential exchange that, when standardized and implemented by
74
Meta MTIA v2 – Meta Training and Inference Accelerator
We are sharing details of our next generation chip in our Meta Training and Inference Accelerator (MTIA) family. MTIA is a long-term bet to provide the most efficient architecture for Meta’s unique workloads.
75
Go 1.23 Released
This page summarizes the changes between official stable releases of Go. The change log has the full details.
76
iTerm 3.5.1 removes automatic OpenAI integration, requires opt-in
iTerm2 is a replacement for Terminal and the successor to iTerm
77
78
NVIDIA Transitions Fully Towards Open-Source Linux GPU Kernel Modules
With the R515 driver, NVIDIA released a set of Linux GPU kernel modules in May 2022 as open source with dual GPL and MIT licensing. The initial release targeted datacenter compute GPUs…
79
80
Building Meta's GenAI infrastructure
Marking a major investment in Meta’s AI future, we are announcing two 24k GPU clusters. We are sharing details on the hardware, network, storage, design, performance, and software that help us extr…
81
Adobe Photoshop Source Code (2013)
When brothers Thomas and John Knoll began designing and writing an image editing program in the late 1980s, they could not have imagined that they would be adding a word to the dictionary.
82
Writing Gnome Apps with Swift
Swift is well-suited for creating user interfaces thanks to the clean syntax, static typing, and special features making code easier to write. Result builders, combined with Swift’s closure expression syntax, can significantly enhance code readability.
83
84
OpenAI and Apple Announce Partnership
OpenAI and Apple announce partnership to integrate ChatGPT into Apple experiences.
85
Introducing Copilot+ PCs
An on-demand recording of our May 20 event is available. Today, at a special event on our new Microsoft campus, we introduced the world to a new category of Windows PCs designed for AI, Copilot+ PCs. Copilot+ PCs are the fastest, most intelligent Windows PCs ever built. With powerful new silicon capable of an…
86
AI's $600B Question
The AI bubble is reaching a tipping point. As we continue to follow the GPUs, navigating what comes next will be essential.
87
Swift Homomorphic Encryption
We’re excited to announce a new open source Swift package for homomorphic encryption in Swift: swift-homomorphic-encryption.
88
A Taxonomy of Tech Debt (2018)
Hi there. I’m Bill “LtRandolph” Clark, and I’m the engineering manager for the Champions team on LoL . I’ve worked on several different teams on League over the past years, but one focus has been consistent: I’m obsessed with tech debt. I…
89
SB-1047 will stifle open-source AI and decrease safety
By imposing the restrictions on open-source AI, SB-1047 could reduce AI safety, through reducing transparency, collaboration, diversity, and resilience.
90
Entropic Engineering DEFCON 32 Statement
Entropic Engineering was approached in January ‘24 by the DEFCON Badge Team, who were looking for a small company to partner with. They expressed that they specifically wanted to work with us as a woman-owned, queer- and POC-driven engineering firm to develop an electronic badge with a gaming element for this year’s…