HackerTrans
トップ新着トレンドコメント過去質問紹介求人

mvelbaum

no profile record

投稿

[untitled]

1 ポイント·投稿者 mvelbaum·26 日前·0 コメント

Thoughts for the Weekend

youtube.com
2 ポイント·投稿者 mvelbaum·3 か月前·0 コメント

Lies I was Told About Collaborative Editing, Part 2: Why we don't use Yjs

moment.dev
2 ポイント·投稿者 mvelbaum·4 か月前·0 コメント

[untitled]

1 ポイント·投稿者 mvelbaum·4 か月前·0 コメント

Caught in the Hook: RCE and API Token Exfiltration Through Claude Code

research.checkpoint.com
2 ポイント·投稿者 mvelbaum·5 か月前·0 コメント

All my new code will be closed-source from now on

twitter.com
93 ポイント·投稿者 mvelbaum·6 か月前·108 コメント

Coq will be renamed into 'The Rocq Prover'

coq.inria.fr
61 ポイント·投稿者 mvelbaum·2 年前·64 コメント

コメント

mvelbaum
·2 か月前·議論
https://arxiv.org/abs/2206.12110 ?
mvelbaum
·2 か月前·議論
-
mvelbaum
·2 か月前·議論
[flagged]
mvelbaum
·2 か月前·議論
Any AI researcher who refuses to support his own country in a technological arms race is morally bankrupt, foolishly naive and does not deserve to enjoy the the way of life created for him by those who sacrificed their lives.
mvelbaum
·3 か月前·議論
So only a stealth advantage?
mvelbaum
·3 か月前·議論
Sawyer Hood's dev-browser[0] allows the browser to write playwright JS code directly. Do you have cases where his approach fails and yours works?

[0] https://github.com/SawyerHood/dev-browser
mvelbaum
·4 か月前·議論
I live in Israel. There is fake news being spread about Tel Aviv being destroyed and Israel being hit hard. This is absolutely false. The volume of rockets is way lower than the 12 Day War. In fact, I do the irresponsible thing of not even going to the bomb shelter when the odd siren rings out.

There was a decision made by the security establishment not to allow reporting on Iranian missile hits in order to make it harder for the Iranians to do BDA.
mvelbaum
·4 か月前·議論
If you think the gov't is doing illegal things to US citizens then provide the proof and expose it. I don't have evidence so I am not going to speculate either way.
mvelbaum
·4 か月前·議論
I can't believe that people simply bought into Anthropic's PR messaging. This has nothing to do with "mass surveillance" (which is illegal anyway) or killbots, it's all about Dario wanting to be able to override lawful use:

[0] https://x.com/CardilloSamuel/status/2027536128291528846

[1] https://x.com/UnderSecPD/status/2027353177578783204

[2] https://x.com/zarathustra5150/status/2027616890516889658

I think it's quite rich all these people virtue signaling when: (1) Anthropic (and other labs) committed large scale theft of copyrighted materials to train their models. (2) Anthropic collects large swaths of data on its users (3) Dario seemed to have no issue working to help the CCP: https://x.com/ubuto23/status/2027578089371267201

Also, you must understand that if you support Anthropic, then you should be against Open Source models.
mvelbaum
·5 か月前·議論
do you use FDE on your hetzner instances? I couldn't find a guarantee that they properly dispose of block storage so I ended up developing a utility for this https://github.com/mvelbaum/hetzner-fde-toolkit
mvelbaum
·5 か月前·議論
the "uniparty" benefits from illegal immigration so I guess that's why it's a nonstarter.