Hacker News: polskibus

P – Formal Modeling and Analysis of Distributed Systems from AWS

polskibus — Mon, 06 Apr 2026 17:11:59 +0000

Article URL: https://p-org.github.io/P/

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

Points: 1

# Comments: 0

New comment by polskibus in "Artemis II crew take “spectacular” image of Earth"

polskibus — Sat, 04 Apr 2026 08:24:52 +0000

Why is the old image so much more blue? Did pollution increase cause this change in color over time?

New comment by polskibus in "Meta and YouTube found negligent in landmark social media addiction case"

polskibus — Wed, 25 Mar 2026 19:16:35 +0000

Don’t forget WhatsApp. Kids are allowed to have WhatsApp as messaging but they get fed videos there too. There is no way to really disable them . Also this be allowed as parental supervision, not something that kids can override.

New comment by polskibus in "Show HN: Sub-millisecond VM sandboxes using CoW memory forking"

polskibus — Wed, 18 Mar 2026 14:54:05 +0000

Is it possible to run minikube inside ? I’d love to use it for ephemeral clusters for testing .

New comment by polskibus in "Don't post generated/AI-edited comments. HN is for conversation between humans."

polskibus — Wed, 11 Mar 2026 20:16:17 +0000

On the other hand, shouldn’t there be a policy forbidding use of HN data for LLM training? I would certainly be more encouraged to participate, if I knew that the content I provide for free is not used to train LLM that is later sold by a company valued hundreds of billions. Perhaps there are others who feel the same.

New comment by polskibus in "MinIO Is Dead, Long Live MinIO"

polskibus — Sat, 28 Feb 2026 22:11:18 +0000

Surely MinIO dual-licenses its software so paying customers get commercial license?

New comment by polskibus in "We tasked Opus 4.6 using agent teams to build a C Compiler"

polskibus — Thu, 05 Feb 2026 21:20:38 +0000

So did the Linux compiled with this compiler worked? Does it work the same as GCC-compiled Linux (but slower due to generating non optimized code?)

New comment by polskibus in "AliSQL: Alibaba's open-source MySQL with vector and DuckDB engines"

polskibus — Tue, 03 Feb 2026 21:53:24 +0000

Does this feed DuckDb continuously data from transactional workloads, akin to what SAP hana does? If so that would be huge - people spend lots of time trying to stitch transactional data to warehouses using Kafka/debezium.

BTW, Would be great to hear apavlo’s opinion on this.

New comment by polskibus in "Go ahead, self-host Postgres"

polskibus — Sun, 21 Dec 2025 22:08:40 +0000

What's the SOTA for on-prem Postgres, in terms of point-in-time-recovery? are there any well-tested tools for it?

New comment by polskibus in "50 years of proof assistants"

polskibus — Sat, 13 Dec 2025 10:09:21 +0000

Lean4 seems to be very popular in the Math Olympics-solving AI startups (Harmonic etc).

New comment by polskibus in "Anthropic acquires Bun"

polskibus — Tue, 02 Dec 2025 18:40:06 +0000

Wouldn’t it make more sense to write the same functionality using a more performant, no-gc language? Aren’t competitors praised for their CLIs being faster for that reason?

AWS Glue zero-ETL for self-managed Database Sources

polskibus — Sat, 29 Nov 2025 13:42:27 +0000

Article URL: https://aws.amazon.com/about-aws/whats-new/2025/11/glue-zero-etl-selfmanaged/

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

Points: 1

# Comments: 0

New comment by polskibus in "The Dragon Hatchling: The missing link between the transformer and brain models"

polskibus — Wed, 22 Oct 2025 17:26:15 +0000

One of the authors, Adrian, is a very interesting person. Got his PhD at 21, started CS studies at an age when his peers were starting high school. Knowing some of his previous achievements, I’d say his work deserves at least some curiosity.

New comment by polskibus in "The Dragon Hatchling: The missing link between the transformer and brain models"

polskibus — Wed, 22 Oct 2025 17:20:49 +0000

I posted it 19 days ago. It it didn’t get any traction, I wonder why. https://news.ycombinator.com/item?id=45453119

OpenAI Looks to Replace the Drudgery of Junior Bankers' Workload

polskibus — Wed, 22 Oct 2025 05:15:35 +0000

Article URL: https://www.bloomberg.com/news/articles/2025-10-21/openai-looks-to-replace-the-drudgery-of-junior-bankers-workload

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

Points: 2

# Comments: 0

How much revenue is needed to justify the current AI spend?

polskibus — Sat, 11 Oct 2025 20:49:49 +0000

Article URL: https://pracap.com/an-ai-addendum/

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

Points: 81

# Comments: 100

Dragon Hatchling: The Missing Link B. The Transformer and Models of the Brain

polskibus — Thu, 02 Oct 2025 17:59:18 +0000

Article URL: https://arxiv.org/abs/2509.26507

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

Points: 6

# Comments: 0

New comment by polskibus in "Blockdiff: We built our own file format for VM disk snapshots"

polskibus — Wed, 01 Oct 2025 06:39:55 +0000

Can this be used in a public cloud provider , to speed up VM provisioning in CI/CD pipelines? Im looking for ways to speed up app provisioning for e2e tests.

New comment by polskibus in "The AI coding trap"

polskibus — Sun, 28 Sep 2025 17:25:44 +0000

I think the post, while extensive, missed one important issue.

The fact then when we read others' code, we don't remember/integrate it into our thinking as well as we do when we're the authors. So mentoring "AI Juniors" provides less growth then doing the job, esp. if it is mostly corrective actions.

New comment by polskibus in "Terence Tao: The role of small organizations in society has shrunk significantly"

polskibus — Thu, 25 Sep 2025 10:28:20 +0000

Was hoping for a more data-driven diagnosis. The reality is much different, smaller orgs can move faster than large. It is definitely not possible in areas that require huge CAPEX or OPEX like AI, but in many other areas it happens often.