Thread
Stories related to "Hey Google! When did I ask you to read my Purchase details?" across the full archive.
crazy idea i had; feel free to suggest radical improvements :)
I've known about the [Spread Tookit](http://www.spread.org/) for years now but never had any real use for it, until now. I find its design well thought and given that it's been there for more than 10 years it seems pretty solid.
Ther are two things that worry me, though:
1) The [claims](http:...
Abstract: "Good tools can bring mechanical verification to programs written in mainstream functional languages. We use
hs-to-coq to translate significant portions of Haskell’s containers library into Coq, and verify it against
specifications that we derive from a variety of sources including type ...
Anyone have old Google Trends Newsletter Emails they could forward me?<p>I'm trying to build a model that embeds the content from the Google Trends Newsletter I've only recently signed up and I havn't been able to find any records from past emails, so was wondering if anyone would be ...
Ask HN: I Built an API-First Platform for Spreadsheets (Excel and Google Sheets)
(aliamerj.beehiiv.com)
What printed books did you buy after reading the digital version?
Which credit card reader do you use?
Flask Server ready with authentication from Google Oauth2 , session management integrated
So güd.