jacoblambda

21 ms·

61.
by jacoblambda 5y ago
That's just a parser though. Like described in the post, parsers sometimes can fail but importantly they always pass along the result if they succeed. Validation functions on the other hand only validate that said data is valid. The ar
62.
by jacoblambda 5y ago
Sure they may try but I don't see how they could make Bitcoin any less accessible than Bittorrent is nowadays. Doubly so considering that if this was to become a legitimate issue cryptocurrencies could just update their peer discovery
63.
by jacoblambda 5y ago
It's still just as useful. The fact that's proven is what helps other proofs. A computer assisted proof is just as correct or helpful, it just may be more complicated of a proof initially. Given time said proof can be simplified b
64.
by jacoblambda 5y ago
The key thing here is that nobody can force you to pay your taxes. If you refuse to pay you can be arrested and/or go to jail but the change here is that you can't force someone to give you money but you can compel them to. I like
65.
by jacoblambda 5y ago
FHE doesn't provide authentication of correctness (i.e. that the correct operation was performed) but you can verify its signature. You can still verify that it's your data but you just can't verify what they've done wit
66.
by jacoblambda 5y ago
To my knowledge, those make no guarantee that the work done is correct, only that it is private and secure (which is effectively the same root assumption as with FHE).
67.
by jacoblambda 5y ago
Based on the other comment, it looks like it's another language that happens to shorten down to APL in name rather than APL "A Programming Language". It looks like some internal Java derivative language which sounds like coul
68.
by jacoblambda 5y ago
I think that quiet vs verbal mind personality difference is really what separates whether people like which languages. I personally can't stand languages that are "spoken description". I understand the appeal to others but th
69.
by jacoblambda 5y ago
If the house is in the few thousand to tens of thousands of USD range, you could probably afford to pay for a fibre run out to your property with the money saved compared to the cost of a house in the US or EU.
70.
by jacoblambda 5y ago
There's some collaboration features. You can create "keeshares" between multiple separate databases. All the databases can append, update, or read the share. You can't delete an entry but you can deprecate it and stop up
71.
by jacoblambda 5y ago
While it is a small and unlikely reason, it's a succint explanation that can be used to explain away this entire clusterfuck of an incident. Doubly so putting the explanation with little wording to leave doubt should help the family ge
72.
by jacoblambda 5y ago
Had they used random constrained testing (property based testing/quickcheck for the HW world) on the HDL for their design, this likely wouldn't have gotten past even the initial review phase.
73.
by jacoblambda 5y ago
They are GPU accelerated python packages so they have to carry along the GPU bits. They don't take along drivers but they have to carry along binaries for the various GPU architectures . If you only want to support one GPU model/g
74.
by jacoblambda 5y ago
Same. I thought this was a Halide integration on iOS. Interesting how products in intersecting spaces converge on names. I am curious though if any tech on iOS leverages Halide and whether it's even feasible. It would be cool to get Ha
75.
by jacoblambda 5y ago
Thanks for those. I really like the work that Tezos has been doing and the more I see from them the more impressed I am. By the way what's your thought on Plutus ( https://developers.cardano.org/en/programming-langu
76.
by jacoblambda 5y ago
Had this contract been written in idiomatic glow, it would have been structured as a state machine and transitions would be forced to be explicit. You could specify invariants on the states as well as constrain the behaviour of the transiti
77.
by jacoblambda 5y ago
Personally my approach is to use a unique GPG Authentication key per machine with gpg-agent. They can't log back into the current machine and unless it's a targetted attack they shouldn't have any knowledge of my other machin
78.
by jacoblambda 5y ago
Note that they could only log back into your machine if you use the same credentials to between machines. This is one of the arguments for generating a unique SSH key on each machine you use. It makes it far harder to break in if you mess u
79.
by jacoblambda 5y ago
In most cases it's bound to your collateral so if you don't pay back or the value of the collateral dips below some level, the loan is automatically reclaimed from your collateral. A lot of the loans are 1:2, 1:4, or greater depen
80.
by jacoblambda 5y ago
There are better tools for this, they just aren't in common use unfortunately. Had this been written in Glow, both this bug and the bug that followed where another 7M was stolen would have been compile errors. This is just the conseque
81.
by jacoblambda 5y ago
I think the big issue is using tools without verification infrastructure. Of course there are specification level bugs to deal with but hacks seem to be oh so often the simple "I forgot to initialise a variable" kind of attacks. I
82.
by jacoblambda 5y ago
Basically what this (and DeFi in general) is is a decentralised lending platform and "liquidity farm". The lending part is relatively self-evident. You can pool funds together and the contract automatically issues loans when reque
83.
by jacoblambda 5y ago
The remote operator wasn't "unjamming" the vehicle FYI. Rather the car kept trying to unstuck itself until the in person operator unlocked the car doors. IMO it's more concerning that the vehicle keeps trying after it ge
84.
by jacoblambda 5y ago
Stablecoins have value outside of just trading pairs on exchanges. The main value I find in them is that they allow you to reason about fiat(or really any other currency) on chain in a far simpler manner. For example, suppose there's a
85.
by jacoblambda 5y ago
My personal favourites outside those already mentioned are SCP-5000 (rather difficult to understand without a decent bit of knowledge of the other SCP-X000's), When Day Breaks, and End of Death. http://www.scpwiki.com/s
86.
by jacoblambda 5y ago
I don't know if you've seen Steins;Gate 0 (the sequel?) to Steins;Gate (technically it happens in between the last and second to last episodes) but I say the series holds up about as well as it could have. There are some rough par
87.
by jacoblambda 5y ago
An ABI also has a concept of defined and undefined behaviour. You can design an ABI that is fully protected against abuse but often the performance penalty for that will be huge. Instead what you'll do is specify the constrained inputs
88.
by jacoblambda 5y ago
There's a bunch of things you can do in C to "clue in" the compiler on what your code is going to do. The easiest is using the preprocessor to hardcode values such that branches can be eliminated. This is nice and all but it
89.
by jacoblambda 5y ago
This is not the case at least on most major networks. On UTxO (Unspent Transaction Output) based networks the transaction is signed by the sender and generates new UTxO for each recipient. The UTxO aren't signed by the recipient but th
90.
by jacoblambda 5y ago
So to my knowledge you can't choose to not accept a transaction but you can always send the transaction back to the sender.

More ›