/prog/ - /prog/ /proof/

Name: Anonymous 2009-10-25 1:03

1. Let SICP equal 'The Structure and Interpretation of Computer Programs'

Name: Anonymous 2009-10-25 1:12

2. Let sepples equal C++.
3. Let see equal C.
4. Let anybody who mistakes the two get lynched.

Name: Anonymous 2009-10-25 1:16

5. Ergo your wrong bitch

Name: Anonymous 2009-10-25 1:18

6. Let P = NP

Name: Anonymous 2009-10-25 1:58

All I see is some defintions, get to the proving bitches

Name: Anonymous 2009-10-25 2:08

Don’t be impatient, >>5-san.

Proposition 1.4. If ρ_f,λ is associated to a p-divisible group (the ordinary case is allowed) then
⑴ pr_n (H_F¹(Q_p,T)) = H_F¹(Q_p,T/λⁿ) and similarly for T*,T*/λⁿ.
⑵ H_F¹(Q_p,V_λⁿ) is the orthogonal complement of H_F¹(Q_p,V*_λⁿ) under Tate local duality between H¹(Q_p,V*_λⁿ) and similarly for W_λⁿ and W*_λⁿ replacing V_λⁿ and V*_λⁿ.
More generally these results hold for any crystalline representation Ѵ′ in place of Ѵ and λ′ a uniformizer in K′ where K′ is any finite extension of Q_p with K′ ⊂ End_{Gal(Q̄_p/Q_p)}Ѵ′.

(The proof is trivial, and is left as an exercise for the reader.)

Name: Anonymous 2009-10-25 3:41

>>6
It always pisses me off that textbooks like that will call it an "exercise" when really its more like a trial through hell.

Name: sage 2013-12-13 11:27

sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage

Name: Anonymous 2013-12-13 11:34

>>6
Your mom is trivial.

Name: Anonymous 2013-12-22 9:47

YOU HAVE BEEN VISITED BY LE GREEN SAD NEGRO FROGE OF SADDNESS
REPOST THIS IN 100`000 threads or be a frog!

`

           ████████     ██████        

         █░░░░░░░░██ ██░░░░░░█       

        █░░░░░░░░░░░█░░░░░░░░░█      

       █░░░░░░░███░░░█░░░░░░░░░█     

       █░░░░███░░░███░█░░░████░█     

      █░░░██░░░░░░░░███░██░░░░██     

     █░░░░░░░░░░░░░░░░░█░░░░░░░░███  

    █░░░░░░░░░░░░░██████░░░░░████░░█ 

    █░░░░░░░░░█████░░░████░░██░░██░░█

   ██░░░░░░░███░░░░░░░░░░█░░░░░░░░███

  █░░░░░░░░░░░░░░█████████░░░█████████

 █░░░░░░░░░░█████ ████   ████ █████   █

 █░░░░░░░░░░█     █ ███  █    ███ █   █

█░░░░░░░░░░░░█   ████ ████   ██ ██████

░░░░░░░░░░░░░█████████░░░████████░░░█

░░░░░░░░░░░░░░░░█░░░░░█░░░░░░░░░░░░█ 

░░░░░░░░░░░░░░░░░░░░██░░░░█░░░░░░██  

░░░░░░░░░░░░░░░░░░██░░░░░░░███████   

░░░░░░░░░░░░░░░░██░░░░░░░░░░█░░░░░█  

░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░█ 

░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░█ 

░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░█ 

░░░░░░░░░░░█████████░░░░░░░░░░░░░░██ 

░░░░░░░░░░█▒▒▒▒▒▒▒▒███████████████▒▒█

░░░░░░░░░█▒▒███████▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒█

░░░░░░░░░█▒▒▒▒▒▒▒▒▒█████████████████ 

░░░░░░░░░░████████▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒█

░░░░░░░░░░░░░░░░░░██████████████████ 

░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░█     

██░░░░░░░░░░░░░░░░░░░░░░░░░░░██      

▓██░░░░░░░░░░░░░░░░░░░░░░░░██        

▓▓▓███░░░░░░░░░░░░░░░░░░░░█          

▓▓▓▓▓▓███░░░░░░░░░░░░░░░██           

▓▓▓▓▓▓▓▓▓███████████████▓▓█          

▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓██        

▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓█        

▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓█

Name: Anonymous 2014-02-08 8:16

check 'em

Name: Anonymous 2014-02-08 13:05



10 LET $ICP="THE STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS "

20 PRINT $ICP;

30 GOTO 20

Name: Anonymous 2014-02-09 5:08

>>12
What language is that?

Name: Anonymous 2014-02-13 16:59

>>6
I just realised it was me who wrote this over 4 years ago. It's from the proof of Fermat's last theorem

Name: Anonymous 2014-02-13 17:27

>>14
cool story, bro

Name: Anonymous 2014-02-13 23:06

>>14
neat

Name: Anonymous 2014-02-14 5:54

If it is not equal to ``lisp'', let it equal ``shit'', otherwise let [m]it[/code] equal ``crap.''

/prog/ /proof/

1 Name: Anonymous 2009-10-25 1:03

2 Name: Anonymous 2009-10-25 1:12

3 Name: Anonymous 2009-10-25 1:16

4 Name: Anonymous 2009-10-25 1:18

5 Name: Anonymous 2009-10-25 1:58

6 Name: Anonymous 2009-10-25 2:08

7 Name: Anonymous 2009-10-25 3:41

8 Name: sage 2013-12-13 11:27

9 Name: Anonymous 2013-12-13 11:34

10 Name: Anonymous 2013-12-22 9:47

11 Name: Anonymous 2014-02-08 8:16

12 Name: Anonymous 2014-02-08 13:05

13 Name: Anonymous 2014-02-09 5:08

14 Name: Anonymous 2014-02-13 16:59

15 Name: Anonymous 2014-02-13 17:27

16 Name: Anonymous 2014-02-13 23:06

17 Name: Anonymous 2014-02-14 5:54