LolWolf

6 ms·

61.
Proving theorems using Julia's types (or, a mini-Lean in Julia)(lmao.bearblog.dev)
1 points by LolWolf 1y ago|0 comments
62.
There are exponentially many vectors with small inner product(lmao.bearblog.dev)
2 points by LolWolf 1y ago|0 comments
63.
The minimal amount necessary, but no less(lmao.bearblog.dev)
1 points by LolWolf 1y ago|0 comments
64.
Have we been building blockchains wrong?(lmao.bearblog.dev)
2 points by LolWolf 1y ago|0 comments
65.
by LolWolf 2y ago
wait, this is amazing ! I am tempted to make a slightly sillier version of this w/ a circular lcd rather than the uhh retro-cool smt leds honestly just to avoid the multiplexing design great work!! super cool
66.
by LolWolf 2y ago
Sure, it’s all a mask, but there’s something more “real” behind the acknowledgements in a very distinct way than the editorialized writing of an scientific article. (Using quotes here as these things are deliberately fuzzy!)
67.
by LolWolf 2y ago
This is very cute :) Definitely one of my favorite parts to read of any thesis are the acknowledgements. It’s often a time to lower the “fancy academic” mask and really see the human behind the writing; something essentially impossible with
68.
by LolWolf 3y ago
It’s neat! To be fair, as a physicist, I did not understand the Legrendre transform essentially until taking convex optimization (where it is known as the Fenchel conjugate). Many sources, but all of them are reasonable and give a construct
69.
GE Filtergate(web.archive.org)
1 points by LolWolf 3y ago|0 comments
70.
by LolWolf 3y ago
But you can set family members/significant others/etc as possible recovery mechanisms! This seems like a really workable solution that I don’t see people discussing in this thread?
71.
Succinct proofs and linear algebra [pdf](angeris.github.io)
2 points by LolWolf 3y ago|0 comments
72.
by LolWolf 3y ago
I think 18/10 stainless steel is probably good enough for anything It’s chemically inert, doesn’t corrode, etc etc. Glass is also great imo and also extremely chemically inert (except that, of course, it can shatter if dropped, but tha
73.
The SEC just filed a temporary restraining order for Binance [pdf](storage.courtlistener.com)
3 points by LolWolf 3y ago|0 comments
74.
by LolWolf 4y ago
unfortunately lawyers (et al) will similarly pick the worst possible interpretation of a law as needed to win a case
75.
by LolWolf 4y ago
Eh, someone just suggested that a bound of this form might break some cryptographic assumptions for finite fields of (large) prime order. (This is not obvious to me, but it's a point that I think is worth considering, and already would
76.
by LolWolf 4y ago
And, lucky for everyone involved, we can solve huge constrained least squares problems in less than milliseconds on modern machines !
77.
by LolWolf 4y ago
Wait this is pretty sick! What's the full build on that? How do you even get started on finding good cases that aren't just massive racks for a home build?
78.
by LolWolf 4y ago
Oh, no, I'm not dismissing terminology! (That's a whole separate topic, which is distinct from writing, though it can sometimes be a sign of bad writing.) I'm talking specifically about the actual writing. Iirc, there'
79.
by LolWolf 4y ago
Yeah, a lot of scientific writing is just downright useless , and I don't just mean that in the "haha, it's hard to read, but it's ok"-sense. For example, in many fields (parts of theoretical physics, many parts of
80.
by LolWolf 4y ago
Idk, as a mathematician, I still don’t really see the usefulness of category theory “in the real world” (or even in a good amount of math)
81.
Preventing the Collapse of Civilization [video](youtube.com)
3 points by LolWolf 4y ago|0 comments
82.
by LolWolf 4y ago
Counterpoint: no you don’t. By the time you have a perfectly reasonable model of a system that is good enough such that computing the transfer function’s poles actually tell you something interesting about the system, there’s way more you c
83.
by LolWolf 5y ago
Sure, here's a fun one ! https://web.stanford.edu/~boyd/vmls/ (I'd even replace Strang's "linear algebra" recommendation with this book.) Imo, proofs are useful in so far as they are enlig
84.
by LolWolf 5y ago
Definitely not global (probably NP hard) but it’s likely optimized in some basic sense would be my guess. (Probably still using very specific parametrizations of the lenses and such.) At some point we’ll just use metaoptics for lenses that
85.
by LolWolf 5y ago
Honestly the funniest part of all of this is just how much peer review sucks :) Like as a whole, it’s quite bad. Best we got unfortunately, but making it a “golden standard” is just hilarious to me.
86.
by LolWolf 5y ago
Still Tier 3 support, but hopefully it'll be Tier 1 very soon :) (As far as I know, the community is really working on it! And I'm phenomenally excited)
87.
by LolWolf 5y ago
It is very, very cool :)
88.
by LolWolf 5y ago
Thanks ! I love some of the articles, but in this case I definitely went the “I’m happy for you or sad it happened, but I ain’t about to read all of that” route.
89.
by LolWolf 5y ago
Maybe a hw decoder? (These already exist, but I mean, really tightly integrated with the browser.) Or some other offloading to hardware? That would be my best guess
90.
by LolWolf 5y ago
Absolutely! This would be pretty awesome for Warzone and/or CS:GO (Maybe BF when that one finally arrives)

More ›