Posts

Showing posts from November 20, 2020

Mvp.css – build your landing page with only semantic HTML

Article URL: https://andybrewer.github.io/mvp/ Comments URL: https://news.ycombinator.com/item?id=25167928 Points: 6 # Comments: 0 from Hacker News: Front Page https://ift.tt/3aiCYNQ via

Show HN: Jupystar – Run any Jupyter notebook in the browser

Article URL: https://starboard.gg/jupystar Comments URL: https://news.ycombinator.com/item?id=25167906 Points: 5 # Comments: 0 from Hacker News: Front Page https://ift.tt/2UOFGEy via

SQLite briefing for Linux kernel hackers

Article URL: https://sqlite.org/lpc2019/doc/trunk/briefing.md Comments URL: https://news.ycombinator.com/item?id=25167423 Points: 15 # Comments: 0 from Hacker News: Front Page https://ift.tt/2mzTepw via

The Gruen Effect

Comments from Hacker News https://ift.tt/2hVBvTU via

Don’t Eat Inside a Restaurant

Comments from Hacker News https://ift.tt/390pxUN via

SQLite briefing for Linux kernel hackers

Comments from Hacker News https://ift.tt/2mzTepw via

Why do proof assistants use dependent type theory instead of set theory?

Comments from Hacker News https://ift.tt/3lQJTU6 via

David Fincher’s Impossible Eye

Comments from Hacker News https://ift.tt/38SSBxD via

Paradigms Without Progress: Kuhnian Reflections on Programming Practice [video]

Comments from Hacker News https://www.youtube.com/watch?v=TkPy7aLTtAw via

Why do proof assistants use dependent type theory instead of set theory?

Article URL: https://mathoverflow.net/questions/376839/what-makes-dependent-type-theory-more-suitable-than-set-theory-for-proof-assista Comments URL: https://news.ycombinator.com/item?id=25167468 Points: 3 # Comments: 0 from Hacker News: Front Page https://ift.tt/3lQJTU6 via

Why Use ECC? (2015)

Article URL: https://danluu.com/why-ecc/ Comments URL: https://news.ycombinator.com/item?id=25167288 Points: 19 # Comments: 9 from Hacker News: Front Page https://ift.tt/2q76RtJ via

Paradigms Without Progress: Kuhnian Reflections on Programming Practice [video]

Article URL: https://www.youtube.com/watch?v=TkPy7aLTtAw Comments URL: https://news.ycombinator.com/item?id=25163445 Points: 3 # Comments: 0 from Hacker News: Front Page https://www.youtube.com/watch?v=TkPy7aLTtAw via

Symbiotic Bacteria Tell Ant Embryos How to Develop

Comments from Hacker News https://ift.tt/2F3TJCb via

Why Use ECC?

Comments from Hacker News https://ift.tt/2q76RtJ via

Overview: Egocentric Videoconferencing

Comments from Hacker News https://ift.tt/2IBBeqw via

Test for Divisibility by 13

Article URL: https://www.johndcook.com/blog/2020/11/10/test-for-divisibility-by-13/ Comments URL: https://news.ycombinator.com/item?id=25165323 Points: 26 # Comments: 2 from Hacker News: Front Page https://ift.tt/2UdbaEb via

For Alaska shipwreck survivor, losing everything has been ‘sort of liberating’

Comments from Hacker News https://ift.tt/3nDFu7C via

Test for Divisibility by 13

Comments from Hacker News https://ift.tt/2UdbaEb via

Cover Your Tracks

Article URL: https://www.eff.org/deeplinks/2020/11/introducing-cover-your-tracks Comments URL: https://news.ycombinator.com/item?id=25166703 Points: 59 # Comments: 16 from Hacker News: Front Page https://ift.tt/2IQsM6I via

Cover Your Tracks

Comments from Hacker News https://ift.tt/2IQsM6I via

A Mamluk-Kipchak Treatise on the Skill of Archery (2013)

Comments from Hacker News https://ift.tt/38XgtAe via

Faker.js Has a New Godaddy

Comments from Hacker News https://ift.tt/3lQWmHz via

Faker.js Has a New Godaddy

Article URL: https://github.com/Marak/faker.js/issues/1046#issuecomment-731258361 Comments URL: https://news.ycombinator.com/item?id=25164830 Points: 14 # Comments: 1 from Hacker News: Front Page https://ift.tt/3lQWmHz via