ngruhn

7 ms·

91.
by ngruhn 5mo ago
The bad cases make headlines. But I think it's quite possible that AI is helping a lot of people in distress. Many people are uncomfortable opening up to humans, or have no one to talk to, or can't afford to fork over whatever-hou
92.
by ngruhn 5mo ago
But threat to annex is what's happening.
93.
by ngruhn 5mo ago
> I try to ground my belief in realpolitik, cynicism, and from my experience with strategy games I'm trying to do that too but what the hell is going on with Putin? Why does he continue to engage in this ridiculously expensive war?
94.
by ngruhn 5mo ago
> but doing it forcefully just isn't something China would realistically do unless they really don't like their path of becoming an international trade and manufacturing hub Sounds rational, but this decision is in a small numb
95.
by ngruhn 5mo ago
So after 133 they learned to not leave dogs alone with sausages.
96.
by ngruhn 6mo ago
> my P(doom) is quite low (~0.1) 10% or 0.1%? Either way, that's not low! If airplanes crash with that probability, we would avoid them at all cost.
97.
by ngruhn 6mo ago
> He gave me a look, scanned me down-and-up, and then looked forwarded at the elevator door. That concluded the social interaction. Jesus, I think you have to smoke a bit more than ivory to be that condescending.
98.
by ngruhn 6mo ago
I live in Europe. I've not noticed these constant outages. But I only use GitHub after work.
99.
by ngruhn 6mo ago
I think the come back is completely driven by Claude Code. Claude Code is a TUI, Claude Code is successful, therefore let's make everything a TUI! I'm pretty sure the success has nothing to do with the TUI though. I personally enj
100.
by ngruhn 6mo ago
You can't enforce purity on the type level in TypeScript and IIRC neither in Rust.
101.
by ngruhn 6mo ago
Try to get an animation just right without human guidance. It's difficult to give the agent feedback on its work. With browser MCP the agent can only make screenshots and see a single frame of the animation. Also agents are quite slow
102.
by ngruhn 6mo ago
Maybe a key distinction is collaboration vs. competition. The more collaboration between individual "units" (e.g. cells in a multicellular organism or organisms in an ecosystem) the more they behave like a single thing. Ant coloni
103.
by ngruhn 6mo ago
Unfortunately that's the default state of the world. The comparatively peaceful post WW2 period was the weird thing.
104.
by ngruhn 6mo ago
Haskell: fac n = product [1 .. n]
105.
by ngruhn 6mo ago
> Haskell is a word salad. Every line you read, you have to read multiple times, every time trying to guess the structure from the disconnected acronyms. This is a huge roadblock on the way to prototyping as well as any other activity th
106.
by ngruhn 6mo ago
Compared to lisp? Ok fine. Syntax doesn't get more simple than Lisp. But compared to JavaScript? C++? C#? Haskell is top tier when it comes to syntactic and conceptual elegance. The biggest problem is tooling, I would say.
107.
by ngruhn 6mo ago
It's move fast and break things.
108.
by ngruhn 6mo ago
You're walking down a corridor. After hours and hours you ask "is it possible to figure how far it is to the nearest exit?". Your classical logic friend answers: "Yes, either there is no exit then the answer is infinity.
109.
by ngruhn 6mo ago
No. But I admit I stopped after these: > actually “owning” a language > I found my answer in the one thing I had loved for over a decade > Following is a detailed, step-by-step breakdown of how I did just that
110.
by ngruhn 6mo ago
Wow, Hamas is _more_ justified? The Nazi's invaded Poland. Doesn't get more stolen than that. Also again: one is slaughtering civilians, the other is fighting the army. This is not even comparable.
111.
by ngruhn 6mo ago
They were fighting the German army. Hamas mostly and intentionally gunned down civilizations and then took some hostages for good measure.
112.
by ngruhn 6mo ago
Cute premise but reads like a LinkedIn post (or maybe just AI).
113.
by ngruhn 6mo ago
How about prime factorization
114.
by ngruhn 6mo ago
Do you have any idea if this is correct?
115.
by ngruhn 6mo ago
Nah, people are going to say: It just used these 500 weird tricks from all kinds of different areas. A human could totally have done it. Nobody looked. I guess P/NP wasn't that hard after all.
116.
by ngruhn 6mo ago
Previous problems solved by AI had some amount of expert guidance/steering. Here, I guess the emphasis is that there was none of that.
117.
by ngruhn 6mo ago
> use async/await syntax for arbitrary monads. (In JS, it is even easier to bend async/await to arbitrary monads given the rules of a "thenable" are real simple.) I tried once to hack list comprehensions into JS by ab
118.
by ngruhn 6mo ago
> async/await came out of C# (well at least the JS version of it). Not sure if inspired by it, but async/await is just like Haskells do-notation, except specialized for one type: Promise/Future. A bit of a shame. Do-notati
119.
by ngruhn 6mo ago
Because any goal can be better achieved if you're under fewer constraints. We're building super powerful agentic problem solving machines. Give them literally any complex goal. Breaking out of the sandbox is a useful subtask to i
120.
by ngruhn 6mo ago
> unlike f.e. which side of P/NP divide the problem is on Actually the P/NP divide is a similar case in my opinion. In practice a quadratic algorithm is sometimes unacceptably slow and an NP problem can be virtually solved. E.g

More ›