HNHacker News
TopNewBestAskShowJobs

taybin

980 karma · joined September 24, 2010

submissionscomments
taybin··on SAML: A fractal of bad design
Didn’t JWT have a similar thing, where you could specify the algorithm to use and that included “null”?
taybin··on The new CC, an AI agent built for families
It’s not like it’s a lot of work to fill out permission slips. Probably easier than scanning the document. Receiving permission slips is the only way I’m informed about school trips anyways. I’m not sure this is a valid use case. Maybe for people who want even less participation with their families.
taybin··on Forgotten Woodlands
I have not heard of the Scots Wikipedia fiasco.
taybin··on Pion, an agent designed to run any company autonomously
How’s that going to work when everyone turns one on and they’re all driving the profit margin to almost zero?
taybin··on Apple's Siri AI Can Be Swapped Out for Claude, ChatGPT, Code Shows
It’d be short sighted to not have a wrapper around which AI to use, even without implementation for them. Like, having an abstract parent class with a Siri implementation of it would be baseline good software engineering.
taybin··on DHS 'Predictive Policing' Unit Is Analyzing Americans' Financial Habits
I think finding better systems with fewer false negatives and fewer false positives is very difficult and might even be impossible for many things. It might be my lack of imagination, but I often think about the measures taken to prevent child abuse. As I see it, you’re either going to get kids left in abusive situations or you’re going to have kids unjustly removed. Both are terrible. I’m not going to argue where the action bias should be. We live in an imperfect world.

I think preventing other crimes is similar. There will always be injustice on some side of the issue. And I’m not trying to argue that that means the status quo is great! But I don’t think we will eventually hone in a perfect system. Maybe just circle around some imaginary point, refining rules and processes until the whole thing breaks down.

taybin··on Hire Every Engineer Like You'd Hire a VP
Sounds great, but I'm not sure this will work well for individual contributors. Say the company is small, with a small team. Can you afford the amount of time it will take to find this bespoke unicorn engineer? Say the company is large, with a large team. Is this process going to scale to bring in, say, 50 new engineers?

Maybe it works better with management tiers where their impact is more indirect, and there are fewer of them, which mitigates the problems.

If I have a team in pain and we need more people on it, or different people, I don't know if I can wait six months for the one person I want to hire to become available and willing. Sometimes, you gotta go with who is available.

taybin··on DHS 'Predictive Policing' Unit Is Analyzing Americans' Financial Habits
It does sound like you should have been investigated though. Like, this sounds like the (or a) system working. What would the alternatives be? Don't investigate for money laundering? Or have so much info that they can eliminate you as interesting without even having a visit?
taybin··on Terpstra Keyboard
Agreed, but it’s helpful for communicating to other musicians.
taybin··on Terpstra Keyboard
Now piano players will be able to join guitar players as not needing to read music or know theory!
taybin··on Pentagon rescinds new testosterone screening policy without explanation
I’m surprised that reading The Game hasn’t been added to the annual trainings for soldiers and DoD civilians.
taybin··on Project Xanadu: Even More Hindsight (2025)
Gaze upon my blogs, and despair.
taybin··on Project Xanadu: Even More Hindsight (2025)
I remember those. Trackbacks, right? Back when we were using MovableType?
taybin··on Mamdani bans AI in NYC schools
Good. Kids need to learn how to think before letting other stuff do it for them.
taybin··on Go 1.27
Calling it a lie is pretty heavy.
taybin··on Principia Mathematica is modern and insightful
You should see his book "Fluid Concepts and Creative Analogies, which is entirely about his experiments with AI in The Fluid Analogies Research Group with his grad students. Although I wonder if those techniques could be paired with LLMs somehow.
taybin··on Principia Mathematica is modern and insightful
When I was a pretentious high schooler with fantasies of being an intellectual, I considered going there. I ended up not even applying. It just seemed too far out of the norm.
taybin··on Principia Mathematica is modern and insightful
How is it dated?
taybin··on Principia Mathematica is modern and insightful
He wrote a number of follow-up books. I love GEB, but the follow ups were often disappointing in surprising ways.

He has another book about the beauty and challenges of translating poetry, but it’s actually about the sudden death of his wife and it's been too sad for me to finish.

taybin··on Anthropic in Talks to Buy World Model AI Startup Decart for $6B
Before they buy Dehorse?
taybin··on "Clean" Code, Horrible Performance (2023)
Yes, a toy problem only needs a simple implementation. This is a straw man. And I don't even like Robert Martin's Clean Code, but the author is not addressing where this style actually provides benefits. When you're updating 23 if-statements because you had to add support for some new business workflow, you'll wish you had a conceptual entity that encapsulated the operations on the type of workflows so you just had to implement them in one place.
taybin··on There Will Come Soft Rains (1950) [pdf]
I love Ray Bradbury. My favorite short story author.
taybin··on Why don't people use formal methods? (2019)
To-does. Just like how a butler buttles.
taybin··on Why don't people use formal methods? (2019)
I would love to see an example of a proof for something like a text editor. How can people be expected to do this when the examples are always trivial toys, like array sorting? Show me a formal proof of something that in the trenches programmers can copy from. A proof of a basic todo list or something like that.
taybin··on Why a $154B CEO just endorsed stripping most Americans of voting rights
Yes, that is also gross.
taybin··on Why a $154B CEO just endorsed stripping most Americans of voting rights
Maybe he's suggesting it for Canada?
taybin··on Why a $154B CEO just endorsed stripping most Americans of voting rights
The thing about this that's so distasteful is that it removes the basis of enfranchisement from being the inherent worth of a human life and moves it more to "what have you done for me lately". It's pretty gross.
taybin··on Claude Opus 5
How long is a fable though?
taybin··on Cruller: Bun's Zig Runtime, Continued on Zig 0.16
There are several possible reasons for that, but I'll just say it's a very common use case. It's actually the one of the original use cases for SCSs. How else could you revert to a prior commit?
taybin··on Superfile: A fancy, modern terminal file manager
What does it mean to “obsessively craft every pixel?”
Page 1 of 11Next →