HNHacker News
TopNewBestAskShowJobs

rockinghigh

1,139 karma · joined June 15, 2015

submissionscomments
rockinghigh··on Ollaya – Ollama for open-source, Jev-style decision models
Their marketing language is misleading. They must still use some transformer language model backbone to encode the text input (BERT or decoder-only LLM). The biggest difference is the output, instead of auto-regressively generating tokens, they produce probabilities over a bounded set of decisions (more flexible classification).
rockinghigh··on GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review?
Human reviews are going away for most PRs these days. If the LLM decides the risk level of the change is low, the PR can be merged without another human in the loop. That's at least the direction many companies are taking. Only require a human judgement when necessary.
rockinghigh··on AI;DR (AI; Didn't Read)
Using tools to fix your writing style or grammar is not exactly cheating.
rockinghigh··on GigaToken: ~1000x faster Language model tokenization
For small models, tokenization can reach 1-10% of total inference time.
rockinghigh··on Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber
A coding agent driven by a large LLM can delegate smaller tasks to a faster model. For example searching through the codebase for references, examples, or established patterns. They are treated as tools and don't pollute the main agent's context.
rockinghigh··on Kimi K3, Qwen 3.8, and Anthropic's (Potential) Unravelling
Open-weight models were lagging 4 months behind OpenAI/Anthropic at the beginning of the year. They are now just 4-6 weeks behind.
rockinghigh··on EU to legislate about Chat Control behind closed doors
The US is also falling behind Chinese manufacturing. They had to ban Chinese cars because legacy American automakers couldn't compete.
rockinghigh··on Anthropic apologizes for invisible Claude Fable guardrails
Same here, I fine tune LLMs for specific use cases. How can I trust Anthropic models not to introduce bugs to preserve their moat?
rockinghigh··on Anthropic apologizes for invisible Claude Fable guardrails
Imagine if your IDE started injecting bugs into your project just because your code looked like it implemented a competing IDE.
rockinghigh··on That Methyl Methacrylate Tank
Consumers don't control zoning laws or risk mitigation details.
rockinghigh··on The IBM-ification of Google?
Gemini tends to be faster and the Flash and Flash Lite models outperform ChatGPT's equivalent models.
rockinghigh··on We're testing new ad formats in Search and expanding our Direct Offers pilot
It may be a push from advertisers who want access to this format. Google Search competes for their money against the competition.
rockinghigh··on We're testing new ad formats in Search and expanding our Direct Offers pilot
They own tons of engagement data associated with that index from being the default search engine on most devices.
rockinghigh··on Anthropic acquires Stainless
Why wouldn't getting more customers the plan? Anthropic doesn't acquire companies to have a lower market share. There is clearly a consolidation and a rush to get as much of the developer market as possible.
rockinghigh··on Kimi K2.6: Advancing open-source coding
The MoE experts are quantized to int4, all other weights like the shared expert weights are excluded from quantization and use bf16.
rockinghigh··on Kimi K2.6: Advancing open-source coding
They could release data to back up that claim.
rockinghigh··on Kimi K2.6: Advancing open-source coding
Are there any protections from industrial espionage when using Anthropic, Cursor, Gemini, or OpenAI?
rockinghigh··on Oracle slashes 30k jobs
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.
rockinghigh··on Leanstral: Open-source agent for trustworthy coding and formal proof engineering
It's the number of attempts at answering the question.
rockinghigh··on Yann LeCun raises $1B to build AI that understands the physical world
He founded the team that worked on fasttext, llama and other similarly impactful projects.
rockinghigh··on Yann LeCun raises $1B to build AI that understands the physical world
He founded FAIR and the team in Paris that ultimately worked on the early Llama versions.
rockinghigh··on Tony Hoare has died
It can also be used to simplify existing code bases.
rockinghigh··on Claude Sonnet 4.6
It's a lot simpler. These models are not optimized for ambiguous riddles.
rockinghigh··on GLM-5: Targeting complex systems engineering and long-horizon agentic tasks
How is this riddle relevant to a coding model?
rockinghigh··on GLM-5: Targeting complex systems engineering and long-horizon agentic tasks
They do. Pretty much all agentic models call linting, compiling and testing tools as part of their flow.
rockinghigh··on AI makes the easy part easier and the hard part harder
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.
rockinghigh··on Experts Have World Models. LLMs Have Word Models
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.
rockinghigh··on Making geo joins faster with H3 indexes
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.
rockinghigh··on Making geo joins faster with H3 indexes
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.
rockinghigh··on Making geo joins faster with H3 indexes
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.
Page 1 of 14Next →