Code and sleep @codeandsleep

low latency guy San Francisco, CA Joined June 2009

Tweets

4K
Followers

179
Following

2K
Likes

8K

Code and sleep @codeandsleep

3 days ago

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

0 0 1 46 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 632 3K 0 138

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"

151 328 4K 178K 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 138 19K 30

Download Image

Code and sleep @codeandsleep

2 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

2 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 323 2K 150K 2K

Code and sleep @codeandsleep

3 months ago

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

John Carmack @ID_AA_Carmack

3 months ago

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

66 195 3K 275K 740

1 0 1 360 0

Phil Eaton @eatonphil

3 months ago

new jepsen dropped

5 8 197 10K 57

Download Image

cat @_catwu

3 months ago

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

cat @_catwu

4 months ago

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

73 95 1K 474K 388

Download Video

60 85 1K 706K 302

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 126

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 449 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 91 2K 113K 429

Download Image

Gwen (Chen) Shapira @gwenshap

4 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 291 17K 65

Code and sleep @codeandsleep

4 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

4 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