UltraSane

4 ms·

1.
by UltraSane 5d ago
That is stupid.
2.
by UltraSane 5d ago
AWS has many MCP servers that work extremely well.
3.
by UltraSane 6d ago
You use the word "a" for interchangeable, fungible items and "the" for specific, unique, non-fungible items.
4.
by UltraSane 7d ago
Learning Lean 4 and trying to prove something using it is extremely mentally stimulating.
5.
by UltraSane 7d ago
Drowning in AI output will make people value in person communication far more.
6.
by UltraSane 8d ago
LLMs have gotten good at creating Lean proofs so the are much more common but not universal. And they depend on https://github.com/leanprover-community/mathlib4
7.
by UltraSane 8d ago
That is how almost all standard FIDO2 tokens work. You just have to press the capacitive sensor when prompted. You can get fancier biometric tokens that require a fingerprint.
8.
by UltraSane 8d ago
"A third party OAuth provider puts you at the mercy of the service provider" This is they key issue with trusting a third party to manage my passkeys, they can also BLOCK them and lock me out. An exception is if the passkeys are s
9.
by UltraSane 8d ago
Apple does seem to have one of the best and most secure passkey implementations.
10.
by UltraSane 8d ago
The biggest issue with passkeys is that since most USB tokens that support them don't allow syncing the private key to a backup device you have to enroll ALL of them to every site that supports passkeys. This is annoying but it makes s
11.
by UltraSane 8d ago
Doesn't the passkey have to be on her phone or computer?
12.
by UltraSane 8d ago
One of the strangest implications of the idea that a computer simulation of a human brain would be conscious is that you can also just have humans do the same math manually trillions of times slower and it would still be conscious.
13.
by UltraSane 8d ago
"The Net interprets censorship as damage and routes around it."
14.
by UltraSane 8d ago
This feels like trying to reinvent Fibre Channel's flow control mechanism.
15.
by UltraSane 9d ago
I have never paid for self-storage and have never understood why they are so popular. I've known people paying for a self-storage unit to store furniture they are also still making payments on.
16.
by UltraSane 9d ago
I have written my own honeypots to reduce the false positive rate. I simply have things like a VM with RDP and SSH open to the internet and any IP that tries to login gets banned at the firewall for x days. It works really well.
17.
by UltraSane 9d ago
It seems almost like a smart switch statement.
18.
by UltraSane 9d ago
It is hard to feel sorry for anyone who built their house on a sandy beach right next to the ocean. The consequences are rather predictable.
19.
by UltraSane 9d ago
This is actually making mice more like people.
20.
by UltraSane 10d ago
Every roundabout I've seen installed has been a huge improvement over what it replaced.
21.
by UltraSane 10d ago
This is completely wrong. Well designed roundabouts work very well.
22.
by UltraSane 10d ago
Roundabouts are much more common in the US than they were 10 years ago.
23.
by UltraSane 10d ago
They replaced a intersection near me that would get backed up very badly during rush hour with a roundabout that has a much higher capacity and never seems to get backed up.
24.
by UltraSane 10d ago
I have my Galaxy watch linked to myfitnesspal so that calories from workouts get added to my total calorie budget for the day. It is pretty convenient.
25.
by UltraSane 11d ago
Real computer security IS possible but takes a lot of effort by very skilled and dedicated people. You don't hear about bank mainframes getting hacked often.
26.
by UltraSane 11d ago
Why not put it in S3 with downloader pays?
27.
by UltraSane 11d ago
All the smart PDUs for the racks are a natural kill switch.
28.
by UltraSane 11d ago
This guy is creating what looks to me to be a very impressive 3D version of Noita using a custom microvoxel engine https://www.youtube.com/watch?v=Y8HRCXxI0BY
29.
by UltraSane 11d ago
I consider Picard Season 2 the worst season of TV ever made.
30.
by UltraSane 12d ago
The neural band could become a standard interface for situations where keyboards and mice are not practical.

More ›