Joshua Mark

[Joshua Mark @_josh_mark]

@BayAreaClipper @SFMTA_Muni Responded

[Joshua Mark @_josh_mark]

@JoshPantony @smithesq Ok so how has the ETH or Navier stokes helped non-mathematicians do more actuarial science and databases? I think what you meant is that mathematicians can use AI to do some of these things faster. But it's not "excellent" for non-mathematicians

[Joshua Mark @_josh_mark]

@JoshPantony @smithesq Solving math excellent for non-mathematicians, how exactly?

[Joshua Mark @_josh_mark]

@yogurtpirate @elkelk And Waymo isn't?

[Joshua Mark @_josh_mark]

@HarmonicMath Formal verification does not automatically mean no bugs

[Harmonic @HarmonicMath]

In two years, all code will be formally verified

[Joshua Mark @_josh_mark]

@TCzajka That's not what he said, you're putting words in his mouth.

[Joshua Mark @_josh_mark]

@LouisAnslow But they are though. If you're a professional you are, by definition, better at what you do than the average person

[Joshua Mark @_josh_mark]

@viyancefavour "quite terrible to have everyone have a bunch of the world’s limited supply of DRAM sitting in their own computer" no twisting there. He said it's a terrible idea for people to own RAM. You're the one putting words in his mouth

[Joshua Mark @_josh_mark]

@vanshyadav1408 I feel honored to contribute (to price increase) as much as the trillion dollar companies

[Joshua Mark @_josh_mark]

@jun_song Scam Conman for a reason

[Joshua Mark @_josh_mark]

@nemui_nekoooo Exactly. Not hard to understand: most people don't value AI work as much, no matter how magnificent it is. The value is in the human effort.

[Joshua Mark @_josh_mark]

@SyntheticBeef There are 2 potential fixes. Fix A is ad hoc and masks the current visible problem. Fix B is more general and better. The LLM decides Fix A. Weeks or months later, you lose money when production breaks again.

[Joshua Mark @_josh_mark]

@morqon @CheekyPint Lol no

[Joshua Mark @_josh_mark]

@nemui_nekoooo They mean GenAI

[Joshua Mark @_josh_mark]

@BernieAsksAI @BellaBaddie__ "But if it was a life or death matter" the point is that it's not

[Joshua Mark @_josh_mark]

@karatademada Imagine gatekeeping creativity

Oh wait, no one ever did

[Joshua Mark @_josh_mark]

"Adapt or get left behind"

Meanwhile by "adapt" they mean stop thinking and type "fix it" all day long

[Joshua Mark @_josh_mark]

@cyrussamsa @Corca_math Lean is a programming language and proof assistant. Although maybe your referring to something more visual