Has anyone looked at doing partial evaluation of an encryption algorithm with its private key?
I'm just curious whether you can build a bespoke encryptor that hides the private key somewhat (though obviously this wouldn't be a nice public key system for many reasons).
Huh I've always thought the (in)famous container_of that Linux uses to implement generics was unambiguously not well-defined by C standards. But apparently there's debate... stackoverflow.com/q/25296019/2...
Mine is entering an odd perfect number
Ramanujan would just be "oh that 8 digit number is just the 454th prime!" (Ok the primes grow slower than that)
I don't make the rules. I just selectively apply and/or modify them.
My proofs are to math as this is to art
Locally sourced
I think I'll work as a provider of artisanal theorems
Holy crap. It's all Rover:
rocq-prover.zulipchat.com#narrow/chann...
Another day of "wait, is it Friday? Ah shit it's Monday".
While that is true, I'm not sure this explains why this allows the Godel-Lob condition to be forced at all worlds.
Apparently the frame condition for provability logic is "conversely well-founded". That's super cool! I don't really have an intuition for this though: why does having a proof somehow relate to well-foundedness in this setting?
I've made a grave mistake: thinking I could formalize a theorem playing loosely goosey with the paper proof
Linkedin feels like instagram for programmers.
It's weird having anxiety as a white dude because, like, what could I possibly have to worry about?
Chilling with my bros
You wouldn't want a mathematician to handle a support line, trust me
I definitely can't either!
Yes, the ever touted utility of supersingular ellptic curves with non-integer isomorphisms ;)
I'm with Zach here, the distinction is meaningless operationally.
Worth noting that the really big deals in math involve wholesale novel concepts, which hasn't been yet demonstrated by such tools.
But still.
This useful for the practice of mathematics, and history has shown that that in turn is (sometimes) useful for other human endeavors, like physics and engineering, computer science etc.
So potentially a big deal!
Short answer: yes, potentially enormously.
Computers indeed compute things that are hard for humans, and that has been incredibly useful, but this is qualitatively different; math problems that researchers deal with require creativity to solve, in ways that so far we haven't been able to automate.
Apparently the JVM does NOT like shenanigans
Welp. It's really hard to rent an apartment in France if you haven't lived here for years.
It's kinda bullshit.
Neat! I enjoyed Blue Prince because the title sounds a little like blueprints, which is ironic because the game centers around those.
Not sure a lot of puzzle game players caught that one. Kind of a meta joke.
That's actually how they do it nowadays
It's The Sun and their cruel ilk though, sadly.
Example?
