HNHacker News
TopNewBestAskShowJobs

Darmani

1,555 karma · joined June 2, 2007

My life mission is to reduce the global cost of software maintenance by 100x.I've worked in programming tools for 15 years across 5 companies, graduated with 2 degrees at age 20 from CMU, won the "20 Under 20" Thiel Fellowship, and have a Ph. D. in programming languages from MIT. My work has been featured in the New York Times.

As a cofounder of UpToSpeed, we are solving the problem that AI is making us 10x faster at writing code, and yet our ability to understand code remains as slow as ever

As the founder of Mirdin, I turn good software engineers into great ones by turning advanced research topics into actionable software engineering advice.

Personal: www.jameskoppel.com Startup: www.up-to-speed.ai / www.auditlabs.ai Training Business: www.mirdin.com Blog: www.pathsensitive.com

submissionscomments

An animated explainer of the PHP2SHell vulnerability [video]

youtube.com·1 pts·Darmani·
0

The Myth of the Solo Unicorn

stephenforte1.substack.com·5 pts·Darmani·
2

Show HN: Command Center, the AI coding env for people who care about quality

cc.dev·69 pts·Darmani·
32

AI Scientist: Is it really any good?

twitter.com·2 pts·Darmani·
0

Never again compare a startup to a vitamin

pathsensitive.com·1 pts·Darmani·
0

It's Time for the "Sell Painkillers, Not Vitamins" Metaphor to Die

pathsensitive.com·2 pts·Darmani·
0

Puzzles to convince you you don't understand dependence

pathsensitive.com·31 pts·Darmani·
13

Solving the Dog-Bunny Puzzle with Program Verification Technology

pathsensitive.com·25 pts·Darmani·
3

How to build a program that cannot do the wrong thing

geek.sg·3 pts·Darmani·
1

Demystifying Dependence, Part 2: The Three Dimensions of Dependence

pathsensitive.com·1 pts·Darmani·
0

Demystifying Dependence, Part 1: The Nine Dependency Puzzles

pathsensitive.com·2 pts·Darmani·
0

Show HN: Linguistic Antipatterns

linguistic-antipatterns.com·27 pts·Darmani·
4

Leaky Delegation: You are not a Commodity

lesswrong.com·1 pts·Darmani·
0

Show HN: Cubix: A Haskell Framework for “One Tool, Many Languages”

cubix-framework.com·2 pts·Darmani·
0

A natural language shell based on GPT-3

vimeo.com·44 pts·Darmani·
7

Defunctionalize the Continuation

pathsensitive.com·236 pts·Darmani·
31

Book Review: Practical TLA+

pathsensitive.com·2 pts·Darmani·
0

Future of Coding: On the Maintenance of Large Software:

futureofcoding.org·4 pts·Darmani·
0

The real difference of immutability

pathsensitive.com·1 pts·Darmani·
0

Martian Headsets (2008)

joelonsoftware.com·1 pts·Darmani·
0

Mutability's secret impact

pathsensitive.com·1 pts·Darmani·
0

WaitChatter: Learn a new language while you wait for IM replies

techcrunch.com·1 pts·Darmani·
0

Teenager Developing Algae-Based Device That Cuts Car Emissions by 90%

indiegogo.com·2 pts·Darmani·
0

See static analysis tools in your browser

rise4fun.com·3 pts·Darmani·
0

Running On Empty: The Failure to Teach K–12 Computer Science in the Digital Age

acm.org·2 pts·Darmani·
0

Physicists Build 10 Atom Transistor

discovermagazine.com·12 pts·Darmani·
0

Highly ironic comment from Steve Yegge (scroll down to "Lame Languages")

web.archive.org·16 pts·Darmani·
12

PG: Disconnecting Distraction

paulgraham.com·153 pts·Darmani·
198

Holographic storage technology promises to let us store 100 movies on one disk

discovermagazine.com·1 pts·Darmani·
0

Text Messaging Is More Expensive Than Downloading Data from Space.

physorg.com·1 pts·Darmani·
0
Page 1 of 2Next →