HNHacker News
TopNewBestAskShowJobs

riku_iki

2,228 karma · joined July 21, 2017

submissionscomments
riku_iki··on 2025 Letter
unfortunately, your comment consists of many loud hand-waving statements without much substance, so there is no much to discuss.

> The point is when PRC makes >50% of global stuff materially but charges <50%

and could you provide source of >50%?

riku_iki··on 2025 Letter
great, healthy competition is good for everyone, and it will force western companies innovate harder.
riku_iki··on 2025 Letter
> I would bet the unit volume of manufacturing with those 4.6T is more than double that of 5.5T. And those 5.5T likely have some very high value, high margin leading edge equipment.

sure, and what's your point? My opinion is that high margin leading edge equipment is more interesting direction than low cost low tech produce.

riku_iki··on 2025 Letter
that's obvious that some country with 1.5B working people will have edge in some niches, and will demonstrate tremendous growth from the bottom where they were 20 years ago.

But for global picture, if we are comparing Western World: US+Canada+EU vs China in technological domination, the picture is likely not super-clear and more complex analysis is required. Even if we consider manufacturing output, where China is supposedly global leader, we see it is 5.5T for Western world vs 4.6T for China (according to my brief google searching).

riku_iki··on As AI gobbles up chips, prices for devices may rise
> Significantly increasing supply is also a huge multi year investment into a new fab

so, are there huge multi-year investments?

riku_iki··on As AI gobbles up chips, prices for devices may rise
this would need some source citation. There are plenty of investors on the market holding rental properties.
riku_iki··on Google's year in review: areas with research breakthroughs in 2025
And what about trajectory for the last 20 years?
riku_iki··on Google's year in review: areas with research breakthroughs in 2025
looks like that article and numbers are half year old, so don't support your Q3 growth numbers.
riku_iki··on US blocks all offshore wind construction, says reason is classified
humans already gave nuclear buttons to politicians and dictators with questionable intelligence, so it doesn't matter what you are pretending to be exactly.
riku_iki··on US blocks all offshore wind construction, says reason is classified
> If ICBMs are incoming to the Continental United States the world is ending.

its up to discussion. US has many measures which combined could give them a chance to survive nuclear war, namely: preemptive strike by tridents on enemy's silos(https://thebulletin.org/2017/03/how-us-nuclear-force-moderni...) and anti missile defense.

> Are we expecting missiles to come from the Gulf of Mexico?

there is a possibility of submarine launch from that direction.

riku_iki··on US blocks all offshore wind construction, says reason is classified
Kinzhal is ballistic missile flying on high altitude trajectory, so it is easily visible and somehow interceptable.

Drones and cruise missiles often fly very low, which makes them much harder to detect and intercept.

riku_iki··on Garage – An S3 object store so reliable you can run it outside datacenters
> with support and clearer expectations around licensing and roadmap

nothing prevents them from hiking pricing, so expectations are not clear.

riku_iki··on Ask HN: Those making $500/month on side projects in 2025 – Show and tell
> www.gravityanalytica.com

no ssl?

riku_iki··on CEOs to Keep Spending on AI, Despite Spotty Returns
> Having seen a lot of AI-generated ads, I'm so skeptical that AI is actually improving marketing metrics. Every time I see one of these abominations on YouTube I think "is this working for you?"

they likely track conversions, so someone is clicking and buying.

riku_iki··on Erdős Problem #1026
> But given a well specified problem, it can bruteforce search through lean tactics space at an extremely superhuman pace. What is lacks in intuition and brilliance, it will make up in being able to explore in parallel.

right, but because math is not well specified and formalized yet, it could be a problem, and that's where humans with intuition and more rigid reasoning still necessary.

riku_iki··on Gemini 3 Flash: Frontier intelligence built for speed
> ChatGPT still has 81% market share as of this very moment, vs Gemini's ~2%

where did you get this from?

riku_iki··on AI will make formal verification go mainstream
> I've been writing tens of thousands of lines of Lean 4 in a software engineering job

I am wondering what exactly you are doing? What tasks you are solving using generated lean?

riku_iki··on Indexing 100M vectors in 20 minutes on PostgreSQL with 12GB RAM
PG doesn't have active-active. Solution is to have multizone failover with replication.
riku_iki··on Indexing 100M vectors in 20 minutes on PostgreSQL with 12GB RAM
Sure, but those who require (99% of major businesses) are ready to pay.
riku_iki··on Indexing 100M vectors in 20 minutes on PostgreSQL with 12GB RAM
I have backups on different cloud provider, so I could bootstrap db if provider goes dark indefinitely.

But realistically, I believe major clouds (google, aws) likely has more robust org and infra for recovery than I can built and maintain.

riku_iki··on Indexing 100M vectors in 20 minutes on PostgreSQL with 12GB RAM
Primary managed PG, since you still need setup/maintenance/monitoring on your K8S own solution.
riku_iki··on Stoolap: High-performance embedded SQL database in pure Rust
Any benchmarks to compare to sqlite and pg?
riku_iki··on Instacart reaches into your pocket and lops a third off your dollars
They still usually can buy lots of food from amazon/walmart in bulk with cheap/free home delivery and cook at home.
riku_iki··on US seizes oil tanker off coast of Venezuela
Sure, I specified this in all comments using "can" and "could" words.
riku_iki··on Golang's big miss on memory arenas
> You certainly can

I am wondering if there is working code example, or this is just speculation?

riku_iki··on Golang's big miss on memory arenas
That Arena is not integrated into language. You can't do something like:

var myObj = new(my_arena) MyClass();

riku_iki··on US seizes oil tanker off coast of Venezuela
My opinion is that you are the one who doesn't understand this stuff.
riku_iki··on US seizes oil tanker off coast of Venezuela
Support ships are not speculations.
riku_iki··on US seizes oil tanker off coast of Venezuela
Sure, there could be support ship in deep ocean.
riku_iki··on US seizes oil tanker off coast of Venezuela
Thank you for your theoretical speculations.
← PreviousPage 4 of 34Next →