Towards a Universal Code Formatter Through Machine Learning [pdf]
2020-01-23
The Business Case for Formal Methods
2020-01-23
PandaPy has the speed of NumPy and the usability of Pandas
2020-01-23
Show HN: Mapipedia: Platform to show your data on maps and sharing with others
2020-01-21
Ask HN: Do I need a formal business plan for my side project?
2020-01-20
Statecharts: A visual formalism for complex systems [pdf]
2020-01-19
Show HN: UMAP Visualisation on Data as Audio
2020-01-19
First-ever video of formation and breakage of a chemical bond
2020-01-18
U.S. to review petition seeking formal defect probe into 500k Tesla vehicles
2020-01-17
Tell HN: As of today I'm swearing off Reddit
2020-01-17