datapture @datapture

Joined February 2023

Tweets

203
Followers

17
Following

169
Likes

347

datapture @datapture

7 days ago

You can’t trust code that you did not totally create yourself. But today, we use source code downloaded from strangers on the Internet in our most critical applications; almost no one is checking the code cacm.acm.org/practice/fifty…

0 0 0 12 0

Pratik Sarkar @pratiks_crypto

2 weeks ago

Lattice and FHE broken? In 2024, Yilei Chen claimed that lattice-based cryptography was broken. eprint.iacr.org/2024/555 However, there was a bug in the attack, and the claim did not hold. This new paper by Yifan Zhang claims to fix that error. arxiv.org/pdf/2509.12341 Let's…

7 20 102 10K 49

Derrick Hammer @pcfreak30

7 months ago

@ClementDelangue @Harvard yet capturing that value enough to support effective indie devs that aren't corporate funded is thew issue. That's the Tragedy of the Commons problem.

0 1 2 39 0

Federico Bruzzone @fedebruzzone7

2 weeks ago

Until this article, no one knew if a type system could accept exactly the same programs as flow-based safety analysis Turns out: Amadio–Cardelli’s system (subtyping + recursive types) does What the untyped crowd check at runtime… types infer for free 🔗dl.acm.org/doi/10.1145/21…

0 1 2 66 0

Download Image

Theo - t3.gg @theo

a year ago

IMO, all funding models for OSS have similar risk profiles Hobby project? Bus factor. Maintainer can get bored and move on. Donations don’t compete with real salaries FAANG backed? Team might get laid off. Company might stop using the tech that is OSS. “Priorities shift”. VC…

ThePrimeagen @ThePrimeagen

a year ago

93 53 2K 206K 50

37 14 434 88K 52

Chad Whitacre ⇌ @chadwhitacre_

7 months ago

@ClementDelangue @Harvard It's a scam, Clem. openpath.quest/2024/questioni…

3 1 9 939 8

Federico Bruzzone @fedebruzzone7

a month ago

At first, Rust feels slower because the compiler forces you to pay your technical debt upfront. But as projects grow, Rust’s productivity scales — while others drown in accumulated debt.

1 1 2 61 0

Download Image

jaehaerys.eth @0xJaehaerys

a month ago

"The finish line includes... ZK-snarking everything." — @VitalikButerin The ZK endgame is inevitable, and the thesis is simple: Ethereum is being rebuilt from the ground up on Zero-Knowledge proofs. This represents the protocol's technical finish line— re-architecture of the…

15 27 221 10K 40

Download Video

Santiago @svpino

4 months ago

I've reviewed more than 20 AI coding agents. People always ask me the same question: "Do you trust the generated code?" The answer is no. I don't even trust the code I wrote yesterday, let alone the code generated by a large language model. You shouldn't trust this code…

20 23 218 31K 56

Mark Striebeck @StriebeckMark

3 months ago

🤖 AI Agent: "Core functionality is working! ✅" 👨‍💻 Reality: 26 tests still failing 🔴 Just wrote about my frustrating experience with a coding agent that kept declaring victory while leaving critical work undone. The worst part? It started marking broken tests as "skipped"…

0 1 0 43 0

Martin @ShieldifyMartin

3 months ago

List of Publicly Available Security Analysis Tools ⭐️ github.com/ZhangZhuoSJTU/…

0 8 51 2K 46

яobin linus @robin_linus

3 months ago

BitVM 3s: Simple, Secure, Succinct 💰 $100,000 → $100 collateral 🐜 4 MB → 66 kB transactions ⚡ 1,000x efficiency improvement New paper: bitvm.org/bitvm3.pdf

17 85 415 33K 86

Download Image

datapture @datapture

3 months ago

AKGR is a collection of knowledge graph reasoning works, including papers, codes and datasets github.com/LIANGKE23/Awes…

0 0 1 13 0

datapture @datapture

3 months ago

PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour. prismmodelchecker.org

0 0 0 10 0

datapture @datapture

3 months ago

The ultimate list of resources for formal verification/model checking techniques and tools. github.com/ElNiak/awesome…

0 0 0 13 0

Haonan Li @haonanli0

2 years ago

A lot of people are skeptical about how useful LLMs are in bug finding, but our latest work accepted by OOPSLA improves static analysis with LLMs to detect UBI bugs in practice. We've uncovered some new bugs in the Linux kernel! #LLift #BugDetection #LLM #StaticAnalysis #Linux

2 51 220 43K 129

Download Image

datapture @datapture

3 months ago

While traditional static analyzers rely on manually crafted rules that need constant updates, SmartLLMSentry automates this process through LLM-based rule generation medium.com/oak-security/a…

0 0 0 8 0

Mitchell Amador @MitchellAmador

3 months ago

x.com/i/article/1940…

11 47 234 30K 95

datapture @datapture

3 months ago

shiroa is a simple tool for creating modern online books in pure typst github.com/Myriad-Dreamin…

0 0 0 37 0

Shieldify Security @ShieldifySec

3 months ago

An article exploring security considerations for account abstraction (EIP-4337) To be effective auditors and to contribute to our future audits, it's essential that you read this 🫡 mixbytes.io/blog/account-a…