HNHacker News
TopNewBestAskShowJobs

cpeterso

44,288 karma · joined January 6, 2011

submissionscomments

Browsers situationship: When browsers agree but the spec doesn't

atbrakhi.dev·14 pts·cpeterso·
6

Automatically Retrofitting JIT Compilers

infoq.com·1 pts·cpeterso·
1

A Stupid Idea for AI Alignment We Came with by Looking at Specification Gaming

slimemoldtimemold.com·95 pts·cpeterso·
63

Securing the agentic era: formal verification for CEL Common Expression Language

opensource.googleblog.com·2 pts·cpeterso·
0

Firefox intent to ship: JPEG XL

groups.google.com·70 pts·cpeterso·
32

Moving the Microsoft Edge extensions ecosystem forward with Manifest Version 3

blogs.windows.com·2 pts·cpeterso·
1

Cloudflare teams up with big browsers to help websites detect unwelcome visitors

theregister.com·15 pts·cpeterso·
1

DeepMind CEO says those cutting jobs because of AI 'lack imagination'

inc.com·9 pts·cpeterso·
0

Hank Green: How to Fix the Internet

time.com·4 pts·cpeterso·
0

Cruise ships are sailing to a phantom destination that doesn't appear on any map

cnn.com·4 pts·cpeterso·
0

Mozilla Used Anthropic's Mythos to Find and Fix 271 Bugs in Firefox

wired.com·41 pts·cpeterso·
18

Meta creating AI version of Mark Zuckerberg so staff can talk to the boss

theguardian.com·4 pts·cpeterso·
1

Intuit compressed months of tax code implementation into hours

venturebeat.com·1 pts·cpeterso·
0

Linux kernel maintainers are following through on removing Intel 486 support

arstechnica.com·18 pts·cpeterso·
1

Attie: The Future of AI Should Serve People, Not Platforms

theliquidfrontier.leaflet.pub·4 pts·cpeterso·
1

New GitHub repository settings to configure pull request access

github.com·2 pts·cpeterso·
0

Your pet's microchip may now be useless after chip company goes out of business

local12.com·28 pts·cpeterso·
26

GenAI Go SDK for AI

50984e11.maruel-ca.pages.dev·1 pts·cpeterso·
0

A benchmark for LLM vericoding: formally verified program synthesis

arxiv.org·2 pts·cpeterso·
0

Two Thinking Machines Lab Cofounders Are Leaving to Rejoin OpenAI

wired.com·2 pts·cpeterso·
0

Wordiest: Android APK ported to iOS by ChatGPT 5.2

blog.fsck.com·2 pts·cpeterso·
0

Google is building an experimental new browser and a new kind of web app

theverge.com·2 pts·cpeterso·
0

DeepMind spent years trying to break away from Google (2021)

businessinsider.com·1 pts·cpeterso·
0

Google will start building data centers in space, powered by the sun, in 2027

businessinsider.com·4 pts·cpeterso·
6

Arc Raiders and the Ethical Use of Generative AI in Games

aiandgames.com·2 pts·cpeterso·
1

Receipts: A brief list of prominent articles proclaiming the death of the web

zeldman.com·4 pts·cpeterso·
0

Square Enix aims to have AI doing 70% of its QA work by the end of 2027

pcgamer.com·3 pts·cpeterso·
0

Time Programming for Lawyers and Jurors

specbranch.com·1 pts·cpeterso·
0

Why Doesn't Google Maps Work in South Korea

cnn.com·1 pts·cpeterso·
0

Perplexity just launched Comet, an AI web browser

theverge.com·5 pts·cpeterso·
0
Page 1 of 34Next →