Viewing profile — dimitry12

From Bitwarden official statement: https://community.bitwarden.com/t/bitwarden-statement-on-che... "a malicious package that was briefly distributed" "investigation found no eviden…

https://github.com/earendil-works/gondolin is another project addressing a similar use-case.

(I am not the author of vmtree) Would be pretty magical if when you need a sandbox, you just SSH into it and it's already there, right? exe.dev popularized this UX, but I self-host…

Now I want open-source self-hosted BYOM version of this

Saw this today and instantly liked the UX. This is not the first attempt to cross spreadsheets and LLMs, but I like the conceptual simplicity here and how clearly it packages "mult…

Thank you!

Thank you! Not my states but seems spot on and I can extract keywords from there.

What are the keywords for finding a lawyer who can advise on non-competes? Asking because it turned out nearly impossible to find a local lawyer to advise on a dispute couple month…

If you bridge recorded trajectories with LVLM, then cameras are necessary visual input for LLM to decide which sub-tasks need to be performed to accomplish long-horizon task, and s…

https://github.com/TheRobotStudio/SO-ARM100/tree/main/Simula... I hope applies to this first gen of the product.

Thank you for confirming! Love how simple yet magical your demos look, the elegance of bridging LLM-driven long-horizon planning with the arm.

SO-ARM101 has a leader-arm, which is the arm with same exact dimensions and same servos - but used to read/record the trajectory. You move it with your own hand and teleoperate the…

Do I understand correctly that chess-moving demo decomposes into: - you recorded precise arm-movement using leader-arm - for each combination of source- and target- receptacles/boa…

> Whenish is an iMessage app Where can I read more about using iMessage as a medium for generic multi-player collaboration? Or if you can just share the right keywords, I will appr…

I can't find the "Coming from Hackernews?" button. Where should I look for it?

No content, no code. "Roadmap" and "Training pipeline" in README are summaries of Section 2.3 of "DeepSeek-R1"-paper. Sad.

"1B solver + 8B verifier + search" beating 0-shot 70B is nice, agree. "1B solver + 8B verifier + search" beating 1B-0-shot or 1B-majority as baselines isn't illustrative imo. In ot…

"Solver" is `meta-llama/Llama-3.2-1B-Instruct` (1B model, and they use 3B for another experiment), and verifier is `RLHFlow/Llama3.1-8B-PRM-Deepseek-Data`. See https://github.com/h…

From a practical standpoint, scaling test-time compute does enable datacenter-scale performance on the edge. I can not feasibly run 70B on my iphone, but I can run 3B even if takes…

To spend more compute at inference time, at least two simple approaches are readily available: 1) make model output a full solution, step-by-step, then induce it to revise the solu…

I believe this is a valid point: HF's replication indeed uses larger off-the-shelf model as a verifier. In contrast, in the original paper, verifier is a fine-tune of the exact sam…

In this paper and HF's replication the model used to produce solutions to MATH problems is off-the-shelf. It is induced to produce step-by-step CoT-style solutions by few-shot ICL …

Verifier is trained with soft values of reward-to-go for each solution-prefix, obtained from monte-carlo rollouts of step-by-step solutions sampled from the "base" model. In other …