Ben Kraft's Avatar

Ben Kraft

@benkraft.org

Nonsense Engineer, Infrastructure

268
Followers
122
Following
49
Posts
02.05.2023
Joined
Posts Following

Latest posts by Ben Kraft @benkraft.org

TODOs arenโ€™t for doing

I wrote a blog post sophiebits.com/2025/07/21/t...

22.07.2025 00:57 ๐Ÿ‘ 84 ๐Ÿ” 18 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 1

(to all notinos who follow me I apologize for generateValidators TARGETS, I finally have a PR up to start cleaning it up)

21.03.2025 02:37 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

me sowing: I'm gonna do this in a hacky way because idk how many people will use this thing
me reaping: why is everyone just adding to my hacky nonsense

21.03.2025 02:31 ๐Ÿ‘ 5 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

BTW if you are "happy with your job thanks" and "already working on TS at scale" (think: your tsc build is many minutes), please also reach out, we'd love to compare notes.

20.03.2025 18:54 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Custom ESLint ratcheting: how Notion modernizes code without slowing down development Discover how Notion's innovative ratcheting system with custom ESLint rules gradually modernizes code, eliminates technical debt, and maintains high quality standards without sacrificing development s...

Oh yeah here's one of our super cool tools www.notion.com/blog/how-we-...

20.03.2025 18:46 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Speaking of office, we're IRL in San Francisco. For this posting no experience on a Dev Experience team is necessary! If you love to fix those annoying papercuts that keep your team from shipping faster, but never had the time, you're a great fit.

20.03.2025 18:28 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

More pros:
- Notion is a pretty great company, you can be on a dev experience team anywhere and why not here.
- Reportedly our new office just a few months away will have excellent "library vibes".
- We support, work with, and learn from a ton of really cool engineers.

20.03.2025 18:28 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Job posting for
Software Engineer, Developer Experience
San Francisco, California

Text reads:
About Us: We're on a mission to make it possible for every person, team, and company to tailor their software to solve any problem and take on any challenge. Computers may be our most powerful tools, but most of us can't build or modify the software we use on them every day. At Notion, we want to change this with focus, design, and craft.

Job posting for Software Engineer, Developer Experience San Francisco, California Text reads: About Us: We're on a mission to make it possible for every person, team, and company to tailor their software to solve any problem and take on any challenge. Computers may be our most powerful tools, but most of us can't build or modify the software we use on them every day. At Notion, we want to change this with focus, design, and craft.

MY TEAM is once again hiring for SOFTWARE ENGINEERS

Pros:
- you get to work with ME
- a giant typescript codebase with some pretty cool tooling and problems to solve โœจat scaleโœจ

Cons:
- you will work with ME
- a giant typescript codebase at the bleeding edge of TS scale

20.03.2025 18:28 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Software Engineer, Developer Experience San Francisco, California

Here's the official posting. Folks from underrepresented backgrounds in tech are especially encouraged to apply. DMs open for any questions!
job-boards.greenhouse.io/notion/jobs/...

20.03.2025 18:28 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

becoming an a.i. safety guy specifically for ski lifts where the bar locks in place. this is how they get us!!

04.03.2025 02:34 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

40.7446, -74.0283

08.02.2025 20:47 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Twitter post from Scott Alexander (@slatestarcodex) reads:

People had lots of questions about my drowning child tweet yesterday - eg do I believe in infinite moral obligation? Rather than try to answer piecemeal, I'll just give my whole theory of morality and charity here so you can criticize it or let me know if it has unexpected horrible implications.

I think it's virtuous to help others, including strangers, foreigners, and whichever animals are conscious.

Twitter post from Scott Alexander (@slatestarcodex) reads: People had lots of questions about my drowning child tweet yesterday - eg do I believe in infinite moral obligation? Rather than try to answer piecemeal, I'll just give my whole theory of morality and charity here so you can criticize it or let me know if it has unexpected horrible implications. I think it's virtuous to help others, including strangers, foreigners, and whichever animals are conscious.

lead image from the classic ClickHole article "Heartbreaking: The Worst Person You Know Just Made A Great Point"

lead image from the classic ClickHole article "Heartbreaking: The Worst Person You Know Just Made A Great Point"

05.02.2025 05:33 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

O N T O L O G Y

24.01.2025 19:09 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

We could be the country with both the largest number of English speakers and the largest number of Spanish speakers!

13.01.2025 18:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Screenshot of Wikipedia page for Mexico reads: 
United Mexican States
Estados Unidos Mexicanos (Spanish)

Screenshot of Wikipedia page for Mexico reads: United Mexican States Estados Unidos Mexicanos (Spanish)

Mexico should get dibs, they're already United States too!

13.01.2025 18:09 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

so, did anyone ever figure out how to explain to someone that they should care about other people? asking for a friend

08.01.2025 04:15 ๐Ÿ‘ 5 ๐Ÿ” 0 ๐Ÿ’ฌ 4 ๐Ÿ“Œ 0

Classical answer (Grothendieck) is 57, but for me I think it's 91 or 119

05.01.2025 07:07 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

๐Ÿ‘๐Ÿป๐Ÿ‘๐Ÿป๐Ÿ‘๐Ÿป

15.12.2024 07:37 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

(to be clear I am A Part Of The Problem)

07.12.2024 18:22 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

need someone to write an overly-researched piece on the history of trout roe on latkes and what it means about the evolution of Jewish food culture in the United States

07.12.2024 18:12 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

๐Ÿ‘๐Ÿป crypto ๐Ÿ‘๐Ÿป means ๐Ÿ‘๐Ÿป cryptosporidium ๐Ÿ‘๐Ÿป

02.12.2024 04:27 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

#sorrynotsorry

24.11.2024 03:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

regrettably it seems it is yet again time for one of my codegen tools to grow an IR

22.11.2024 00:02 ๐Ÿ‘ 5 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

now I want to ban not only `if (<non-boolean>)` and `!!value` but also `Boolean(value)`. isDefined and === only.

10.11.2024 21:27 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

(without looking I only got false, undefined, null, [+]0, and "")

10.11.2024 21:26 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

indeed, it is not (although I had also forgotten it was falsy)

10.11.2024 21:24 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
ECMAScriptยฎ 2025 Languageย Specification Introduction This Ecma Standard defines the ECMAScript 2025 Language. It is the sixteenth edition of the ECMAScript Language Specification. Since publication of the first edition in 1997, ECMAScript...

spoilers at tc39.es/ecma262/#sec...

10.11.2024 21:24 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

damn TIL #9 that's so weird

10.11.2024 21:23 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0
Job Application for Software Engineer, Developer Experience at Notion

Hello friends it is once again time for you to join MY TEAM

Pros:
- you get to work with ME
- working on ~ typescript at scale ~ is pretty cool sometimes

Cons:
- you will work with ME
- working on ~ typescript at scale ~ is pretty mystifying sometimes

job-boards.greenhouse.io/notion/jobs/...

23.10.2024 21:37 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0