Code and sleep @codeandsleep

low latency guy San Francisco, CA Joined June 2009

Tweets

4K
Followers

181
Following

2K
Likes

9K

Code and sleep @codeandsleep

4 weeks ago

worldfinals.icpc.global/scoreboard/202… спбгу лучши в мире

0 0 1 53 0

Download Image

Here’s a good rule on code correctness. All code you haven’t tested is wrong. All code you have tested is also wrong, but appears to work by coincidence. And code you’ve proven correct does the wrong thing, correctly.

67 630 3K 0 139

Jason Turner @lefticus

5 months ago

git commit -m "attempt to fix CI" ... git commit -m "attempt to fix CI" ... git commit -m "attempt to fix CI" ... git commit -m "attempt to fix CI" ... git commit -m "attempt to fix CI"

149 327 4K 179K 164

Gergely Orosz @GergelyOrosz

2 months ago

Surprised to hear so little about this: Section 174 is (mostly) reversed!! This is a BIG deal! The tax change that plagued US tech businesses (and handcuffed the US tech industry) since 2023 has now been reversed... mostly. More in @Pragmatic_Eng: blog.pragmaticengineer.com/the-pulse-sect…

8 12 136 19K 30

Download Image

Code and sleep @codeandsleep

3 months ago

Jornos reporting on software engineers being replaced by AI are the first to be replaced by AI cnbctv18.com/education/goog…

0 0 1 51 0

Sebastian Raschka @rasbt

3 months ago

Since it's summer, and more or less internship and tech interview season, I made all 30 chapters of my Machine Learning Q and AI book freely available for the summer: sebastianraschka.com/books/ml-q-and… Hope it’s helpful! Happy reading, and good luck if you are interviewing!

40 324 2K 151K 2K

Code and sleep @codeandsleep

3 months ago

В комменты приглашается @Nekrolm

John Carmack @ID_AA_Carmack

3 months ago

В комменты приглашается @Nekrolm

66 192 3K 276K 741

1 0 1 361 0

Phil Eaton @eatonphil

4 months ago

new jepsen dropped

5 8 196 10K 57

Download Image

cat @_catwu

4 months ago

Claude users with a Pro plan: You can now try Claude Code!

cat @_catwu

5 months ago

Claude users with a Pro plan: You can now try Claude Code!

73 95 1K 474K 388

Download Video

60 84 1K 707K 300

Charlie Marsh @charliermarsh

4 months ago

During development, we've been running ty over a (real) >15 million line-of-code Python application. On my machine, it completes in about 12.5 seconds. Mypy took 38 minutes. Pyright crashed (ran out of memory).

28 36 1K 61K 125

OpenAI Developers @OpenAIDevs

4 months ago

Codex is now available in the ChatGPT iOS app! Start new tasks, view diffs, ask for changes, and even push PRs—all on the go. And you can keep tabs on Codex with live activities on your lock screen, or pick things up again when you're back at your computer. 🏃🤳

219 444 4K 1.3M 1K

Download Image

the tiny corp @tinygrad

4 months ago

I'm sick of all the software slop. Millions of lines, and 90% of them do not express any ideas. They simply exist to support the other millions of lines. Dead weight abstraction layers that are too costly to refactor away. Plumbing linking old systems to newer systems to the new…

43 92 2K 114K 426

Download Image

Gwen (Chen) Shapira @gwenshap

5 months ago

🚨 PostgreSQL 18 Beta is here 🚨 Highlights: ⚡️ Async I/O (with io_uring) — 2–3x speedups on seq scans, vacuums 🔍 Skip scan + smarter OR/IN optimizations 🔄 Keep planner stats during major upgrades 🧬 uuidv7() and virtual generated columns 🔐 OAuth login 📊 EXPLAIN…

9 51 288 17K 65

Code and sleep @codeandsleep

5 months ago

It does not make sense for $30/mo service but makes perfect sense for $3000 job that can be automated with AI like web-design, copywriting or some auxiliary dashboard

Gergely Orosz @GergelyOrosz

5 months ago

It does not make sense for $30/mo service but makes perfect sense for $3000 job that can be automated with AI like web-design, copywriting or some auxiliary dashboard