Hacker News Reader

ezzeriesa.notion.site1 ptskurinikku

1

How does one keep up with exponential growth?

ezzeriesa.notion.site1 ptskurinikku

0

Lean Golf – Code golf but you're proving theorems in Lean

lean.golf3 ptskurinikku

0

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

github.com3 ptskurinikku

0

Lean Golf – Code golf but you're proving theorems in Lean

lean.golf1 ptskurinikku

0

I wrote an AI textbook – how long until AI can do it better?

interconnects.ai2 ptskurinikku

0

I audited Stanford's CS336 and built an LLM from scratch for $353

andytimm.github.io1 ptskurinikku

0

Beyond Enumerable: For Want of Better Windows

baweaver.com2 ptskurinikku

0

Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Work

daeus.blog5 ptskurinikku

0

AI Didn't Create These Problems. It Just Stopped Routing Around Them

baweaver.com3 ptskurinikku

0

Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway)

loforeal.substack.com1 ptskurinikku

0

Judgment is the scarce resource in data science

allthingsinsights.com1 ptskurinikku

0

Positioning, Leverage, and Judgment

daeus.blog2 ptskurinikku

0

I watch most videos at single speed

liquidbrain.net3 ptskurinikku

0

Building More Resilient Local-First Software with ATProto

jakelazaroff.com1 ptskurinikku

1

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

github.com2 ptskurinikku

1

Show HN: Spend weekend Claude tokens making your code bulletproof with Lean

github.com3 ptskurinikku

1

From Bootcamp Grad to Distributed Databases: What Moved the Needle

medium.com2 ptskurinikku

0

Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Back

ezzeriesa.notion.site2 ptskurinikku

0

I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurate

ezzeriesa.notion.site3 ptskurinikku

0

I Used to Write 8k Lines of Code in a Month. Now I Write That in a Day

ezzeriesa.notion.site2 ptskurinikku

0

Cutting Through to What Matters: Why Software Engineers Should Think Like Chefs

blog.bradfieldcs.com1 ptskurinikku

0

Are Computers Making Society More Unequal? (2013)

newyorker.com1 ptskurinikku

0

Reflecting on 12 years of writing code

ezzeriesa.notion.site2 ptskurinikku

0

So You Want to Cure Your Own Disease – Using AI to Take Agency over Your Health

andrewjrod.substack.com13 ptskurinikku

1

David Beazley: An End to Week-Long Immersion Courses

buttondown.com2 ptskurinikku

0

Parallel AI Agents That Review My Code (Claude Code Setup)

hamy.xyz2 ptskurinikku

1

Python Developers Survey 2026

surveys.jetbrains.com2 ptskurinikku

0

kurinikku

Ask HN: I have 1 Claude and 2 Codex resets plus credits – help me spend them

Ask HN: I have too many tokens. What should I do?

LLMs helped me rediscover my love of math

How does one keep up with exponential growth?

Lean Golf – Code golf but you're proving theorems in Lean

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

Lean Golf – Code golf but you're proving theorems in Lean

I wrote an AI textbook – how long until AI can do it better?

I audited Stanford's CS336 and built an LLM from scratch for $353

Beyond Enumerable: For Want of Better Windows

Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Work

AI Didn't Create These Problems. It Just Stopped Routing Around Them

Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway)

Judgment is the scarce resource in data science

Positioning, Leverage, and Judgment

I watch most videos at single speed

Building More Resilient Local-First Software with ATProto

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

Show HN: Spend weekend Claude tokens making your code bulletproof with Lean

From Bootcamp Grad to Distributed Databases: What Moved the Needle

Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Back

I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurate

I Used to Write 8k Lines of Code in a Month. Now I Write That in a Day

Cutting Through to What Matters: Why Software Engineers Should Think Like Chefs

Are Computers Making Society More Unequal? (2013)

Reflecting on 12 years of writing code

So You Want to Cure Your Own Disease – Using AI to Take Agency over Your Health

David Beazley: An End to Week-Long Immersion Courses

Parallel AI Agents That Review My Code (Claude Code Setup)

Python Developers Survey 2026