max_

59 ms·

841.
A plea for lean software [pdf](cr.yp.to)
2 points by max_ 4y ago|0 comments
842.
Pair Dance 2(janestreet.com)
1 points by max_ 4y ago|0 comments
843.
by max_ 4y ago
What does one benefit from compiling and running microservices in WASM as opposed to running it in say Rust?
844.
by max_ 4y ago
what's GBM?
845.
Kelly Criterion(en.wikipedia.org)
2 points by max_ 4y ago|0 comments
846.
by max_ 4y ago
What's the difference between PBR and ray tracing?
847.
Nightshade(near.org)
1 points by max_ 4y ago|0 comments
848.
Math for the Layman(asindu.xyz)
13 points by max_ 4y ago|2 comments
849.
by max_ 4y ago
I have been contemplating on learning TLA+. Could someone experienced with formal verification let me know what I could be missing by not learning something like Coq?
850.
Publicly verifiable quantum money from random lattices(arxiv.org)
4 points by max_ 4y ago|0 comments
851.
by max_ 4y ago
Also, a relevant project Wave Function Collapse[0] [0]: https://github.com/mxgmn/WaveFunctionCollapse
852.
APL Demonstration (1975) [video](youtube.com)
8 points by max_ 4y ago|1 comments
853.
by max_ 4y ago
Wasm is used in the crypto community as a target for smart contracts written in Rust. Have a look at Near protocol & Polkadot
854.
My Ethereum is missing. I don’t understand(old.reddit.com)
2 points by max_ 4y ago|0 comments
855.
Using Self-Organizing Maps to Solve the Traveling Salesman Problem(diego.codes)
18 points by max_ 4y ago|1 comments
856.
by max_ 4y ago
BTC offers censorship resistant money.
857.
Homo Ludens(en.wikipedia.org)
3 points by max_ 4y ago|0 comments
858.
by max_ 4y ago
> Minimal effort has three parts. > 1. It’s a practice of only doing those things that are necessary or enjoyable. > 2. Do fewer things and do them slowly. > 3. Sadly, we’ve forgotten what number three is, but we know it’s impor
859.
The best Investors in the world are dead (2021)(dividendgrowthinvestor.com)
1 points by max_ 4y ago|0 comments
860.
Ask HN: Best way to sharpen coding skills?
3 points by max_ 4y ago|3 comments
861.
Mechanical Watch(ciechanow.ski)
2 points by max_ 4y ago|1 comments
862.
Power Law Distributions and Digital Apartheid(as1ndu.github.io)
1 points by max_ 4y ago|0 comments
863.
Ask HN: What software service/application are you ready to pay for?
5 points by max_ 4y ago|2 comments
864.
From Probability to Consilience: Explanatory Values Implement Bayesian Reasoning(arxiv.org)
1 points by max_ 4y ago|0 comments
865.
Meta Ruined Instagram(as1ndu.github.io)
3 points by max_ 4y ago|0 comments
866.
Math for the Layman(as1ndu.github.io)
2 points by max_ 4y ago|0 comments
867.
Library for fitting the LPPLS model to data(github.com)
1 points by max_ 4y ago|0 comments
868.
by max_ 5y ago
> This company doesn’t want to go through the trouble of securing their employees’ data within their own system, so they use a tokenization platform for storing sensitive employee data This looks like something useful. I think the so cal
869.
by max_ 5y ago
It doesn't need to be AI. It can just be something from the "formal methods"[0] school of research. I heard assembly code for CPU's are now days optimized for compilers instead of humans. [0]: https://en.m.wi
870.
by max_ 5y ago
I think it's slowing becoming reality with things like J[0]. [0]: https://en.m.wikipedia.org/wiki/J_(programming_language)

More ›