back
user profile
wslh
36,474karma·14,804submissions·March 8, 2009
about
Bootstrapped <https://www.coinfabrik.com> in 2014 and https://www.nektra.com in 2003.
- 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
recent activity (14,804 total)
comment
I remember that Matteo Realdo Colombo (1515-1559) [1] described the clitoris. There is a novel about the story [2] which was the finalist on one of the top Spanish literary prizes [3]. [1] https:…
comment
LinkedIn already employs anti-scraping measures, so I'd expect a lot of users to get flagged. That's not unique to LinkedIn but what is somewhat unique is the strong linkage to real world id…
comment
I checked out and BB revenue report [1] "driven by upbeat strength across its QNX division" (quote). I think this will make more difficult to obtain a QNX license if they don't see it s…
comment
https://archive.is/IHDqH
comment
Check https://retro.moe/ !
comment
The idea of backward updating is fascinating but is not generally feasible or computable. What kind of problems can you solve backwardly?
comment
Announcement in X [1].
"""
Today, at the
@DARPA
expMath kickoff, we launched , an open source and state of the art autoformalization agent harness for developers and practitioners to …
comment
We've seen multiple ideas/products get quickly absorbed into frontier models, OSS, or well-funded startups. The cycle from "interesting idea" to "commoditized feature" is…
comment
Amazing! We have played with it to create an animation based on "The Three Little Pigs". Video available here [1]. [1] https://drive.google.com/file/d/1ozZmWcSwieZQ…