hk__2

43 ms·

271.
by hk__2 1y ago
I think you’re confusing France with Italy. France has had Simone de Beauvoir and still has a very strong feminist culture, had Mai 1968, has same-sex marriage since 2014 and 10 years later it was the first country in the world that added t
272.
by hk__2 1y ago
There’s no law here, just someone trying to protect their website.
273.
Future Timeline(futuretimeline.net)
1 points by hk__2 1y ago|0 comments
274.
by hk__2 1y ago
Yes there is: "control of fire". No knots, but ropes around 50000 BCE.
275.
by hk__2 1y ago
Because when you know it’s blacklisted you might try with a different IP, whereas if you don’t you will just wait (forever).
276.
by hk__2 1y ago
What do you mean? A single data point cannot be exponential. What the blog post say is that the ability to solve tasks of all LLMs is exponential over time, and GPT-5 fits in that curve.
277.
by hk__2 1y ago
Mattermost truly mutes.
278.
by hk__2 1y ago
> The cynic in me says this ends up as yet another list of channels that I need to scan for anything interesting, and interact with to keep up an appearance of engagement. The post says it’s channels you mute and you are not expected to
279.
by hk__2 1y ago
Yes you can, but do you?
280.
by hk__2 1y ago
See sibling comment https://news.ycombinator.com/item?id=44437004
281.
by hk__2 1y ago
> That Google Trends curve does/will look a bit like Smart Contracts. What do you mean? The curve for "Small Contract" is mostly flat compared to MCP: https://trends.google.com/trends/explore?q=Smart%2
282.
by hk__2 1y ago
Sure, and then at some point you get conflicts because whatever thing you modified is not supported anymore and/or the syntax changed for some reason and/or other random issue, and then good luck. Forking works well only if upstre
283.
by hk__2 1y ago
> Sometimes, good writing is like an NP-complete problem, hard to create, but easy to verify. Doesn’t this match pretty much all human creation? It’s easier to judge a book that to write it, it’s easier to watch a rocket going up in the
284.
by hk__2 1y ago
This just confirms OP’s point that "you don't have any say in what the developer does", since the only way to get your modifications in if the developer disagrees is to maintain your own version of the code.
285.
by hk__2 1y ago
Or ^L, faster.
286.
by hk__2 1y ago
I used to have a lot of aliases, but in the end I pruned most of them because the more you rely on aliases the more time you lose each time you open a terminal on a server. 99% of my usage is `g` for Git, `l` for `ls -lh` and the `autocd` o
287.
by hk__2 1y ago
How they are made is irrelevant to the point.
288.
by hk__2 1y ago
Agreed. (of course I read the article, otherwise I couldn’t have got this feeling)
289.
by hk__2 1y ago
"In the age of endless books, we risk outsourcing our thinking. Instead of grappling with ideas ourselves, we just regurgitate what we read. Books should be fuel, not crutches—read less, think more." Or even: "In the age of c
290.
by hk__2 1y ago
I feel like the whole blog post could have been written 10-20 years ago if you replace "AI" with "Google".
291.
by hk__2 1y ago
For anyone like me who didn’t know what this "the leopards won't eat my face" refers to: https://en.wikipedia.org/wiki/Turkeys_voting_for_Christmas#:...
292.
by hk__2 1y ago
Yeah, no need to write anything down when you already have a detector built-in in your body called "nose+tongue" (well, at least for milk).
293.
by hk__2 1y ago
No it’s not. The typing system should use the most specific type available, and it’s your responsability to broaden it if needed. That’s how it works in all statically-typed languages.
294.
by hk__2 1y ago
The typing system should use the most specific valid type, and the code author can broaden it with explicit typing if needed. No good typing system should ever infer a variable as `Any`: "I don’t know the type of this" (`unknown`
295.
by hk__2 1y ago
In TypeScript arguments with a default value "inherit" the type of that value, unless you explicitely mark it otherwise. I believe this is how Pyright works as well.
296.
by hk__2 1y ago
I want a typing system with a good inference that doesn’t require me to type each and every variable, just like in any good statically-typed language like OCaml or Typescript. Strong typing and explicit typing are two very different things.
297.
by hk__2 1y ago
I’d be very happy if `def f(i=0)` would type i as a number-like, but right now it’s not typed at all : mypy "infers" its type as `Any`. I tried Pyright but as you say on an existing project you need a looot of time to "fix&q
298.
by hk__2 1y ago
> This is all fun and games unless you have to debug someone elses code and they use a new feature that you didnt know about. What’s wrong about learning things by looking at code from more experienced people?
299.
by hk__2 1y ago
It’s never a good idea. I use `__all__` to explicitely list my exports in libraries, so that when one write `from mylib import `, the IDE auto-completes only the public classes and functions.
300.
by hk__2 1y ago
Yes, but not in arguments: def f(i=0) -> None: j = i + 1 k = 1 reveal_type(i) reveal_type(j) reveal_type(k) Output: Revealed type is "Any" Revealed type is "Any&qu

More ›