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

### Threads by latest replies - Page 8

(88 replies)
1MiB, 1366x768, Screenshot (9).png

## The beginning of my quest to discover multivariable calculus

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

Let $g(z) = az$ where $z = \frac{x}{a}$
Let $h(z) = f(g(z), y)$ (such that $h'(z) = \frac{d_af}{dx}$)

Or equivalently using the chain rule:

83 posts omitted
(10 replies)
59KiB, 780x520, nat.jpg

## eternal inflation

No.10146655
>bubble universes
5 posts and 1 image omitted
(5 replies)
1MiB, 490x658, 1542271474652.gif

## Metastuff

No.10147530
>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)
97KiB, 220x317, Hott_book_cover.png
No.10145758
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)
1MiB, 1185x686, LewinWat.png

## Walter Lewin vs Medhi

No.10145666
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)
(5 replies)
30KiB, 738x574, nebula.jpg

## Nebula Genomics

No.10147485
Full genome sequencing for \$99.
(5 replies)

## Antares NG-10 Launch

No.10147314
>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.