HNHacker News
TopNewBestAskShowJobs

wslh

36,902 karma · joined March 8, 2009

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

submissionscomments
wslh··on The obscure trust looming over Anthropic's IPO
Tokens or something similar like credits? In the world of crypto it was common to receive a relatively small share of a company while you were compensated in tokens.
wslh··on An ESPN producer who quit because of sports gambling
I also found that sports gambling created an "industry" of proxies for sub18 consumers which makes the issue more terrific.
wslh··on Apple ML Research: Muse Spark Open with MLX on Mac Studio
Am I right that investing in your own ML hardware only makes sense when you are dealing with private data and confidential sessions, right? (Not counting development or tinkering work).
wslh··on How to Formalize All of Mathematics
I understand that, even taking Gödel's results into account, formalization helps us analyze mathematics and can lead to new (non-mechanical) ideas and results.
wslh··on I know why the mathematicians weep
Your comment assumes math and science are some kind of closed systems that can mechanistically pursue any endeavour but reality (whatever it is (e.g. the universe)) is much more complex than that, and there are realities that are outside of those systems. Not saying that humans can see all those realities though.
wslh··on I know why Mathematicians weep
> They're now aware that they may never again have the joy of being the first to pull up the edge of the tarp of ignorance...

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.

wslh··on Simons Foundation launches $15M effort to help mathematicians navigate AI era
They also gifted $ 5m [1] to the FRO (Lean Focused Research Organization) [2].

[1] https://www.simonsfoundation.org/news/from-trust-to-verifica...

[2] https://lean-lang.org/fro/

wslh··on The First Social Network: In rural Argentina residents send messages w AM radio
> because we've allowed a system (capitalism) to be created

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>

wslh··on Nvidia's first GPU: GeForce 256
I remember buying the Diamond Viper V330 with the nVidia RIVA but unable to use its power because of a lack of [nVidia] Linux support [1].

[1] https://www.nvidia.com/en-us/drivers/linux-readme-install/

wslh··on Sound – Bartosz Ciechanowski (2022)
And there is Moon [1] by him.

[1] https://news.ycombinator.com/item?id=42443229

wslh··on Gemini 4 Argon
Impressive! Previous to Argon I instructed Claude to find preimages in 19 rounds of SHA-256 (with padding) [1], then tried to move to 20 rounds (no padding) where it couldn't beat ~2^45 table lookups, and Argon found preimages in ~2^33 (no padding) [2].

[1] https://github.com/srw/sha256-19step-preimages-with-padding

[2] https://github.com/srw/sha256-20step-preimages-with-no-paddi...

wslh··on Ledger confirms spy chip implant behind wallet crypto thefts
Not sure if your comment invalidates the context: your iPhone app (or hardware or iOS, etc) could have a bug that was not discovered yet. It's all about attack vectors, and opponent motivation and resources.
wslh··on How to engineer an AI harness for game development
I recommend to also take a look at Godogen[1][2] which includes other insights as well. I also tried it to produce 2D animations of fairy tales.

[1] https://github.com/htdt/godogen

[2] https://hn.algolia.com/?q=godogen

wslh··on Gemini 4 Argon
Checked, and already in Antigravity (as the page said).
wslh··on Cracks Are Starting to Appear in the AI Trade
https://archive.is/P9Tx7
wslh··on AI's Giant Money Loop Is Drawing Foreign Cash Like 2008
https://archive.is/6mt6x
wslh··on The Early History of Smalltalk (1993)
Just yesterday I was talking with a friend who works at Instantiations [1]. They were founded in 1988, and still ship a new release every year of Smalltalk. What I find fascinating is that customers are actively building on it and seem happy.

[1] https://www.instantiations.com/

wslh··on LeCun has "zero concerns" about AI wiping out humanity, recent "rogue" incidents
When the issue of ANN vs real neurons arises I always recall about the Christof Koch's [1] book (1998) on the complexity of single neuron computation [2]. A single biological neuron is much more complex than an artificial one.

[1] https://christofkoch.com/

[2] https://academic.oup.com/book/40820

wslh··on Greg Kroah-Hartman – Security in the LLM Age [video]
I think Daniel is giving a more balanced view with:

> 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.

wslh··on Bez: Generating a browser engine from specs and tests
I think browser performance (and security) improvements are really difficult to tackle at the scale of browser complexity, and are both art and engineering. In other words, if this were possible, we would see the results first in existing browsers. This project is very interesting though.
wslh··on Cops Can Bypass iPhone's Automatic Reboot to Get into Locked Phones
I think that the issue is that the law enforcement personnel could make you pass a bad time even if it's covered by the Fifth Amendment. The enforcement could be later than the arbitrary decision.
wslh··on GLM-5.3 and the spread of advanced cyber capabilities
> > They are calling out specific providers who release powerful models without safeguards. > Good thing Fable refuses to answer my question about how children inherit blue eyes, it was the only piece of information I needed to finish my blue-eye super-bioweapon.

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.

wslh··on SpaceX-Focused Pentagon Contracts Leave Rivals Feeling Squeezed
https://archive.is/Uo0ej
wslh··on Linux support is coming to Snapdragon X2 series
No Thunderbolt support is mentioned for Snapdragon X2 [1].

[1] https://www.qualcomm.com/content/dam/qcomm-martech/dm-assets...

wslh··on Linux support is coming to Snapdragon X2 Series
Funny how Qualcomm is juggling three OSes to sell these chips while Apple just stuck a phone chip in the Neo and called it a day. Controlling the chip, the OS, and the actual computer is a huge advantage. Apple is more than one study case on competitive analysis.
wslh··on George Lucas Returns to Earth, Bearing Gifts
IMHO, the best one is the one directed by Irvin Kershner: The Empire Strikes Back.
wslh··on RSA-896
> It’s still exponential

It's actually subexponential: https://en.wikipedia.org/wiki/General_number_field_sieve?wpr...

wslh··on Cloudflare/Security-Audit-Skill
Tip for security professionals using LLMs: audit skills that explicitly frame the task as security research sometimes trigger refusals from the top OpenAI and Anthropic models because they guard against misuse. What works for me: separate skills for bug classes (and bugs in general) without the security framing, plus another skill that combines their findings to spot security bugs.
wslh··on Swift 6.4 Released
I just realized Swift has support for embedded hardware [1]. It's very niche but having a high level programming language as Swift is a great option.

[1] https://github.com/swiftlang/swift-embedded-examples/blob/ma...

wslh··on Al-Qaeda regroups in Afghanistan, 25 years after 9/11
https://archive.is/xdTzD
← PreviousPage 2 of 34Next →