Daniel Luca 🦄

Perpetual Progress. Security | Blockchain | DeAI. @codeislawfilm,
Tech Partner @edenblockvc | ex @consensys 🦇🔊

[Daniel Luca 🦄 @cleanunicorn]

https://t.co/6OMNxHHULI

[Daniel Luca 🦄 @cleanunicorn]

too much

[Lior Messika @lior_eth]

fuck

[Daniel Luca 🦄 @cleanunicorn]

Lean4 is the solution.

[philogy @real_philogy]

I think it really comes down to:
1. Quality matters
2. Code is a liability not an asset
3. LLMs depend on the same context they pollute with their code

My prediction is that the adoption and use of dependently typed languages like Lean4 will be a greater lever to LLMs becoming usable in more areas, even more than further incremental improvement in models.

[Daniel Luca 🦄 @cleanunicorn]

Data labeling centers are the new sweatshops.

[Daniel Luca 🦄 @cleanunicorn]

Since I know you're jumping between a few different setups with Claude Code, you might find this useful.

It handles the session encryption and syncing across machines so you don't have to worry about it.

https://t.co/zNskmJvZkD

[Daniel Luca 🦄 @cleanunicorn]

Hello, time traveller! Can you share the tech with us?
Most dates are in the future.

And what happened with the website? None of the dates match the dates on Spotify.

@SachiMiyasaki

[Daniel Luca 🦄 @cleanunicorn]

Since I know you're jumping between a few different setups with Claude Code, you might find this useful.

It handles the session encryption and syncing across machines so you don't have to worry about it.

https://t.co/zNskmJvZkD

[Noah @NoahKingJr]

Anthropic with Software engineers:

[Socket @SocketSecurity]

🚨 UPDATE: Mini Shai-Hulud has crossed from @npmjs into @pypi and is still spreading.

Newly confirmed compromised artifacts:

@​opensearch-project/opensearch: 3.5.3, 3.6.2, 3.7.0, 3.8.0 (1.3M weekly downloads)

mistralai: 2.4.6 on PyPI

guardrails-ai: 0.10.1 on PyPI

additional @​squawk/* packages on npm

guardrails-ai 0.10.1 executes malicious code on import. On Linux, it downloads git-tanstack[.]com/transformers.​pyz, writes it to /tmp/transformers.​pyz, and runs it with python3 without integrity verification.

The git-tanstack.​com domain displayed a message signed “With Love TeamPCP,” along with: “We've been online over 2 hours now stealing creds
Regardless I just came to say hello :^)”

The page also linked to a YouTube video and you can probably guess which one.

[Daniel Luca 🦄 @cleanunicorn]

@sasha_tanase Harry Potter vibes

[Daniel Luca 🦄 @cleanunicorn]

@Hiraweb3 He didn't even need to. Heretic is open sourced, he chose not to be public about using their code.

[Daniel Luca 🦄 @cleanunicorn]

HauhauCS Uncensored Aggressive is actually Heretic when you look under the hood.

A recent abliteration model creator was uncovered to actually be a plagiarizer of the popular Heretic library without attribution.

Effectively violating the license.

https://t.co/AuIMhE165R

[Sasha Tănase.eth 🦇🔈 @sasha_tanase]

On my way to EthPrague. Come to my talk and learn how to:

✧༺♥༻∞

ENHANCE UXR WITH AI: diverting from fear to empowerment

∞༺♥༻✧

[Daniel Luca 🦄 @cleanunicorn]

The fun never ends.

What do I do now?

[ETHPrague @EthPrague]

Saturday, May 9th
Movie: Code is Law

Right in the middle of ETHPrague, take a moment to slow down, recharge, and join us for a special screening of @CodeIsLawFilm. Special shoutout to the director @jamescraig1111!

👉 https://t.co/khzU5xieim

[banteg @banteg]

@ajambrosino nooo, not the bloat

[Daniel Luca 🦄 @cleanunicorn]

@peter_szilagyi I also cancelled my Claude yesterday and subbed to Codex

[Pluralis Research @Pluralis]

The first Protocol Learning workshop in Rio today!

A new field is emerging: decentralized training of foundation models. Because the world’s intelligence belongs in open, collectively owned systems.

Thanks for joining @oguzer90 @niclane7 @m_ryabinin @namhoonlee09 @itsmaddox_j

[Daniel Luca 🦄 @cleanunicorn]

@Leo_Glisic @veorq Yup, he's got zero qubits

[Daniel Luca 🦄 @cleanunicorn]

The cost of training models increases by roughly 2.4x every year.