Hacker News: rockinghigh

New comment by rockinghigh in "Kimi K2.6: Advancing open-source coding"

rockinghigh — Mon, 20 Apr 2026 19:23:57 +0000

The MoE experts are quantized to int4, all other weights like the shared expert weights are excluded from quantization and use bf16.

New comment by rockinghigh in "Kimi K2.6: Advancing open-source coding"

rockinghigh — Mon, 20 Apr 2026 19:17:40 +0000

They could release data to back up that claim.

New comment by rockinghigh in "Kimi K2.6: Advancing open-source coding"

rockinghigh — Mon, 20 Apr 2026 19:16:04 +0000

Are there any protections from industrial espionage when using Anthropic, Cursor, Gemini, or OpenAI?

New comment by rockinghigh in "Oracle slashes 30k jobs"

rockinghigh — Tue, 31 Mar 2026 16:06:12 +0000

Their revenue was $57.4 billion last year. Just in Q4; cloud revenue $6.7 billion, cloud infrastructure $3.0 billion, cloud application $3.7 billion, Fusion Cloud ERP $1.0 billion, NetSuite cloud ERP $1.0 billion.

New comment by rockinghigh in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"

rockinghigh — Mon, 16 Mar 2026 22:18:54 +0000

It's the number of attempts at answering the question.

New comment by rockinghigh in "Yann LeCun raises $1B to build AI that understands the physical world"

rockinghigh — Wed, 11 Mar 2026 00:24:13 +0000

He founded the team that worked on fasttext, llama and other similarly impactful projects.

New comment by rockinghigh in "Yann LeCun raises $1B to build AI that understands the physical world"

rockinghigh — Wed, 11 Mar 2026 00:22:41 +0000

He founded FAIR and the team in Paris that ultimately worked on the early Llama versions.

New comment by rockinghigh in "Tony Hoare has died"

rockinghigh — Tue, 10 Mar 2026 21:10:52 +0000

It can also be used to simplify existing code bases.

New comment by rockinghigh in "Claude Sonnet 4.6"

rockinghigh — Wed, 18 Feb 2026 06:32:47 +0000

It's a lot simpler. These models are not optimized for ambiguous riddles.

New comment by rockinghigh in "GLM-5: Targeting complex systems engineering and long-horizon agentic tasks"

rockinghigh — Wed, 11 Feb 2026 18:14:45 +0000

How is this riddle relevant to a coding model?

New comment by rockinghigh in "GLM-5: Targeting complex systems engineering and long-horizon agentic tasks"

rockinghigh — Wed, 11 Feb 2026 18:12:40 +0000

They do. Pretty much all agentic models call linting, compiling and testing tools as part of their flow.

New comment by rockinghigh in "AI makes the easy part easier and the hard part harder"

rockinghigh — Mon, 09 Feb 2026 00:55:51 +0000

It's called problem decomposition and agentic coding systems do some of this by themselves now: generate a plan, break the tasks into subgoals, implement first subgoal, test if it works, continue.

New comment by rockinghigh in "Experts Have World Models. LLMs Have Word Models"

rockinghigh — Sun, 08 Feb 2026 21:12:14 +0000

A language model in computer science is a model that predicts the probability of a sentence or a word given a sentence. This definition predates LLMs.

New comment by rockinghigh in "Making geo joins faster with H3 indexes"

rockinghigh — Sat, 07 Feb 2026 20:43:16 +0000

How do you join two datasets using r-trees? In a business setting, having a static and constant projection is critical. As long as you agree on zoom level, joining two datasets with S2 and H3 is really easy.

New comment by rockinghigh in "Making geo joins faster with H3 indexes"

rockinghigh — Sat, 07 Feb 2026 20:40:05 +0000

I wouldn't say R-trees solve the problem better. Joining multiple spatial dataset indexed with r-trees is more complex as the nodes are dynamic and data dependent. Neighborhood search is also more complicated because parent nodes overlap.

New comment by rockinghigh in "Making geo joins faster with H3 indexes"

rockinghigh — Sat, 07 Feb 2026 20:34:31 +0000

That's not true when tiling the Earth though. You need 12 pentagons to close the shape on every zoom level, you can't tile the Earth with just hexagons. That's also why footballs stitch together pentagons and hexagons.

New comment by rockinghigh in "France's homegrown open source online office suite"

rockinghigh — Sat, 07 Feb 2026 15:40:12 +0000

Instagram uses it as their main backend. They have hundreds of million of daily users. Some of the critical backend services are in C++.

New comment by rockinghigh in "Lessons learned shipping 500 units of my first hardware product"

rockinghigh — Wed, 04 Feb 2026 02:37:17 +0000

Tariffs were a huge point of debate in his first administration. The government had to pay $30 billion to farmers to offset the impact of tariffs.

> China implemented retaliatory tariffs equivalent to the $34 billion tariff imposed on it by the U.S. In July 2018, the Trump administration announced it would use a Great Depression-era program, the Commodity Credit Corporation (CCC), to pay farmers up to $12 billion, increasing the transfers to farmers to $ 28 billion in May 2019. The USDA estimated that aid payments constituted more than one-third of total farm income in 2019 and 2020.

New comment by rockinghigh in "Cloudflare CEO on the Italy fines"

rockinghigh — Fri, 09 Jan 2026 18:54:58 +0000

That's definitely happening. The US does this through massive government spending on American solutions. The EU is only starting to go that route as well.

New comment by rockinghigh in "iPhone Typos? It's Not Just You – The iOS Keyboard Is Broken [video]"

rockinghigh — Fri, 12 Dec 2025 01:23:57 +0000

Completely agreed. Apple seriously regressed the multi-lingual experience. They probably have a model per language. If you have to mix languages in a sentence, well, good luck!