Read this book

I don't think so, it's a hefty mathematical read with lemmas, theorems and proofs (left to the reader), and a bunch of programming and maths exercises. Does this sound fun "Design a correct algorithm that determines, given a transformation and its definition-space predicate, whether the orbits of two elements intersect."

This sort of mathematical approach to programming has been employed by HP, Adobe, and every other company that has employed Stepanov as a consultant. Giant codebases, gotta have some guarantees and standardisations for the code, APIs that naturally fit your expectations and use cases.

Sounds very useless, unless but working with real-time high safety software, which is is a great area

You can finish the entire book (barring some wild exercises and projects) in no more than 2 weeks, and you will end up with a totally radical way of thought in your repertoire. Granted I'm on page 65 still.

I work with RT-software, so I get to actually use math when I program, most jobs want you to program fast.

Yeah I hate that. I could care less about programming the next trendy trash app. I like to feel like an engineer and be surrounded by meritocratically elected people who know what the fuck they're doing. Godspeed

There are many areas for people like you, like:
>RT-software
>Mainframes repair
>Database development
>Infrastructure programming
(sorry for be bad English)

Your English is perfect, I actually work for audio interfaces and sound emulation. Extremely low latency so hipsters can, for instance, emulate a 60s mic and a 80s synth live for some reason. $$$ tho.

neat

The most math-focused the job, the fewer cool-coders and idiots in general there will be.
If you know how to be quiet and only do your job (no extra things), you can try a corporate mainframe job, they payment is incredible high and conditions are very soft.

Sounds good, what are some example companies?

Mainframes are used in the finances market, to deal with a high amount of trades, so companies like big banks/stock banks will be using it.

Basically look at something very arid that has being done the same way for 30 years and cannot be done other way (like DB or Mainframes)

My next venture. Is that what you work as?

No, I work in high security RT for medical hardware. It's basically redoing the same thing until you can prove it'll never fail, under no circumstance.

What is your system of proofs?

>Alexander Stepanov
Cool guy, He teach algebra, categories and types for programmer but since PoV programmer.
fm2gp.com/

Category theory
math.mit.edu/~dspivak/CT4S.pdf
arxiv.org/abs/1803.05316

Type Theory
andrew.cmu.edu/user/avigad/Talks/fields_type_theory.pdf

how can one man be so based

Usually we use some mathematical functions to create a system that (mathematically) do the work and prove it work, then we program until we can prove our program is equivalent with those mathematical functions. Then we test it in all forms of critical situations (like hardware failure).
Basically we find a mathematical solution and program it in the most similar form possible.

Please pardon my audacity but does the first book exist out there in the internet? I'm a third-worlder living in the middle of a jungle so Amazon is a no-no for me unless I trade it for one of my kidneys to druglords

Just phone USP and the'll give you the PDF.

check libgen.is

It was there, thanks! Bookmarked so I don't ask stupid questions again, I Hope you have a wonderful day, friend