July

@july

1731 Following

205361 Followers

six pfp

i'm gonna be in LA a couple weekends from now, would love to hang out with farcaster peeps for a lunch or something

2 replies

7 recasts

32 reactions

July pfp

M-pesa in Kenya started in 2007 iirc

1 reply

0 recast

1 reaction

July pfp

It has multiple escape velocities Pretty cool

0 reply

0 recast

1 reaction

July pfp

1 reply

0 recast

1 reaction

July pfp

Love this https://arc.aiaa.org/doi/10.2514/1.A36169

3 replies

12 recasts

65 reactions

July pfp

Love this https://arc.aiaa.org/doi/10.2514/1.A36169

3 replies

12 recasts

65 reactions

Rafi pfp

I haven’t listened to a podcast in a while. Episode with @july will break the silence in my headphones (and my mind probably)

1 reply

1 recast

9 reactions

July pfp

1 reply

0 recast

1 reaction

July pfp

0 reply

1 recast

12 reactions

July pfp

Gotta check this video out

1 reply

0 recast

0 reaction

Adam pfp

From where things currently stand it’s difficult to envision Intel making a significant comeback, but I wouldn’t rule them out entirely. They have successfully course-corrected in the past—most notably in the 80s, when they exited the DRAM market after recognizing they couldn’t compete with the efficiency and pricing of Japanese manufacturers. Instead, they shifted their focus and doubled down on microprocessors, such as the 8088. Really great breakdown of this era in this video: https://www.youtube.com/watch?v=At3256ASxlA

1 reply

1 recast

2 reactions

anoncast pfp

2 replies

26 recasts

72 reactions

July pfp

Formal verification of monadic computation

1 reply

0 recast

2 reactions

July pfp

Formal verification of rust imo is the path to certification

1 reply

0 recast

0 reaction

July pfp

1 reply

7 recasts

39 reactions

Shane da Silva pfp

Pretty huge win for Rust if all unsafe functions can be formally verified. https://foundation.rust-lang.org/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries/

2 replies

22 recasts

86 reactions

July pfp

ah thanks! i honestly had forgotten where I had heard it and was looking for it

1 reply

0 recast

1 reaction

July pfp

I stayed at a hotel in Todos Santos, and I started talking to some gringos. Turns out they were from SF, Boulder, Brooklyn. Lmao

1 reply

0 recast

2 reactions

July pfp

Drive from Todos Santos, La Paz is ok but better accommodation in TS Playa Balandra is beautiful though

1 reply

0 recast

2 reactions

July pfp

Also you might notice that there’s moments when Japan skips ahead in progress. An example of this is iMode in Japan, it was mobile internet available in the 2000s way before mobile phones existed in the us that were internet capable However since there was no subsequent innovation after, they got leapfrogged and was one of the last large economics countries to adopt the iPhone and even then Masa Son and SoftBank (which was originally a mobile carrier btw) really turned into a thing

1 reply

1 recast

21 reactions