pama

3 ms·

1.
by pama 5d ago
But what about builds that combine 8 of the 5090 with infiniband between boxes? Wouldn't that be comparable to the mac in terms of price and potentially beat it by a lot in terms of performance for the large MoE? I understand the spa
2.
by pama 6d ago
Not GP, but you start with Kubernetes… > You need a Kubernetes cluster, ko (brew install ko), a container registry your cluster can pull from, and a reachable Agent Substrate Control API (in-cluster default: api.ate-system.svc.cluster.lo
3.
by pama 8d ago
Having worked with people doing bringup of specialized chips, I am awed at how the world has changed. > When the first chips came back from the foundry in May, the team pointed its internal AI models at designing software to run benchmar
4.
by pama 8d ago
How I write with an LLM: for each page “suggest up to 10 word changes to increase clarity.”
5.
by pama 11d ago
Is there a downloadable technical report somewhere?
6.
by pama 13d ago
This person knew they did not prove the Collatz conjecture and others independently figured it out within hours. Not sure this is at all relevant, other than pointing out how trivial it is for the community to understand errors in lean4.
7.
by pama 14d ago
I agree with search, which is what mathematicians also use over longer periods of time. But it is not brute force search (and neither is alphago’s search or modern stockfish, though both still search at depth and speed higher than typical h
8.
by pama 14d ago
Not sure what you mean. Here is what happened in that case: https://news.ycombinator.com/item?id=49137060#49140177
9.
by pama 14d ago
You misunderstood. This new project has 2,900 LOC. Maybe the spelling change is too subtle.
10.
by pama 14d ago
Perhaps you did not understand the Fermat theorem proof announcement/repo or the link. The 13 million lines did not use any external, possibly not honest libraries, as the proof eventually only used the fundamental axioms. So for the
11.
by pama 15d ago
I had good luck with Kevin Lin’s tip for Astra: “Can you radically simplify the implementation?”
12.
by pama 16d ago
You jest and that is OK. Brute force search is not something you can do over math problems of that difficulty or anything with combinatorial complexity. To me it feels closer to taking the top 10k human mathematicians on a large retreat for
13.
by pama 16d ago
As far as I understand the 10k agents worked on the proof. The lean formalization came later and was easier/faster than getting the proof.
14.
by pama 16d ago
If you work with distributed systems, you still call that scenario a success. On the other hand, if the 3/4 of agents going off the rails bring down the whole mission, that is a failure. The latter would have been my guess with current
15.
by pama 17d ago
I am not sure what you mean here. There exist plenty high-concern biological threats that dont need any AI help. Human oncovirus design is low on my concern list (immunity is diverse), and in any case it does not need AI—rather labspace. Di
16.
by pama 17d ago
Other than the undeniable breakthrough in math, the important point is the ability to orchestrate 10k agents to productively work on a single problem, which creates options: > OpenAI, meanwhile, says its experience with Navier-Stokes cou
17.
by pama 17d ago
They managed to solve a problem that was beyond current human ability.
18.
by pama 18d ago
Not only that, but it used 10k agents coherently over 88 hours to come up with the proof. This is a significant advance.
19.
by pama 26d ago
So at 3 million different files you have a 98.3% chance of a hash collision. Wouldnt that cause problems in real datasets?
20.
by pama 26d ago
30 years late, but I will take it. Contracts look useful and less messy than exceptions.
21.
Rosalind Workbench: Empowering every scientist to be their own research team(developers.openai.com)
2 points by pama 29d ago|0 comments
22.
by pama 29d ago
Oh, the use of “load-bearing” is a pretty clean bug in the system context of Claude code. It can be fixed trivially. The overuse of particular language constructs, including the one you suggested, is a more interesting problem; it is fixabl
23.
by pama 29d ago
Interesting use of Claude’s construct! Your phrasing might also suggest that it resolves something else, which is left ambiguous, whereas your other construct would be less likely to suggest that idea (unless you explicitly appended a contr
24.
by pama 29d ago
> "It <verb>s no <noun>" instead of "It doesn't <verb> <noun>" The meaning is often different in these constructs. Consider: “Claude answers no questions” vs “Claude doesn’t answer questi
25.
by pama 1mo ago
> Is the energy usage so different between local and cloud inference? In throughput mode for agentic loads, the energy usage (tok/s/MW) of the new NVidia Vera Rubin hardware is 30x lower than that of the B300 and perhaps 450x l
26.
by pama 1mo ago
> I'm kind of lost on what to do with it. Personal assistant (e.g. openclaw) in the mac ecosystem. You need external models to power it ofc, but cool to have all the Apple integration and local network in your assistant. The claw ca
27.
Up to 30x More Work per Watt: Nvidia Vera Rubin NVL72(blogs.nvidia.com)
5 points by pama 1mo ago|0 comments
28.
by pama 1mo ago
No favorite in single spark usage really. Glimmer is interesting because it scales well under load. Qwen3.6 MoE was fast enough on low concurrency. Qwen3.8 works but slower than the DS flash on the two sparks.
29.
by pama 1mo ago
Without doubt, dsv4-flash-0731. Original weights; needs two connected DGX.
30.
by pama 1mo ago
Thanks! I hadn't tried it. I've started using it today; I limited a couple options about dired-local and images in kitty due to concerns from upstream security audits, but otherwise looks fantastic.

More ›