^ retarded nerd assertion
Lightning has had tons of problems in the past 10 years. Monero virtually none! The world’s most critical systems aren’t formally verified! Software written in Forth that was shot into space and is still working decades later without bugs isn’t formally verified! Erlang switches with 9 nines of reliability for decades straight aren’t formally verified! SSH isn’t formally verified, but a lot more depends on its security than any digital currency (and it is very secure despite being significantly more complicated than LN). NGINX, any name server daemons people actually use, none of this is formally verified.
LN is bad because the basic theory is bad. It does not work as people market it on paper, and there are a ton of stupid kludges built on that foundation to try to deliver on the promises of Lightning’s most vocal proponents despite the protocol fundamentally being incapable of what they promised. Monero is, in fact, orders of magnitude more reliable than Lightning, and is not constantly failing in hilarious and absurd ways like. Lightning.
In contrast, Zcash people are the type to jerk off about formal verification (as if I can trust the proofs these disgusting yids and trannies assert are implemented correctly). And they had an inflation bug in *checks notes* June. This kind of idiotic academic handwaving of “just solve all your problems with formal verification” doesn’t really fly in the real world. In fact, jerking off about this academic shit seems to have a perfect negative correlation with security.
weev
npub1we…409xg
2026-10-02 14:58:02 UTC
in reply to nevent1q…xugg
Author Public Key
npub1weev88wc43slz6jjlq2h30ltmd0ccu9utfe8wet2kkax0w6epavqw409xgPublished at
2026-10-02 14:58:02 UTCEvent JSON
{
"id": "71f6b63f79c3d718547ed9cdb5a2221fcdab247f3bfb9a527606187cf0dc872f",
"pubkey": "7672c39dd8ac61f16a52f81578bfebdb5f8c70bc5a7277656ab5ba67bb590f58",
"created_at": 1790953082,
"kind": 1,
"tags": [
[
"e",
"41c110b05c422f19b2a8f39ce2b7cda1f0c6b53321ebf32f097583a8cc6bb044",
"",
"root"
],
[
"e",
"75a8a86498c6f21f8d7efce22d606e43fb072091c7d7755fb7f1374fdd7ecef1",
"",
"reply"
],
[
"p",
"7672c39dd8ac61f16a52f81578bfebdb5f8c70bc5a7277656ab5ba67bb590f58"
],
[
"p",
"56e7c32fc9bde6f06e91760cc33a8facd2f21e9d468d153635a655b30a4c0882"
]
],
"content": "^ retarded nerd assertion \n\nLightning has had tons of problems in the past 10 years. Monero virtually none! The world’s most critical systems aren’t formally verified! Software written in Forth that was shot into space and is still working decades later without bugs isn’t formally verified! Erlang switches with 9 nines of reliability for decades straight aren’t formally verified! SSH isn’t formally verified, but a lot more depends on its security than any digital currency (and it is very secure despite being significantly more complicated than LN). NGINX, any name server daemons people actually use, none of this is formally verified. \n\nLN is bad because the basic theory is bad. It does not work as people market it on paper, and there are a ton of stupid kludges built on that foundation to try to deliver on the promises of Lightning’s most vocal proponents despite the protocol fundamentally being incapable of what they promised. Monero is, in fact, orders of magnitude more reliable than Lightning, and is not constantly failing in hilarious and absurd ways like. Lightning.\n\nIn contrast, Zcash people are the type to jerk off about formal verification (as if I can trust the proofs these disgusting yids and trannies assert are implemented correctly). And they had an inflation bug in *checks notes* June. This kind of idiotic academic handwaving of “just solve all your problems with formal verification” doesn’t really fly in the real world. In fact, jerking off about this academic shit seems to have a perfect negative correlation with security. ",
"sig": "6ac42c043da7ccb10162913aa03bf185aae7da96fb161ad838f62d7c5fa98766bce47bb61ef48c8d4f742b322d9b97d715ff290f20c89c5fb885083a2b32866e"
}