Let’s look at the curves and . They’re pretty simple, so naturally, we’re going to use some big tools to analyze him. Today the plan is to look at these curves by studying how functions behave on them locally.
All posts for the month February, 2010
Posted by intoverflow on 28 February, 2010
- RT @JoeBeOne: you'd be crazy to miss this at SXSW! twitter.com/dotMudge/statu… 1 week ago
- RT @duo_labs: Flipping Bits and Opening Doors reverse engineering a wireless security device by @sirus duo.com/blog/flipping-… 2 weeks ago
- RT @dotMudge: Consumer Reports to use Cyber-ITL methodologies in evaluating products. consumerreports.org/privacy/consum… 2 weeks ago
- So everyone is now gonna humble brag about how leet they are in spite of not knowing some kind of trivia? 3 weeks ago
- RT @richinseattle: Happy to announce a 3-day advanced training on "Vuln Discovery and Triage Automation" at HITB in Singapore this fall htt… 1 month ago
- intoverflow commented on issue leanprover/lean#1487 25 March, 2017Mar 25, 2017 intoverflow commented on issue leanprover/lean#1487 The indicated behavior is also useful, though. Consider the case of proving that a category has all limits. The statement of the claim includes uni…
- intoverflow commented on issue leanprover/lean#1487 25 March, 2017
- An error has occurred; the feed is probably down. Try again later.