Show newer

@veer66

Go at has Google for now.

Java was Oracle's, when it was a big company. They where probably the first to come up with big-tech money == popularity, formula.

Javascript (2 of 5 big tech)
openjsf.org/

PHP I am finding only has small tech supporters for its foundation. They also have an open budget and spending model for their foundation.
opencollective.com/phpfoundati

@ColinTheMathmo

Seems reasonable to recommend one if they brought up traveling near that place in conversation. Not all franchises are the same.

@downey

I hate these kinds of arguments. It was the same reasoning Cannonical used to sell peoples' data on their operating system.

@scabux @fribbledom

Arguments usually come from dealing with the lack of intelligence from themselves or coworkers.

There is also a cost benefit difference in the tooling. An individual can write their own C compiler. It takes months for teams of people to update C++ compilers. So very few modern C++ compilers exist. Most that a team can hope for is retargetting the back end.

Contracting out technology is a liability. It is why circuit boards tend to not custom fit to modules. Some company that makes that module could go out of business, or change the spec.

Hmm.. Who are your corporate overlords, languages?

Rust (4 of big 5 tech)
foundation.rust-lang.org/membe

Julia (3 of the big 5 tech)
juliacomputing.com/

LLVM (3 of big 5 tech)
foundation.llvm.org/docs/spons

Haskell (1 of big 5 tech)
haskell.foundation/

Ocaml (financial companies)
ocaml-sf.org/

Zig (individuals)
github.com/sponsors/ziglang

D (1 financial firm + individuals)
dlang.org/foundation/sponsors.

R (researchers and universities)
r-project.org/foundation/donor

@kaia

My computer brick still lives. Reject modernity. Return to monke.

@niconiconi

I do kind of wonder how Linux made it so far sometimes. And then I remember that IBM dumped millions into development time on it.

@dimitrisk@mastodon.technology

It is the Facebook problem. I rarely see research stuff on gitlab versus github. Basically never see research code hosted anywhere else.

Hmm... compilers, modules. That is honestly not too bad. Deep learning compiler expertise are in demand because of this kind of stuff.

Seriously just need to call them modules though I think. Tensors do not have non-linear activation functions. In most cases it is just slang for a n-box of numbers.

adam.chlipala.net/papers/AtlPO

Do I care? Eh.. Is the math and programming language stuff nice? Yeah.

@johnabs

Yeah. I should check it out more though. It looks like it grew a lot. :ablobaww:

I guess this week is compiler week.

A compiler compiler design. It lets you write compiler optimizations as a lot of separate, easy to think about passes. And then the compiler compiler combines them.

dl.acm.org/doi/pdf/10.1145/314

I feel like this existed already. It is a little too obvious of an optimization.

@johnabs

Yeah it looks pretty great. I prefer a language that is fast by default without user effort costs. Python is mostly number 2 because it is the most popular in general, it is easy to use, and I am enjoying Pytorch and all of the scipy libraries. So maybe. :)

Did you check out this paper? Julia syntax is now directly differentiable.
arxiv.org/abs/1810.07951

And its code.
github.com/FluxML/Zygote.jl

i need more mathematician friends on mastodon. can you boost this for visibility, please?

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.