HNHacker News
TopNewBestAskShowJobs

heinrichhartman

2,496 karma · joined September 28, 2015

Blog: HeinrichHartmann.com Keybase: https://keybase.io/hartmann Twitter: @HeinrichHartman http://twitter.com/Heinrichhartman GitHub: https://github.com/HeinrichHartmann/
submissionscomments
heinrichhartman··on Monarch: Google’s Planet-Scale In-Memory Time Series Database
Yes. But also MUCH cheaper. You loose (1) ordering (2) ~5% of precision of the individual measurements.

In practice, this still allows for highly precise percentile calculations (<0.1% error), see the evaluation in the Circllhist paper.

heinrichhartman··on Monarch: Google’s Planet-Scale In-Memory Time Series Database
There are a large amount of subtle tradeoffs around the bucketing scheme (log, vs. log-linear, base) and memory layout (sparse, dense, chunked) the amount of configurability in the histogram space (circllhist, DDSketch, HDRHistogram, ...). A good overview is this discussion here:

https://github.com/open-telemetry/opentelemetry-specificatio...

As for the circllhist: There are no knobs to turn. It uses base 10 and two decimal digits of precision. In the last 8 years I have not seen a single use-case in the operational domain where this was not appropriate.

heinrichhartman··on Monarch: Google’s Planet-Scale In-Memory Time Series Database
Circonus Histograms solve that by using a universal bucketing scheme. Details are explained in this paper: https://arxiv.org/abs/2001.06561

Disclaimer: I am a co-author.

heinrichhartman··on Understanding the bin, sbin, usr/bin, usr/sbin split (2010)
Now that we understand this can we please put all system tools into /bin?

Disk space for binaries has not been a problem for decades now.

heinrichhartman··on Where are the articles asking why men don't want to have children?
> Discussing the problems of men, as a group, is intentionally suppressed by women

Don't make this into a "men" vs "women" problem. There are plenty of women who are on the right advocating for traditional family models, there are plenty of men on the front-lines of "woke" feminism.

This is a clash of ideology, not between genders. #AssociationFallacy

heinrichhartman··on Google’s AI-powered ‘inclusive warnings’ feature is very broken
Question for those in the Beta trial:

Can you disable this feature globally for your account, or do you need to disable this in every document explicitly?

heinrichhartman··on Rewriting Sysctl(8) in Rust: Systeroid
With every dependency, you are allowing a 3rd party to inject code into your project. This can end badly e.g. #leftpad - https://www.davidhaney.io/npm-left-pad-have-we-forgotten-how...
heinrichhartman··on How to write more clearly, think more clearly, and learn complex material [pdf]
Forgive me for bringing up my own material here, but I wrote a piece that is highly relevant in this context only two days ago:

Writing for Engineers - https://www.heinrichhartmann.com/posts/writing/

This text is particularly geared towards Software Engineers and focuses more on the psychology of getting started with writing. Lot's of overlap with the content in this post (which has much more depth on the "how to write well" part).

heinrichhartman··on Elon Musk makes $43B unsolicited bid to take Twitter private
Thats a strawman. I hate right wing bigots as mich as you do, but I don't think Musk belongs to that crowd. Here is what he actually said: (a) censorship decisions should be made by courts not private companies (b) moderation should be transparent (c) priorisation algorithms should be open source.

I think this is a sane and principled stand that is very different from: "I want to enable bigots."

heinrichhartman··on Bore: A simple CLI tool for making tunnels to localhost
This is a very slick tool that allows you to forward ports from your local machine to a public server at `bore.pub`.

I hope this service will continue to be available, however it looks to me as if this service is very easily abused (e.g. by spreading illegal content). But even if it just gets popular there are bandwidth costs which may run high quickly, if you have a few 100 heavy users.

If the author is here:

- How much of a concern is this for you?

- Do you have plans to offset the bandwidth fees?

- The backend is a single host, right? When would you need to scale this?

heinrichhartman··on Postgres wire compatible SQLite proxy
Indeed. First commit is two days old: https://github.com/benbjohnson/postlite/commit/35974771877cd...
heinrichhartman··on Grafana Mimir – Horizontally scalable long-term storage for Prometheus
Grafana Cloud
heinrichhartman··on libmill - Go-style concurrency in C
Here is the full list:

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

heinrichhartman··on Show HN: Supernotes 2 – a fast, Markdown notes app for journalling and sharing
The documentation states, that you can export "all the cards in the current Noteboard as a ZIP of markdown files" [1]

So it looks like exporting is limited to a single "Noteboard".

Without bulk export (better sync) features of all documents, this service is a complete non-started for me.

[1] https://docs.supernotes.app/en/articles/3068672-exporting-pr...

heinrichhartman··on Metabook
The polish is so nice, that I could not tell if this is parody or not. Well Done!
heinrichhartman··on Giant, free index to world's research papers released online
How about learning a language model on ~~the SciHub texts~~ some large private repository of articles, that can auto-complete a paper from the title ...
heinrichhartman··on Python stands to lose its GIL, and gain a lot of speed
No shared memory. To communicate between processes you usually use sockets, to communicate between threads you mutate variables. This is a huge performance difference.
heinrichhartman··on NixOS and the Art of OS Configuration (2018)
#MeToo. I am using two OSX machines and two remote Linux machines for my day-2-day private/work related stuff.

Nix+home-manager allows me to have all productivity tools consistently available across all platforms with minimal effort [1].

Dotfiles/shell config lives in a separate folder [2] and is not managed in nix.

Tangent: Secrets are are encrypted with git-crypt (https://github.com/AGWA/git-crypt) and live in the same repo [3]. I generate GPG keys for every new host I am working on and check in the public keys to the repo as well, then "approve" them from an authorized host using `git-crypt add-gpg-user ... && git push` [4]. This gives strong encryption without managing passwords by hand. [Copy of private key is kept in bitwarden as backup].

Getting the hang of Nix took me a while. I wrote-up my journey to get the latest-gratest emacs installed here [5]. But now I am over the bump, and it's adding value to my workfows. E.g. I switched some projects from docker to nix-shell for lightweight virtual-envs, e.g. [6].

[1] https://github.com/HeinrichHartmann/dotfiles/blob/master/nix...

[2] https://github.com/HeinrichHartmann/dotfiles/tree/master/.sh...

[3] https://github.com/HeinrichHartmann/dotfiles/tree/master/sec...

[4] https://github.com/HeinrichHartmann/dotfiles/tree/master/pub...

[5] https://www.heinrichhartmann.com/posts/2021-08-08-nix-emacs/

[6] https://github.com/HeinrichHartmann/HeinrichHartmann.github....

heinrichhartman··on Nomad vs. Kubernetes
> How do you deploy a thing to run on k8s?

    kubectrl apply -f deploy.yaml
should work, no? What forces you to use the sugar-coating?
heinrichhartman··on Syncthing – a continuous file synchronization program
off-site backup?
heinrichhartman··on The Frame.work Marketplace Opened
Are there plans for a 15" Laptop soon? Can't wait to place an order.
heinrichhartman··on US Published National Debt: $28T. The Truth: $146T. Each Taxpayer's Share: $951k
Who are those creditors? Who set's that interest rate?

It's largely the FED, right? What prevents the FED from keeping the interests low, if the US-Gov does not want to pay?

heinrichhartman··on US Published National Debt: $28T. The Truth: $146T. Each Taxpayer's Share: $951k
Ad 2) There were no alternatives to local carpenters 100 years back. If you wanted a wardrobe, you would get one built for you.

You can still do that today, and get a wardrobe for 8K, that lasts 40years. But now we do have "cheaper alternatives". His point exactly.

heinrichhartman··on Cloud Infrastructure as SQL
WOOT! That's awesome.
heinrichhartman··on Cloud Infrastructure as SQL
Neat. Does that use steampipe services/API under the hood, or does it consume the AWS/GigHub APIs/... directly?
heinrichhartman··on Eleven proofs of the Gaussian integral [pdf]
I think this is entirely plausible. Grothendieck did not walk the established paths, but invented lot's of new concepts as he was working on problems. IIRC he was largely an auto-didact in his early years. In his work he never tried to reconcile the existing theory, and somehow improve it. He started form a blank slate (see EGA/SGA/FGA series of books) and build-up the proper concepts (Schemes,K-theory,Categories) that would allow the problem to unfold in the most natural setting and slowly resolve itself: https://ncatlab.org/nlab/show/The+Rising+Sea

Sometimes ignorance is a blessing. It frees you from keeping all the historic clutter in your memory, and see an un-distorted picture.

heinrichhartman··on The Future Is Big Graphs: A Community View on Graph Processing Systems
Neo4J is a native database build on the JVM. It does not use any underlying relational DBs. IIRC, Graph links are implemented as direct references to other node objects (if they are in memory), which make traversal way faster than what you would get with relational DBs.
heinrichhartman··on Ask HN: What’s the server architecture of Hacker News?
Tangent:

An (early?!) version of HN source code is available on GitHub [1]. It comes with a custom LISP dialect, ARC, that is itself running under MzScheme.

This architecture looks pretty arcane. Has anyone an idea what lead Paul, et. al. to write a custom LISP dialect for building a web forum? Is that a common thing for schemer's to do to get things done? Or does the ARC language predate the HN implementation? I am not sure.

[1] https://github.com/wting/hackernews

heinrichhartman··on Miller CLI – Like Awk, sed, cut, join, and sort for CSV, TSV and JSON
> Shouldn't it be trivial to see that the input is csv?

There is no reliable way to infer csv files: CSV files do not have a magic number. There are all kinds of separators used and quoting rules differ widely.

It's super annoying if a tool works on a 1K line CSV file, but breaks down if I have a 3 line file because it can't infer the type.

I much prefer my tools not to be "90%-smart", but predictable.

heinrichhartman··on First detection of light from behind a black hole
> not from beyond the event horizon

Clearly -- As this would have been impossible by the definition of Event Horizon [1] : )

[1] https://en.wikipedia.org/wiki/Event_horizon#Event_horizon_of...

← PreviousPage 3 of 15Next →