Trending tags: ai  github.com  rust  health  show  trump  psychology  go  theguardian.com  video  web  psypost.org  china  google  biology  youtube.com  apple  environment  javascript  java 

What if the spec doesn't match the code?

14 months ago buttondown.email

Related Stories

If you are useful, it doesn't mean you are valued

13 hours ago betterthanrandom.substack.com

Disaster awaits if we don't secure IoT now

4 hours ago spectrum.ieee.org

An optimizing compiler doesn't help much with long instruction dependencies

39 hours ago johnnysswlab.com compiler

Show HN: Text undo that doesn't lose your edit history

7 hours ago vladimirslepnev.me show

"If Anyone Builds It, Everyone Dies"

10 hours ago scottaaronson.blog

Claude Code: An Agentic cleanroom analysis

27 hours ago southbridge-research.notion.site

Claude Code: An Agentic cleanroom analysis

25 hours ago southbridge-research.notion.site

What are you doing this week?

12 hours ago lobste.rs ask

I’m not sure if this belongs here so let me know

45 hours ago reddit.com

What We Lost with PHP and jQuery

30 hours ago idiallo.com jquery php

The Princeton INTERCAL Compiler's source code

20 hours ago esoteric.codes compiler

What are things you do to minimise GC

43 hours ago reddit.com go

The Unreliability of LLMs and What Lies Ahead

5 hours ago verissimo.substack.com llm

Serverless Computing and Architecture: Code Without the Server Headaches

31 hours ago codetocrack.dev serverless

What technology to use for a small NGO website?

30 hours ago lobste.rs ask web

Ask HN: What do you spend your money on?

9 hours ago news.ycombinator.com ask

What’s new in JDK 25 for JDK Flight Recorder

14 hours ago egahlin.github.io flight java

What I've learned about self-referential structs in Rust

9 hours ago reddit.com rust

Why CSS Feels So Hard (and What Finally Made It Click)

28 hours ago codecurious.dev css

AT&T Claims It Won’t Scale Back Its ‘DEI Initiatives’ To Please Trump, Despite Having Just Scaled Back Its DEI Initiatives To Please Trump

10 hours ago techdirt.com at&t trump

[Discussion] I created a Rust builder pattern library - what do you think?

33 hours ago reddit.com rust

Over 40% of the Magisk's code has been rewritten in Rust

5 hours ago github.com rust

News: Open-Source TPDE Can Compile Code 10-20x Faster Than LLVM

recently added phoronix.com llvm rust

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

recently added mongodb.com formalmethods mongodb

Report says Sony won't produce smartphones in its own factories anymore

34 hours ago techissuestoday.com sony

Why can't I open this and how can I fix it?

14 hours ago i.redd.it java

GoDaddy Issues Thousands of Certificates That Don't Work in Safari (again)

2 hours ago sslmate.com safari security

What do you think about my example file for beginners to learn rust?

38 hours ago reddit.com rust

Building AI that evolves by itself hardware-first, code-rewriting edge devices (feedback welcome)

18 hours ago sentiumlabs.org ai

Didn't Google say they will officially support Protobuf and gRPC Rust in 2025?

recently added reddit.com google rust