Full Tech Stack at an Institutional Algorithmic Trading Firm (Proof Trading)
2021-06-10
Show/Ask HN: Latex to audiobook – improving a hacked together proof of concept
2021-06-09
Selecting a Database for an Algorithmic Trading System
2021-06-09
A “Proof of Bandwidth” Cryptocurrency
2021-06-08
A proof of concept to show the elegance of CSS
2021-06-07
Mathematicians hope “proof assistants” will fix the field's replication crisis
2021-06-07
Researchers rewire the genetics of E. coli, make it virus-proof
2021-06-04
Using dependent types to write proofs in Haskell
2021-06-03
Proof of concept for real-time detection of COVID19 with an electronic nose
2021-06-03
The futile proofs of high school
2021-06-02