prmph

12 ms·

211.
by prmph 8mo ago
Interesting. Each time a Chinese model makes the news, I wonder: How come no major models are coming from Japan or Europe?
212.
by prmph 8mo ago
You are not making sense. > Just on HN alone, throughout 2023 - 2025 we were seing like one new TODO app show up on HN weekly! This response shows you missed my point entirely. I am saying a todo app does not a PKM make! I'm not int
213.
by prmph 8mo ago
Which clones? And why not the others? Which is my point: it seems easy to clone something that seems conceptually simple, but is the result of all kinds of UI, UX, performance, etc optimizations. The reason someone might choose Obsidian ove
214.
by prmph 8mo ago
So where are the AI clones of MS Office, JetBrains IDEs, Whatsapp, Obsidian, Sublime Text, Claude Code, etc. so far?
215.
by prmph 8mo ago
So where are the AI clones of MS Office, JetBrains IDEs, Whatsapp, Obsidian, Sublime Text, Claude Code, etc. so far?
216.
by prmph 8mo ago
So where are the AI clones of MS Office, JetBrains IDEs, Whatsapp, Obsidian, etc. so far?
217.
by prmph 8mo ago
That is your implied claim. If that is not it I'm not sure what your arguments is. You mentioned that Go does not have certain advanced features and thus does not lend itself to tying oneself up in complexities. I'm asking you whe
218.
Sacked Twitter staff in Ghana get pay-off (2024)(bbc.com)
3 points by prmph 8mo ago|1 comments
219.
by prmph 8mo ago
> "It's difficult when it's the world's richest man owing you money and closure," one said.
220.
'Scandalous and unacceptable': readers on new UK entry rules for dual nationals(theguardian.com)
5 points by prmph 8mo ago|1 comments
221.
Russian woman carried Ukraine team placard at Winter Olympics opening ceremony(theguardian.com)
5 points by prmph 8mo ago|1 comments
222.
China's dancing robots: how worried should we be?(theguardian.com)
3 points by prmph 8mo ago|0 comments
223.
by prmph 8mo ago
> There's no reason for something like that in Go for example, because it's less expensive [sic] [1] and the signatures are trivial. Whoah, Are you saying, for example, that generics are not useful? That's quite the claim.
224.
by prmph 8mo ago
Yeah, the "novel" bit is about integrating all those aspects into one language. And trust me, such a language that captures enough mindshare is absolutely needed. People thought Rust was going to be it, but it got taken over by th
225.
by prmph 8mo ago
I do not have conflicting requirements. Expressive type system ARE direct and simple. Expressive power is the ratio how strongly/clearly you can encode invariants to how complex and ceremonious the syntax of it needs to be. See how JS,
226.
by prmph 8mo ago
Laughable indeed. One thing that my use of the latest and greatest models (Opus, etc) have made clear: No matter how advanced the model, it is not beyond making very silly mistakes regularly. Opus was even working worse with tool calls than
227.
by prmph 8mo ago
I want a language with: - the memory, thread safety, and build system of Rust - the elegant syntax of OCaml and Haskell - the expressive type system of Haskell and TypeScript - the directness and simplicity of JavaScript Think coding agents
228.
by prmph 8mo ago
Yep, the law of the excluded middle is one place to start attacking your argument, I assume you know not all philosophers accept it. Then, you are also right that semantics intertwine with logic in a way that needs careful interrogation an
229.
by prmph 8mo ago
> Now describe something that is non-random and not-caused. I argue there is no such thing, i.e. caused and random are exhaustive just as zero and non-zero are, there is nothing left that could be both non-(zero) and non-(non-zero). That
230.
by prmph 8mo ago
Nope, OpenCode is nowhere near Claude Code. It's amazing how much other agentic tools suck in comparison to Claude Code. I'd love to have a proper alternative. But they all suck. I keep trying them every few months and keep runn
231.
by prmph 8mo ago
> But neither being deterministic nor being random qualifies as free will for me Not sure what you mean here, but non-random + non-caused is the very definition of free will. It is closely bound up with the problem of consciousness, beca
232.
by prmph 8mo ago
What the heck, how is "undiscovered laws" different from "structure and rules"?
233.
by prmph 8mo ago
Just think of it as a function that returns an array or a set: it still one value in a sense
234.
by prmph 8mo ago
But if you rewrite it as "two coupled equations", you are still using complex numbers, just in another guise. Complex numbers are just two dimensional numbers, lol
235.
by prmph 8mo ago
The constants don't have to be the same everywhere. It is sufficient that everywhere in the universe follows some structure and rules, that's all. Otherwise we have a random universe, which does not seem to be the case.
236.
by prmph 8mo ago
I used to feel the same way. I now consider complex numbers just as real as any other number. The key to seeing the light is not to try convincing yourself that complex number are "real", but to truly understand how ALL numbers
237.
Plagued by Flooding, an African City Reengineers Its Wetlands(e360.yale.edu)
2 points by prmph 8mo ago|0 comments
238.
by prmph 8mo ago
https://en.wikipedia.org/wiki/Criminal_stereotype_of_African...
239.
by prmph 8mo ago
Sad story. It is partly also due to all the guns and the shooting-obsessed culture, folks. The way people are quick to use guns is not normal. I was shocked by the recent ICE shootings. And the fact the woman was of an ethnicity most associ
240.
by prmph 8mo ago
What are you talking about? Have you heard about the Epstein files? Was that a failure of multiculturalism? Not only that, some people from western cultures are also preying on poor women in 3rd world countries with sex tourism. Western cul

More ›