drorlb

2.2K posts

drorlb banner
drorlb

drorlb

@drorlb

Mathematician and programmer. Perhaps I should post something.

Inscrit le Kasฤฑm 2018
153 Abonnements20 Abonnรฉs
drorlb
drorlb@drorlbยท
@ZuckermanRoy ื™ืฉ ืชื›ื ื™ืช: 1. ืกื ืงืฆื™ื•ืช 2. ืœื™ื™ืœืœ ืื ื˜ื™ืฉืžื™ื•ืช 3. ื›ืกืฃ ืœื—ืจื“ื™ื ื•ื”ืชื ื—ืœื•ื™ื•ืช ืžืžืฉื™ืš ืœื–ืจื•ื ืœืœื ืฉื™ื ื•ื™, ื›ืš ืฉืจืง 0ืžื•ืœื ื™ื ื—ืžื•ืฆื™ื ื ืคื’ืขื™ื ืžื”ืกื ืงืฆื™ื•ืช. 4. ืœืžื™ ืจืข ืคื”?
ืขื‘ืจื™ืช
0
0
5
64
Roy Zuckerman
Roy Zuckerman@ZuckermanRoyยท
ื™ืฉ ืชื•ื›ื ื™ืช ื›ื“ื™ ืœื”ื™ืžื ืข ืžืกื ืงืฆื™ื•ืช ืื™ืจื•ืคืื™ื•ืช ืื—ืจื™ ื ืคื™ืœืช ืžืฉื˜ืจ ืื•ืจื‘ืŸ? ืื•ืœื™ ืœืขืฉื•ืช ืžืฉื”ื• ื‘ื ื•ื’ืข ืœื”ืฉืชื•ืœืœื•ืช ื”ืžืชื ื—ืœื™ื ื”ื’ื“ื”? ืื• ืฉืกืชื ื ื™ื™ืœืœ ืื ื˜ื™ืฉืžื™ื•ืช ื•ืœื ื ืขืฉื” ื›ืœื•ื?
ืขื‘ืจื™ืช
28
4
96
2.8K
drorlb
drorlb@drorlbยท
@samuelhartman03 @Noahpinion The main blocker to bioterror, chemical weapons, etc. is the need to have a lab and some competence. Please outline the steps leading from point A (got some uncensored LLM) to point B (a bottle of Sarin, known since 1938). Make sure you don't kill yourself in the process. Go.
English
0
0
1
54
Sam Hartman
Sam Hartman@samuelhartman03ยท
@Noahpinion People are already jailbreaking highly capable local models. How do you even protect against bioterror when people seem to crack these modelsโ€™ safety features within a month of their release?
Eric โšก๏ธ Building...@outsource_

๐Ÿšจ SUPER GEMMA 4 26B UNCENSORED IS INSANE LLM WIZARD COOKING AGAIN @songjunkr Dropped SuperGemma4-26B-Uncensored GGUF v2 and itโ€™s trending on @huggingface๐Ÿค— This thing SMOKES the regular Gemma-4 26B: ๐Ÿคฏ0/100 refusals (actually uncensored) ๐Ÿš€Fixed all the tool-call + tokenizer jank โšก๏ธ90% faster prompt processing ๐Ÿ†Sharper, smarter, way more capable responses - Perfect local beast for llama.cpp โœ… Runs ~18-22 GB VRAM (16.8 GB Q4_K_M file) - Run on 16 GB GPUs! The 31B version in the works, should be out SOON ๐Ÿคฏ Pull this version on hugging face below ๐Ÿ‘‡๐Ÿป

English
5
3
25
13.4K
Noah Smith ๐Ÿ‡๐Ÿ‡บ๐Ÿ‡ธ๐Ÿ‡บ๐Ÿ‡ฆ๐Ÿ‡น๐Ÿ‡ผ
The actual people working on AI mostly think that it will become a superior species that will succeed the human race
Daniel Faggella@danfaggella

2/7 * Poll on AI control / willingness to speak about it * Here was one of the theses of the even: -- Most people working on AGI / AGI policy dont' believe it's realistic that sustained control of vastly posthuman AGI is realistic Yet: -- People building AGI (labs) often talk about AGI futures as if there is definitely a role / respect for humans in perpetuity (even thought few of them beleive it) -- People working on AGI policy often frame it as an eternal control mechanism (even though they don't suspect that's possible) We ran a poll of our attendees, and found: -- People who don't think we're going to be able to maintain control of AGI are nearly 2x more liekly to remain silent about this belief that people who believe we *will* likely be able to control AI. Being a Worthy Successor event, we had a lot of ppl who didn't think AGI is controllable, so we had a biased sample there. But also (even tho the event was private / we don't release names), the people who went to the event we would expect to be more "vocal," so we expect that the actual % of people who stay silent about their belief that AGI is fundamentally uncontrollable is potentially much larger than 2x more than those who stay silent about their beliefs but think AGI is long-term controllable.

English
24
9
129
59.1K
drorlb
drorlb@drorlbยท
@JustDeezGuy @_chenson__ @joseph_h_garvin @CoqLang What do you mean by "discovered"? Up until coq 7.5 iirc prop was always impredicative. This by itself does not imply unsoundness but you have to be careful e.g. don't combine with large elimination.
English
1
0
1
28
Paul Snively
Paul Snively@JustDeezGuyยท
@_chenson__ @joseph_h_garvin Fair question. I recall when it was discovered @CoqLangโ€™s logic was impredicative. This was considered a disasterโ€”an inadvertent introduction of unsoundness by appeal to unbounded recursion via self-referential types. A lot of effort went into remedying this.
English
2
0
5
532
drorlb
drorlb@drorlbยท
@aman_gif So we can do KANs again? Was a nice idea but not going to happen due to the incestous co-evolution between NNs and GPU hardware (lol only simd no installation level parallelism)
English
0
0
0
503
drorlb
drorlb@drorlbยท
@HolySmokexxxx ื”ื™ื ืœื ืงืฆืช ืžืฉืขืžืžืช ื’ื ืื•ืชืš ื”ื•ืœื™?
ืขื‘ืจื™ืช
0
0
0
40
HolySmoke๐Ÿ’จ
HolySmoke๐Ÿ’จ@HolySmokexxxxยท
ืฉื™ืจืŸ ืื•ื—ื™ื•ืŸ ืชื•ืฉื‘ืช ืงืจื™ืช ืฉืžื•ื ื”: "ืฆืจื™ืš ืœืขืฉื•ืช ืคื” ืกื™ืขื•ืจ ืžื•ื—ื•ืช ืื™ืš ืœืขื–ื•ืจ ืคื” ืœืชื•ืฉื‘ื™ื" ื‘ืœื” ื‘ืœื” ื‘ืœื”... ื’ื‘ืจืช ื ื›ื‘ื“ืช, ืืชื ื‘ืžื• ื™ื“ื™ื›ื ื”ืžืœื›ืชื ืืช ื”ื ืืœื— ืœืžืœืš ื”ืฆืคื•ืŸ ื›ืฉื‘ื™ื•ื“ืขื™ืŸ ืืชื ื™ื•ื“ืขื™ื ืฉื”ื•ื ื“ืคืง ื•ื“ืคืง ื•ื“ืคืง ืืชื›ื ืคืขื ืื—ืจื™ ืคืขื ืื—ืจื™ ืคืขื. 3 ืฉื ื™ื ืืช ืžื—ื›ื”, ืชืžืฉื™ื›ื™ ืœื—ื›ื•ืช, ื–ื” ืžืฉืขืฉืข. ื™ืืœืœื” ืชื•ืฉื‘ื™ ืง.ืฉืžื•ื ื”, ืœื ืœืฉื›ื— ืœืฉื™ื ื‘ื™ื‘ื™ ื‘ืงืœืคื™ ื›ื™ ืžืœืš ื™ืฉ ืจืง ืื—ื“ ๐Ÿคฃ
ืขื‘ืจื™ืช
26
26
615
7.7K
drorlb
drorlb@drorlbยท
@mattparlmer And they're going to be totally surprised when the actual state will want to have a word about that. Hint: the state has a monopoly on violence.
English
1
0
2
412
mattparlmer ๐Ÿช ๐ŸŒท
Open secret that the big AI labs see themselves as emergent state-like entities in the vein of the distributed polities in โ€œDiamond Ageโ€ or โ€œTerra Ignotaโ€, which is pretty funny bc staff at said labs always seem surprised when state-like dynamics such as internal politics crop up
English
28
88
1.5K
48.8K
drorlb
drorlb@drorlbยท
@guywiener ื”ืคืชืจื•ืŸ ืฉื™ืชืงื‘ืœ ื‘ืคื•ืขืœ: ืชื™ื—ื ืงื• 0ืžื•ืœื ื™ื ื—ืžื•ืฆื™ื ืจืง ื‘ื™ื‘ื™!
ืขื‘ืจื™ืช
0
0
0
342
Guy Wiener
Guy Wiener@guywienerยท
ืงื•ืจืื™ื ื™ืงืจื™ื, ืขื–ืจื• ืœืžืขืจื›ืช ื”ื—ื™ื ื•ืš ื‘ื™ืฉืจืืœ ืœืคืชื•ืจ ืืช ื”ื‘ืจื•ืš ื”ืœื•ื’ื™ ืฉื”ื™ื ื ืงืœืขื” ืืœื™ื•: 1. ื‘ืชื™-ืกืคืจ ื—ื™ื™ื‘ื™ื ืžืจื—ื‘ ืžื•ื’ืŸ ื›ื“ื™ ืœื—ื–ื•ืจ ืœืคืขื™ืœื•ืช 2. ื›ืœ ืžื‘ื ื” ืฉื™ืฉ ื‘ื• ืžืจื—ื‘ ืžื•ื’ืŸ ื—ื™ื™ื‘ ืœื”ื™ื•ืช ืคืชื•ื— ืœืฆื™ื‘ื•ืจ ื‘ื–ืžืŸ ืื–ืขืงื” 3. ืืกื•ืจ ืœื”ื›ื ื™ืก ืื ืฉื™ื ื–ืจื™ื ืœื‘ื™ืช-ื”ืกืคืจ ื›ื“ื™ ืœืฉืžื•ืจ ืขืœ ื‘ื˜ื—ื•ืŸ ื”ืชืœืžื™ื“ื™ื
ืขื‘ืจื™ืช
10
0
82
5.3K
atlas
atlas@creatine_cycleยท
we went from "if anyone builds it, everyone dies" to AI being less popular than ICE in the polls to AI leaders being firebombed pretty quickly
English
30
15
573
21.7K
drorlb
drorlb@drorlbยท
@0xFrenxbtdotxrp This can be solved by Reinforcement Learning, namely Reinforcement Learning by Molotov Cocktails.
English
0
0
22
2K
drorlb
drorlb@drorlbยท
@Xenoimpulse You forgot "babbling about P(Doom)" while not understanding this increases P(Molotov Cocktail)
English
0
0
5
209
psychosomatica
psychosomatica@Xenoimpulseยท
Literally just stop talking about permanent underclasses, reveling in constructing a panopticon, and twirling your mustache. Don't evilmax for the purposes of gaining edgy social credit at SF parties. It's not hard. Simply look at someone like Marc Andreessen and do the opposite.
English
16
40
618
14.1K
drorlb
drorlb@drorlbยท
@edzitron He's technically correct. Nobody has considered the idea of building an online pharmacy (but with LLM!) slinging GLP-1 of unclear origins. Great innovation all around.
English
0
0
1
278
drorlb
drorlb@drorlbยท
@nir_benz ื›ื‘ืจ ืฉืžืขืช ืืช ื”ืงืฉืงื•ืฉ ื”ื™ื—ืฆื ื™ ื”ื–ื” ื‘ืฉื ื™ื ื”ืงื•ื“ืžื•ืช, ืœืจื•ื‘ ืžื›ื™ื•ื•ืŸ ืกืื ืืœื˜ืžืŸ. ื‘ืฉื ืชื™ื™ื ื”ืื—ืจื•ื ื•ืช ื’ื ืžืื ืชืจื•ืคื™ืง.
ืขื‘ืจื™ืช
1
0
1
58
Nir Ben-Zvi
Nir Ben-Zvi@nir_benzยท
ืขื•ื“ ืงื‘ื•ืฆื” ื˜ื•ืขื ืช ืฉื”ืฆืœื™ื—ื” ืœืฉื—ื–ืจ ืืช ื”ืชื•ืฆืื•ืช ืฉืœ Mythos. ืžื‘ื˜ื™ื—ื™ื ืœืคืจืกื ื”ื›ืœ ื‘ืฉื‘ื•ืข ื”ืงืจื•ื‘. ืื ื™ ืžื ื™ื— ืฉื›ืžื•ื”ื ื ืจืื” ืขื•ื“. ืืคืฉืจ ื›ื‘ืจ ืœืกื›ื ืฉืดื”ืžื•ื“ืœ ื›ืœ ื›ืš ืžืกื•ื›ืŸ ืฉืื ื—ื ื• ืœื ืžืฉื—ืจืจื™ื ืื•ืชื•ืด ื–ื” ืงืฉืงื•ืฉ ื™ื—ืฆื ื™? ื‘ื›ืœ ืžืงืจื” ืื ื™ ื‘ื˜ื•ื— ืฉื ืฉืžืข ืืช ื”ืื™ื•ื ื”ื–ื” ืขื•ื“ ื”ืจื‘ื” ื‘ืฉื ื™ื ื”ืงืจื•ื‘ื•ืช.
Dawid Moczadล‚o@kannthu1

UPDATE: We were able to replicate the Mythos findings using existing models (GPT5.4) Writeup coming early next week, no BS prompts, it's real reproduction

ืขื‘ืจื™ืช
6
0
27
2.5K
drorlb
drorlb@drorlbยท
@xriskology Uh that's so 2025. New models (from the last week) are a step change and will change everything forever until next week when we use the same talking point. /s
English
0
0
0
17
drorlb
drorlb@drorlbยท
@david_lisovtsev ืกืชื ืฉืืœื”, ืœืžื” ื”ื ืœื ื”ื•ืจื’ื™ื ื™ื•ืชืจ ืืช ื”ืงืฆื™ื ื™ื ืฉืœื”ื? ื–ื” ื ืฉืžืข ื›ืžื• ื”ืคืชืจื•ืŸ ื”ื‘ื˜ื•ื— ื™ื—ืกื™ืช. ื’ื ื™ืขืœื” ืืช ื”ืžื•ืจืœ.
ืขื‘ืจื™ืช
4
0
76
5.1K
David Lisovtsev
David Lisovtsev@david_lisovtsevยท
ื™ืฉ ืขื•ื“ ื”ืจื‘ื”! ื“ื•ื’ืžื” ืื—ืช ื‘ืœื‘ื“: ืื ืจื—ืคื ื™ืกื˜ ืžืื‘ื“ 3 ืจื—ืคื ื™ ืžืื‘ื™ืง [ื’ื ืื ื”ื ื ืคืœื• ืžืกื™ื‘ื” ืžื‘ืฆืขื™ืช] ื‘ืื—ื“ ืžืื’ื“ื™ ื”ื—ื™"ืจ ื‘ืฆื‘ื ืจื•ืกื™ื”, ื”ื•ื ื ืฉืœื— ืœืžืฉื™ืžืช ืขื•ื ืฉื™ืŸ. ื”ื•ื ืฆืจื™ืš ืœืจื•ืฅ ืขืœ ืขืžื“ืช ื”ืื•ื™ื‘ ืขื ืžื•ืงืฉ ื "ื˜ ื‘ื™ื“ื™ื™ื ื•ืœืœื ื ืฉืง, ืœื”ื˜ื™ืœ ืœืฉื ืืช ื”ืžื•ืงืฉ ื•ืœื—ื–ื•ืจ ื‘ื—ื–ืจื”. ืื ื”ื•ื ืžืกืจื‘ ื”ื•ื ืžื•ืฆื ืœื”ื•ืจื’, ืื ื”ื•ื ืขื•ืฆืจ ื‘ืืžืฆืข ื”ื•ื ืžื•ืฆื ืœื”ื•ืจื’ ืขื ืจื—ืคืŸ ืžืชืื‘ื“ ืจื•ืกื™.
Yaniv Manoss@yaniv_man

@david_lisovtsev ื–ื” ืื—ื“ ื”ื“ื‘ืจื™ื ื”ื›ื™ ืžื“ื›ืื™ื ืฉืงืจืืชื™

ืขื‘ืจื™ืช
28
4
672
61.8K
drorlb
drorlb@drorlbยท
@banteg Not going to happen. The tech media is too inept and lazy. Will fall for it again and again.
English
0
0
0
140
banteg
banteg@bantegยท
best case scenario is we get a regularly scheduled model release that beats mythos in the near month, nothing catastrophic happens, and then itโ€™s business as usual. ideally with anthropic being laughed out of the circus with their embarrassing marketing tactics.
English
17
8
270
12.2K
drorlb
drorlb@drorlbยท
@Noahpinion actually worse, you omitted the loopy part of "... and possibly kill everyone. You can't resist the match of technology" making them look like cartoon villains. If you take sama and damodei proclamations at face value, violence is rational.
English
0
0
3
113
Noah Smith ๐Ÿ‡๐Ÿ‡บ๐Ÿ‡ธ๐Ÿ‡บ๐Ÿ‡ฆ๐Ÿ‡น๐Ÿ‡ผ
If your corporation's stated goal is to put everyone on welfare for all eternity, yelling about "progress" and GDP and whatever will not make you more popular. Everyone will know that you think all that income will go to corporations, with a little bit parceled out as welfare.
Noah Smith ๐Ÿ‡๐Ÿ‡บ๐Ÿ‡ธ๐Ÿ‡บ๐Ÿ‡ฆ๐Ÿ‡น๐Ÿ‡ผ@Noahpinion

Exactly. AI people don't just *predict* that AI will make humans unemployable. They make it their explicit corporate goal! OpenAI's corporate mission is to create "AGI", which they define as something that can do any human's job!

English
11
8
173
14.6K
drorlb
drorlb@drorlbยท
@odysseus0z Based China dude provides great value for money? Awesome. Go China dude!
English
1
0
1
60
George
George@odysseus0zยท
OH: some dude in Fujian (scam capital of China) uses hacked credit cards to subscribe to Claude Code Max, resell them as API at 20% cost, and then sell user traces to Chinese labs for distillation. Bruh.
English
68
191
4K
264.9K
drorlb
drorlb@drorlbยท
@tuvipollack @amitrafaels @ShaniAshkenazi ืžืงื•ื•ื” ืฉื™ืฉ ืœืš ืกื‘ืœื ื•ืช, ื›ื™ ืชืฆื˜ืจืš ื”ืจื‘ื” ืžืžื ื”.
ืขื‘ืจื™ืช
1
0
1
38
ื˜ื•ื‘ื™ ืคื•ืœืง - Tuvi Po
@drorlb @amitrafaels @ShaniAshkenazi ื•ืืช ื”ื”ื™ืฉื’ื™ื ืฉืœ ืื™ืจืืŸ ื”ื™ื•ื? ื•ืืช ื”ื”ื™ืฉื’ื™ื ื”ืขืงื™ืคื™ื ืฉืœ ื˜ื•ืจืงื™ื”? ื•ืกื™ืŸ? ื•ืจื•ืกื™ื”?
ืขื‘ืจื™ืช
1
0
1
65
Amit Rafael
Amit Rafael@amitrafaelsยท
ืืชื ืงื•ืœื˜ื™ื ืฉื–ื• ื”ืžืœื—ืžื” ื”ืจืืฉื•ื ื” ื‘ืชื•ืœื“ื•ืช ื™ืฉืจืืœ ืฉื”ืคืกื“ื ื• ื‘ื”?
ืขื‘ืจื™ืช
47
3
73
5.4K
drorlb
drorlb@drorlbยท
@tuvipollack @amitrafaels @ShaniAshkenazi ืื ืฉื™ื ืคื” ืขื“ื™ื™ืŸ ืœื ื‘ืฉืœื™ื ืœื”ื‘ื™ืŸ ืืช ื”ื”ื™ืฉื’ื™ื ื”ืžืฆืจื™ื™ื ื‘ืžืœื—ืžืช ื™ื•ื ื›ื™ืคื•ืจ. ืชืŸ ืœื”ื ื–ืžืŸ.
ืขื‘ืจื™ืช
1
0
2
61
ื˜ื•ื‘ื™ ืคื•ืœืง - Tuvi Po
@amitrafaels @ShaniAshkenazi ื”ืคืกื“ื ื• ื›ืžืขื˜ ื‘ื›ืœ ื”ืžืœื—ืžื•ืช. ืžืื– ื”ืžืœื—ืžื•ืช ื”ื’ื“ื•ืœื•ืช ื”ืื—ืจื•ื ื•ืช ื›ื‘ืจ ืื™ืŸ ืžืฉืžืขื•ืช ืœื‘ื™ื˜ื•ื™ื™ื ื›ืžื• ื ื™ืฆื—ื•ืŸ ืื• ื”ืคืกื“. ื•ื‘ืขื™ืงืจ: ื”ืชื•ืฆืื” ืœื ื ืงื‘ืขืช ื•ืœื ืžืชืงื‘ืขืช ื‘ื™ื•ื ืฉื‘ื• ื ื•ืจื” ื”ืคื’ื– ื”ืื—ืจื•ืŸ. ื‘ืžื‘ื—ืŸ ื”ืชื•ืฆืื” ืœืื•ืจืš ื–ืžืŸ ื‘ืจื•ืจ ืฉื”ืคืกื“ื ื• ื‘ืจื•ื‘ ื”ืžืขืจื›ื•ืช ืฉื ื™ื”ืœื ื•. ื›ืžื• ื‘ื›ืœ ืคื™ืจืžื™ื“ื”, ืื ื—ื ื• ืžื’ืœื’ืœื™ื ื”ืคืกื“ื™ื ืžืžืœื—ืžื” ืœืžืœื—ืžื”, ืžื“ื•ืจ ืœื“ื•ืจ
ืขื‘ืจื™ืช
2
0
33
720