36,902 karma · joined March 8, 2009
- CoinFabrik: Web3, R&D in decentralization, and security audits. Blockchain (Bitcoin, Ethereum, Solana, Algorand, etc) and language agnostic (Solidity, Rust, etc)
- Nektra: security, application virtualization, reverse engineering, Windows system internals
- BitVMX <https://bitvmx.org/>: BitVMX framework provides the foundations to run any CPU on Bitcoin, with a focus to run a fully-compliant RISC-V processor programmable using a standard compilation toolchain.
Blogging at https://blog.coinfabrik.com @coinfabrik, https://blog.nektra.com @nektra, and https://blog.databigbang.com @databigbang
meet.hn/city/ar-Buenos-Aires
Not "never again", it would be extremely difficult but science and math are also built on random, trial and error, and intuitions that could not arise from AI.
[1] https://www.simonsfoundation.org/news/from-trust-to-verifica...
Before we even discuss capitalism, Argentina's history shows that a large share of its GDP has gone directly to corruption at every level of the pyramid. See [1].
[1] "Corruption accounting and growth: towards a new methodology" <https://ideas.repec.org/a/eme/jfcpps/jfc-04-2019-0039.html>
[1] https://www.nvidia.com/en-us/drivers/linux-readme-install/
[1] https://github.com/srw/sha256-19step-preimages-with-padding
[2] https://github.com/srw/sha256-20step-preimages-with-no-paddi...
> Any project that has not scanned their source code with AI powered tooling will likely find huge number of flaws, bugs and possible vulnerabilities with this new generation of tools. Mythos will, and so will many of the others.
Greg's video is a good reality check on the hype. But I'd be careful about generalizing from Linux, libcurl, etc which get far more scrutiny than software projects in general. LLM-assisted bug finding still matter a lot for everyday custom and less popular software.
FWIW: I didn't experience issues when I used Fable via OpenRouter checking for security issues in code but experienced them via the Claude desktop app.
[1] https://www.qualcomm.com/content/dam/qcomm-martech/dm-assets...
It's actually subexponential: https://en.wikipedia.org/wiki/General_number_field_sieve?wpr...
[1] https://github.com/swiftlang/swift-embedded-examples/blob/ma...