Next, to torrent you have to install i2psnark (there are some other options, such as qbittorrent and biglybt and stuff, but I haven’t figured those out yet). Here’s are binaries:
I2psnark requires i2cp, so just enable that in i2pd.conf. Then, ssh forward that on your pc if you installed it on another pc dedicated to running i2p. Running i2p for a long time helps with discovery; the longer you run it the more sites you’ll be able to visit and the faster they’ll load imo.
Personally i use the i2pd router. There’s i2pd, which is implemented in c/c++, and the regular i2p router which is implemented in java.
There might be some settings you have to fiddle with to get it to run (i set upnp on so my router isn’t firewalled, which helps connect to more peers). I recommend this Mental Outlaw video
afaik that torrenting via tor hurts the tor network. Tor works by routing your traffic to three different hops, the last hop being the exit node, optionally a bridge hop if tor is censored in your country, and encrypting it along the way. Since tor is run by volunteers, they have to opt in by becoming a middle/guard relay or, if they have the ability to fight legal notices, an exit node. Torrenting through this network increases the bandwidth requirements of the networks and makes everything slower
I2p works by having everyone be a router which passes information to other routers, so by default if a malicious node gets a packet from another node, the malicious node is not sure whether it originated from it or if it was merely another hop. The upside is, since everyone is participating as a router, torrenting actually helps the network because more nodes will see you and it advertises that “hey, this guy right here is a router” and some packets will be sent to you for you to route.
Although i2p is supposed to be a “network within a network”, some i2p nodes volunteer to be outproxies and will route traffic to the clearnet. These outproxies face the same legal liablities as exit nodes in tor. So it is indeed possible to torrent through the clearnet, provided you use an outproxy routing your traffic to i2p
I believe you can still download through i2p (route the clearnet torrent packets through the i2p network, obfuscating your ip address) using an outproxy (kind of like an exit node from Tor)
Thank you for your criticism. If I'm not missing anything, Haskell's () and Void type corresponds to the unit and bottom type respectively. What would the top type be in Haskell?
The completeness theorem applies to any first-order theory: If T is such a theory, and φ is a sentence (in the same language) and every model of T is a model of φ, then there is a (first-order) proof of φ using the statements of T as axioms. One sometimes says this as "anything universally true is provable". This does not contradict Gödel's incompleteness theorem, which shows that some formula φu is unprovable although true in the natural numbers, which are a particular model of a first-order theory describing them — φu is just false in some other model of the first-order theory being considered (such as a non-standard model of arithmetic for Peano arithmetic). This kind of failure of consistency between a standard and non-standard model is also called Omega Inconsistency.
My interpretation is that propositional logic is complete, but propositional logic is incomplete when you consider facts about propositional logic.
Pass, my landlord will kill me 😅