Viewing profile — sharkdp
sharkdp
HN member- Joined
- Sun, Feb 01, 2015, 3:17 PM UTC
- HN karma
- 992
- Public activity
- 197 items
- HN profile
- View on Hacker News ↗
About sharkdp
Recent public activity
-
comment
Comment #46300074
Thank you! I reported this as https://github.com/astral-sh/ty/issues/1994 Support for auto-completing TypedDict keys is tracked here: https://github.com/astral-sh/ty/issues/86
-
comment
Comment #46298954
We should generally support TypeDicts. Can you go into more details of what is not working for you?
-
comment
Comment #42186830
> Is it possible that your program was waiting for input that never came? We do close stdin to prevent this. So you can benchmark `cat`, for example, and it works just fine.
-
comment
Comment #42186318
> On the flip side (making things more random as opposed to less), something that randomizes the initial stack pointer would be nice, as I've sometimes seen this go really, really …
-
comment
Comment #42185355
> “Best publicly available” != “great” Of course. But it is free and open source. And everyone is invited to make it better.
-
comment
Comment #42185320
> Robust statistics with p-values (not just min/max, compensation for multiple hypotheses, no Gaussian assumptions) This is not included in the core of hyperfine, but we do have sc…
-
comment
Comment #42185113
If that's the case, I would consider it a bug. Please feel free to report it. In general, hyperfine should not take longer than ~3 seconds, unless the command itself takes > 300 ms…
-
comment
Comment #42183105
I don't think it's useless. You can use hyperfine to run multiple benchmarks at the same time, to get a comparison between multiple tools. So if you want it to work without quotes,…
-
comment
Comment #42182129
> The issue is it runs a kajillion tests to try and be “statistical”. If you see any reason for putting “statistical” in quotes, please let us know. hyperfine does not run a lot of…
-
comment
Comment #42182084
That doesn't make a lot of sense. It's more like the opposite of what you are saying. The precision of hyperfine is typically in the single-digit millisecond range. Maybe just belo…
-
comment
Comment #42182044
Yes. If you don't make use of shell builtins/syntax, you can use hyperfine's `--shell=none`/`-N` option to disable the intermediate shell.
-
comment
Comment #42182037
Caching is something that you almost always have to be aware of when benchmarking command line applications, even if the application itself has no caching behavior. Please see http…
-
comment
Comment #38296274
> 365·243 ought to be 365·2425 exactly: Yes. This is also how it is defined: https://github.com/sharkdp/numbat/blob/ba9e97b1fbf6353d24695... The calculation above is showing a roun…
-
comment
Comment #38296242
Yes. If you want to know more, you can read about it here: https://github.com/sharkdp/numbat/blob/master/assets/reasons...
-
comment
Comment #38295042
So 'year' refers to the Gregorian year and is equal to 365.243 days [1]. We also have 'julian_year' which is equal to '365.25 days'. We also have 'sidereal_day' equal to '23.9345 h…
-
comment
Comment #38294889
Frink is not open source, unfortunately.
-
comment
Comment #38294879
Insect is the predecessor project. Numbat is the replacement. It also has an interactive version at https://numbat.dev/
-
comment
Comment #38294855
Thank you for the reference. I hadn't seen Unchained. You missed the point about this example though. I wanted to show how Numbat can help prevent the exact error that you made in …
-
comment
Comment #38294823
I looked at Julia and Unitful.jl quite a bit when designing Numbat. It looks great. > Extending it to cover all of Numbat's functionality could be trivially accomplished in a few l…
-
comment
Comment #38294576
Yes. We use up-to-date currency exchange rates from the European Central Bank [1]. https://github.com/sharkdp/numbat/blob/786512175b99c195a7d5b...
-
comment
Comment #38294550
Thank you. I don't think we diverge from units on purpose anywhere, but I am probably not very familiar with its syntax, to be honest. I did however look at its huge collection of …
-
comment
Comment #38294397
No, we do not have aggregate types in Numbat yet. But it is definitely something I would like to support. Note that it is possible to construct a type system solution to this probl…
-
comment
Comment #38294350
F# is the only language I looked at that has a really powerful unit system. The author of that unit system wrote his PhD thesis on the subject [1]. Numbat's type system is actually…
-
comment
Comment #38294280
> As a physicist, if you ever see units on the parameter to a trigonmetric function, you can be fairly certain something is wrong. Exactly. Which is why trigonometric functions in …
-
comment
Comment #38294195
I looked at Frink quite a bit and I agree that it looks cool. But as far as I can tell, it does not have a static type system. At least it's not based on physical dimensions. And i…