Hacker Newsnew | past | comments | ask | show | jobs | submit | awinter-py's commentslogin

It's not everyone, but thoughtful managers do think beyond themselves.

They know they will outlast some of their reports, so they're incentivized to build memory and maintainability at the levels below them.

And good managers get promoted, i.e. leave the team but stay in the company, so there's a reputational incentive to leave things in a good place for whoever comes after you. (Though this is only true at good orgs -- at bad orgs, the next person will get fully blamed for a bad handoff).

The best leaders have values that transcend their bank account, and understand their legacy depends on being able to transition effectively.

Your career and relationships transcend any single gig, and there is a dignity that people recognize in departing well, and even in making the best of a bad job. Campground rule, leave things better than you found them.


See previous kleppmann post https://martin.kleppmann.com/2025/12/08/ai-formal-verificati..., and yes, obviously anything that you can put in the typesystem or the linter, you should weigh doing so.

Hopefully we get more ergonomic ways to do this? Like of the tools listed in the post, dafny + iris are the closest to being industrial I think. And amzn S3 has a history of TLA use in-house I think. But we probably haven't seen the typescript in this space yet, a zero cost abstraction that drops into existing tools, and people genuinely prefer it to the old way.

(And custom linters are also still pretty bad to write. Like golangci-lint is a painful codebase, haven't tried semgrep but the rules engine seemed intimidating. I've yet to use an AST API that I liked)


^ this

been exploring clickhouse and while it is definitely not a general purpose DB, for time-series shaped data that can survive some insert latency, the automatic partition-based TTL is very nice and, at least so far, requires zero attention to maintain

which I guess is solved by `pg_partman` at the bottom of the post


yeah 'anthropic employee to appear on panel'


sign of the times


this is no surprise to anyone who has read dougal dixon's 'man after man'


yeah -- have been playing with this as well, ai's spatial reasoning is not quite there yet but with precise construction instructions it can often do the job

for shapes that are hard to print with a traditional slicer, LLMs are also surprisingly good at generating gcode with fullcontrolxyz if you're specific


is this a straight-up advantage, or is the trade-off lower connectivity?


it's like that '11 rules for showrunning' doc where you need to operate at a level where you understand the product being made, and the people making it, and their capabilities, in order to make things come out well without touching them directly.

(https://okbjgm.weebly.com/uploads/3/1/5/0/31506003/11_laws_o...)

if you can do every job + parallelize + read fast, and you are only limited by the time it takes to type, claude is remarkable. I'm not superhuman in those ways but in the small domains where I am it has helped a lot; in other domains it has ramped me to 'working prototype' 10x faster than I could have alone, but the quality of output seems questionable and I'm not smart enough to improve it


another question here is tools that want to write their secrets to files

(looking at you `gcloud`)

best practice I've heard is to create a user fs mount that prompts every time it's accessed?


miss the bold 9000 so much

it sounds like there is a slow and steady open source community around either replacement q20 keyboards, or a reverse-engineered one? https://hackaday.com/2025/06/04/the-blackberry-keyboard-how-...

and the beepy, which runs linux and for some reason has the keyboard blurred out on its homepage https://beepy.sqfmi.com/


> and for some reason

Trademark stuff, as far as I remember.

> For instance, the Beepberry project became Beepy – because of Blackberry, legally speaking, raising an eyebrow at the naming decision; it’s the kind of legal situation we’ve seen happen with projects like Notkia. If you ever get such a letter, please don’t hold any hard feelings towards the company – after all, trademarks can legally be lost if the company doesn’t take action to defend them. From what I gather, BlackBerry’s demands were low, as it goes with such claims – the project was renamed to Beepy going forward, and that’s about it.

I think to poke fun at it, they blur out the keeb haha


A Q20 project has actually launched. The Zinwa Q25 uses the Q20 hardware with a new mainboard and battery. I have one, this comment was written with one, and I can say for damn sure: They're real, and they're fantastic.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: