Trending tags: ai  github.com  rust  trump  psychology  health  linux  apple  vibecoding  microsoft  show  psypost.org  google  theregister.com  brain  theverge.com  go  game  meta  video 

Abstracting Away Correctness (2020)

3 years ago fasterthanli.me

Abstracting away correctness

4 years ago fasterthanli.me

Related Stories

<Blink> and <Marquee> (2020)

11 days ago danq.me

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

8 days ago queue.acm.org aws rust

The Hashtable Packing Problem (2020)

11 days ago backscattering.de compsci

My Cord-Cutting Adventure (2020)

10 days ago brander.ca

Wealth Shown to Scale (2020)

7 days ago eattherichtextformat.github.io

Magnus Carlsen might walk away from classical chess

14 days ago lichess.org

What if you could do it all over? (2020)

15 days ago newyorker.com

Tech Giants' Indirect Operational Emissions Rose 50% Since 2020

8 days ago reuters.com earth

London Tech Week turns away entrepreneur for bringing baby

8 days ago thetimes.com

Norwegian city uses pneumatic tubes to whisk trash away

8 days ago washingtonpost.com

Why China is giving away its tech for free

39 hours ago economist.com china

OpenSERDES – Open Hardware Serializer/Deserializer (SerDes) in Verilog (2020)

39 hours ago github.com

Why Discord Moved Away from Redis and Rebuilt Search on Kubernetes

6 days ago analyticsindiamag.com discord

Seagate still HAMRing away at the 100 TB disk drive decades later

10 days ago theregister.com

AI-assisted coding for teams that can't get away with vibes

9 days ago blog.nilenso.com vibecoding

Space-X Broadband: Coming to an Empty Traffic Island Near You (2020)

8 days ago freepress.net

Ask HN: What is your fallback job if AI takes away your career?

6 days ago news.ycombinator.com ai ask

The GIL is actually going away — Have you tried a no-GIL Python?

3 days ago reddit.com python

Windows 11 user has 30 years of 'irreplaceable photos and work' locked away in OneDrive - and Microsoft's silence is deafening

20 hours ago techradar.com microsoft windows

Mortality in Frankfurt am Main, Germany, 2020–2023: higher excess mortality during an influenza wave in 2022 than during all COVID-19 waves altogether

3 days ago journals.publisso.de covid epidemiology

Study of 2020 US presidential election found that Biden voters tended to choose care and fairness more than Trump supporters, with a greater focus on compassion and justice

10 days ago psypost.org biden psychology trump

Under abstracting as a C developer?

36 days ago reddit.com c rust

Systems Correctness Practices at Amazon Web Services

21 days ago cacm.acm.org amazon formalmethods testing web

Barycentric Coordinates (2020)

44 days ago observablehq.com graphics math

The Source of "Water" (2020)

26 days ago jamesgill.net

Please Fund More Science (2020)

26 days ago blog.samaltman.com

Mutexes Are Faster Than Spinlocks (2020)

33 days ago matklad.github.io performance

Interferometer Device Sees Text from a Mile Away

40 days ago physics.aps.org

Young adults in Europe are putting away smartphones

25 days ago dw.com europe

Throwaway Code: Don't recycle, throw it away (2017)

44 days ago sung.codes