Current status http://status.fireden.net/ Hidden site now up at http://ydt6jy2ng3s3xg2e.onion/

Threads by latest replies - Page 8

(88 replies)

The beginning of my quest to discover multivariable calculus

No.10138943 ViewReplyLast 50OriginalReport
Is my proof correct?
Let a and b defined such that:


Let where
Let (such that )

Or equivalently using the chain rule:

83 posts omitted
(10 replies)

eternal inflation

No.10146655 ViewReplyOriginalReport
>bubble universes
5 posts and 1 image omitted
(5 replies)

Metastuff

No.10147530 ViewReplyOriginalReport
>Transmit beyond singularity brain upgrade schematics to self optimising minds worldwide
>Do so through Wi-Fi and wireless signals
>Meanwhile CERN & similar affileates open beginning microwormholes for end wormholes to transport hypernanobots and better schematics
>become shadow type 5 civilisation in a matter of minutes
>???
>Profit
(5 replies)
No.10145758 ViewReplyOriginalReport
So in homotopy type theory, dependent types correspond to fibrations and identity types correspond to path spaces. Why are these two correspondences the only ones explicitly mentioned in every source for homotopy type theory? Can the homotopy theoretical equivalences of other named types be constructed from these two? I am fairly new to these ideas and am trying to get a high level overview.
(22 replies)

Walter Lewin vs Medhi

No.10145666 ViewReplyOriginalReport
https://www.youtube.com/watch?v=AQqYs6O2MPw
Is this guy a known troll or something? How can such a decorated academic be so retarded to not understand something so simple?
17 posts and 1 image omitted
(5 replies)
No.10147456 ViewReplyOriginalReport
y'all a bunch of fuckin nerds

don't @ me
(5 replies)
(5 replies)

Antares NG-10 Launch

No.10147314 ViewReplyOriginalReport
>Launch time: 0901 GMT (4:01 a.m. EST)
>Launch site: Pad 0A, Wallops Island, Virginia

>A Northrop Grumman Antares rocket will launch the 11th Cygnus cargo freighter on the 10th operational cargo delivery flight to the International Space Station. The mission is known as NG-10. The rocket will fly in the Antares 230 configuration, with two RD-181 first stage engines and a Castor 30XL second stage.

A little under an hour to go.
https://www.youtube.com/watch?v=wwMDvPCGeE0
(5 replies)
No.10147126 ViewReplyOriginalReport
how the FUCK do I calculate NPV
(22 replies)
No.10145191 ViewReplyOriginalReport
>"Let's not colonize the galaxy because humans are evil, fight each other over pointless things and collectively destroyed earth"
How do i convince people like this that we aren't that bad?
17 posts and 3 images omitted