HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mvelbaum

no profile record

Submissions

[untitled]

1 points·by mvelbaum·26 วันที่ผ่านมา·0 comments

Thoughts for the Weekend

youtube.com
2 points·by mvelbaum·3 เดือนที่ผ่านมา·0 comments

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

moment.dev
2 points·by mvelbaum·4 เดือนที่ผ่านมา·0 comments

[untitled]

1 points·by mvelbaum·4 เดือนที่ผ่านมา·0 comments

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

research.checkpoint.com
2 points·by mvelbaum·5 เดือนที่ผ่านมา·0 comments

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

twitter.com
93 points·by mvelbaum·6 เดือนที่ผ่านมา·108 comments

Coq will be renamed into 'The Rocq Prover'

coq.inria.fr
61 points·by mvelbaum·2 ปีที่แล้ว·64 comments

comments

mvelbaum
·2 เดือนที่ผ่านมา·discuss
https://arxiv.org/abs/2206.12110 ?
mvelbaum
·2 เดือนที่ผ่านมา·discuss
-
mvelbaum
·2 เดือนที่ผ่านมา·discuss
[flagged]
mvelbaum
·2 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
So only a stealth advantage?
mvelbaum
·3 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
the "uniparty" benefits from illegal immigration so I guess that's why it's a nonstarter.