cmrx64

10 ms·

91.
by cmrx64 1y ago
the types of arguments and proofs used in cryptography are notoriously difficult to mechanize, a little bit of lean isn’t going to go get anywhere close to stating a security property. eg CryptHOL needs a ton of infrastructure, and in still
92.
by cmrx64 1y ago
good write up, thanks. talk about a combinatorial explosion!
93.
by cmrx64 1y ago
check out auren for an basic take on this
94.
by cmrx64 1y ago
that isn’t proof by contradiction, that’s plain old proof of negation. proof of negation is Neg : (P → False) → ¬P, proof by contradiction is PBC : (¬P → False) → P. a subtle yet crucial distinction
95.
by cmrx64 1y ago
i wish i had a synthetic analog or extract carefully dosed, but alas these experiments were done eating 1/8oz-fungus-per-bar chocolates of unknown potency. 1/16th oz (half a bar) is the max for that usage ime, and that dosage can
96.
by cmrx64 1y ago
It’s incredibly annoying that it will probably be cheaper/easier to get the “real deal” than these analogs for some time. I could buy some LSD or ibogaine right now, who knows how long before I get to eat some TBG. The party scene isn’
97.
by cmrx64 1y ago
if knowledge is a justified true belief, i’m down for saying LLMs have beliefs. to the extent that they are incorrigible, their faith may actually be superhuman.
98.
by cmrx64 1y ago
18% increase in PFC synaptic density?!
99.
Blosc2: Faster-than-memcpy multidimensional arrays(blosc.org)
4 points by cmrx64 1y ago|0 comments
100.
Bibliography of Recent BFT Algorithms(github.com)
6 points by cmrx64 1y ago|0 comments
101.
by cmrx64 1y ago
I think it’s reasonable to consider these as a kind of alien mind. Modeling human text (ie, attempting to explain it by searching for an artificial neural circuit that predicts its distribution) will always induce some echo of humanity in t
102.
by cmrx64 1y ago
link is 404 edit: fixed
103.
by cmrx64 2y ago
interesting question. my (somewhat naive) thought about it is that bonds are maintained by the EM force, which is so strong that it swamps out any contribution from gravity.
104.
by cmrx64 2y ago
It’s a demonstration. wasm is a portable ISA more than a “language”. Surely it makes sense to build things incrementally, in layers? https://internals.rust-lang.org/t/pre-rfc-sandboxed-determin... But go off, king.
105.
by cmrx64 2y ago
There’s already a runtime for sandboxing macros with wasm: https://github.com/dtolnay/watt
106.
by cmrx64 2y ago
https://chatgpt.com/share/67cca4ac-2a38-8000-9901-9f56219c06... … was curious what Gpt-4.5 would do with an absolute paucity of context :)
107.
by cmrx64 2y ago
The combinatorial space is huge, and when I scan through the _curated_ list, I expect the establishment to provide some options from that space that are Actually Good. Maybe something I wouldn’t usually go for calls out to me. It’s an idea
108.
by cmrx64 2y ago
https://archive.ph/J776a
109.
by cmrx64 2y ago
I think this is awful and you should unlearn this knowledge for both of us ;) I foolishly drank two full pots of coffee one absentminded day and spent the next three days in hell experiencing what happens when you saturate your caffeine met
110.
by cmrx64 2y ago
Calling it now, dasani causes dementia.
111.
by cmrx64 2y ago
The 2011 Intel macbook air I used when visiting home throughout college was downright _dangerous_ on a lap, but performed so much better than my Atom-based Aspire One that I felt compelled to learn to tolerate OSX, as a longtime Linux nerd.
112.
by cmrx64 2y ago
The lifetime _is_ changed; this lets you use the lifetime from the HRTB instead of the function generics. It’s not so much the pinning itself that does it, for the type system, but using the trait object enables referring to that HRTB to re
113.
by cmrx64 2y ago
Note that by creating the reference to a local and passing it up through the callback, you are using a fresh region that can’t possibly outlive any of one of the ones you are generic over. Fundamentally, that callback could stash the refere
114.
by cmrx64 2y ago
https://dl.acm.org/doi/10.1145/1028976.1028982 It’s not a “ridiculous claim”, but maybe you think cycle collectors don’t count?
115.
by cmrx64 2y ago
You’re wrong, not sure where you got that conception but the int32/64 distinction is in the core language, with numerous libraries (eg stdint, integers) providing the full spectrum.
116.
by cmrx64 2y ago
I forgot about it so long ago and now that I’m aware of it again, it’s because it shut down… damn. This OSA has been so destructive to early web communities :/
117.
by cmrx64 2y ago
To help OP further, I don’t do any fancy manipulation but the boilerplate is present to grab geometry and futz with it: https://github.com/emberian/blender-graphify Maybe this can inspire some dabbling
118.
by cmrx64 2y ago
There’s this commercial lot nearby, abandoned scrapyard, selling for around $150M. It would be such a cool piece of property for hosting robot fights and drone swarm training arena. Lots of random junk and equipment from being an operationa
119.
by cmrx64 2y ago
Are you a high earner? Do you need to budget your food expenditures? I tip 50% of the post-tax total (or $5, if that’s more) and feel good about supporting the local economy.
120.
by cmrx64 2y ago
I prototyped https://github.com/emberian/serde-reflect if anyone is interested

More ›