Improving our safety with a physical quantities and units library (open-std.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of open-std.org: Improving our safety with a physical quantities and units library

First screen, captured 2 years ago.

Looks similar

Screenshot of circle-lang.org: Why Safety Profiles Failed

Why Safety Profiles Failed (circle-lang.org)

223 points by pjmlp 2 years ago | 190 comments

Screenshot of llvm.org: ARM Memory Tagging: how it improves C/C++ memory safety (2018) [pdf]

ARM Memory Tagging: how it improves C/C++ memory safety (2018) [pdf](llvm.org)

63 points by fanf2 1 year ago | 32 comments

Screenshot of open-std.org: Memory safety without lifetime parameters

Memory safety without lifetime parameters (open-std.org)

83 points by todsacerdoti 2 years ago | 27 comments

Screenshot of prela-lang.org: A better SQL in 11 lines of code

A better SQL in 11 lines of code (prela-lang.org)

38 points by remywang 1 month ago | 39 comments

Screenshot of crawshaw.io: How I program with LLMs

How I program with LLMs (crawshaw.io)

762 points by stpn 1 year ago | 292 comments

David Crawshaw's blog post summarizing a year of personal experience using LLMs while programming, and introducing sketch.dev, a Go-focused tool.

llms ai-assisted-programming go sketch-dev

Screenshot of 15799.courses.cs.cmu.edu: Improving Unnesting of Complex Queries [pdf]

Improving Unnesting of Complex Queries [pdf](15799.courses.cs.cmu.edu)

24 points by todsacerdoti 8 months ago | 0 comments