Hacker News: nvartolomei

The experience of mathematical beauty and its neural correlates (2014)

nvartolomei — Sun, 16 Aug 2026 16:05:07 +0000

Article URL: https://pubmed.ncbi.nlm.nih.gov/24592230/

Comments URL: https://news.ycombinator.com/item?id=49321262

Points: 1

# Comments: 0

New comment by nvartolomei in "Ten years of ClickHouse in open source"

nvartolomei — Fri, 19 Jun 2026 12:23:21 +0000

How? Have you tried contributing a reasonable implementation with test coverage and it was rejected?

New comment by nvartolomei in "S3 Files"

nvartolomei — Tue, 07 Apr 2026 20:23:46 +0000

> changes are aggregated and committed back to S3 roughly every 60 seconds as a single PUT

Single PUT per file I assume?

New comment by nvartolomei in "Setting up phones is a nightmare"

nvartolomei — Sun, 01 Mar 2026 16:33:20 +0000

Upgraded to one of the latest iPhone recently. First time I clicked on “transfer data from old phone”. I’m used to reinstalling the operating system every couple of months from when I used Windows. It took maybe 15 minutes with close to 0 interactions. Everything was transferred. I was already authenticated in apps. What took manual steps was eSIM transfers.

I don’t remember exact steps so there could have been a bit more. But it was an impressive experience and I told my geek friends about it. They were surprised this is the first time I used this feature.

New comment by nvartolomei in "Profiling with Ctrl-C (2024)"

nvartolomei — Sat, 03 Jan 2026 19:49:04 +0000

Wrap gdb in a shell script and you’ve got yourself an actual profiler: https://poormansprofiler.org/

New comment by nvartolomei in "P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems"

nvartolomei — Wed, 17 Dec 2025 13:34:20 +0000

I love P and have used it for personal projects (like OSWALD^1) and at work (for some Redpanda components).

I find it very approachable. If you know some basic theory of distributed systems and have been exposed to actors and state machines before, you should be able to have some non trivial models in a few days at days.

Things get slightly more complicated when you begin to ask yourself whether or not you have validated enough of the state space to have confidence in the design. The verifier has a much of options who care poorly documented.

Recently, P was extended to support exploring the entire state space (PEX mode) as well as a prover. These have only rudimentary documentation. I learned about them more by looking at code.

1: https://nvartolomei.com/oswald/

New comment by nvartolomei in "P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems"

nvartolomei — Wed, 17 Dec 2025 13:23:04 +0000

According to public information, AWS uses both and not only. AWS wrote a paper on the topic with some details about their applications of formal methods^1. AWS is a large org though, it would be hard to generalise or reduce their approach to any single method.

1: https://www.amazon.science/publications/using-lightweight-fo...

Later add: I believe P creator is employed by AWS at this moment.

New comment by nvartolomei in "Learn C++ Itanium Symbol Mangling"

nvartolomei — Thu, 20 Nov 2025 21:53:12 +0000

Love that it makes you spell the mangled symbols. Forces the brain to do some proper work.

New comment by nvartolomei in "Composer: Building a fast frontier model with RL"

nvartolomei — Wed, 29 Oct 2025 20:38:27 +0000

Please share more about Ray Data use case.

New comment by nvartolomei in "Show HN: Git Auto Commit (GAC) – LLM-powered Git commit command line tool"

nvartolomei — Mon, 27 Oct 2025 19:02:13 +0000

I do often ask Claude Code or Gemini CLI to write commits. I agree with you on why being important. Majority of these being bug fixes accompanied tests where the why is easily inferred from the change/newly added tests and their comments.

Performance Profile Visualization Challenge

nvartolomei — Wed, 07 May 2025 06:44:37 +0000

Article URL: https://matklad.github.io/2025/05/06/performance-profile-visualization-challenge.html

Comments URL: https://news.ycombinator.com/item?id=43912876

Points: 6

# Comments: 0

New comment by nvartolomei in "Ask HN: Books about people who did hard things"

nvartolomei — Sat, 11 Jan 2025 10:47:21 +0000

*Engines That Move Markets: Technology Investing from Railroads to the Internet and Beyond* by Alasdair G. M. Nairn

I’ve had a few aha moments while reading this book. Although it's primarily written from an investor's perspective, it does contain a fair share of insight about creation and commercialisation of technology, the mechanics of monopolies, government involvement, foreign affairs, etc.

New comment by nvartolomei in "Egoless Engineering"

nvartolomei — Tue, 03 Dec 2024 22:32:46 +0000

How does something like this scale for more than 10 people? 100? 1000?

New comment by nvartolomei in "Show HN: Convert HTML DOM to semantic markdown for use in LLMs"

nvartolomei — Thu, 25 Jul 2024 10:24:04 +0000

While I was writing a tool for myself to summarise daily the top N posts from HN, Google Trends, and RSS feed subscriptions I had the same problem.

The quick solution was to use beautiful soup and readability-lxml to try and get the main article contents and then send it to an LLM.

The results are ok when the markup is semantic. Often it is not. Then you have tables, images, weirdly positioned footnotes, etc.

I believe the best way to extract information the way it was intended to be presented is to screenshot the page and send it to a multimodal LLM for “interpretation”. Anyone experimented with that approach?

——

The aspiration goal for the tool is to be the Presidential Daily Brief but for everyone.

New comment by nvartolomei in "Framework laptop delay in switching GPUs"

nvartolomei — Wed, 03 Jul 2024 13:11:12 +0000

Power Nap is another feature rather than a bug https://support.apple.com/en-gb/guide/mac-help/mh40773/mac

New comment by nvartolomei in "S3 is showing its age"

nvartolomei — Wed, 22 May 2024 22:42:07 +0000

Example: https://delta.io/blog/2022-05-18-multi-cluster-writes-to-del...

New comment by nvartolomei in "I coded something dumb and I'm proud of it"

nvartolomei — Wed, 15 May 2024 18:53:25 +0000

You’ll love to learn more about Chernoff faces! https://en.wikipedia.org/wiki/Chernoff_face

New comment by nvartolomei in "Show HN: I built a vector database API on Cloudflare"

nvartolomei — Mon, 19 Feb 2024 09:01:31 +0000

The page says they hold the trademark to “Amazon Athena”. Does this come into conflict with a project named “AthenaDB”?

New comment by nvartolomei in "Show HN: Geo-Distributed KV Store for Metadata Management"

nvartolomei — Fri, 26 Jan 2024 09:14:34 +0000

This sentence is explained on their homepage:

> it takes 2 RTTs to complete a consensus request from the view of a client. One RTT takes place between the client and the leader server, and the leader server takes another RTT to broadcast the message to the follower servers

New comment by nvartolomei in "Show HN: Geo-Distributed KV Store for Metadata Management"

nvartolomei — Thu, 25 Jan 2024 14:13:04 +0000

> Existing distributed KV stores mostly adopt the Raft consensus protocol, which takes two RTTs to complete a request.

Why 2? Isn’t a single AppendEntries request from the leader enough?