jstrieb

49 ms·

271.
Theory of Computing Blog Aggregator(cstheory-feed.org)
4 points by jstrieb 6y ago|0 comments
272.
by jstrieb 6y ago
Hi, I tried out your project and it looks great! I will be using it to monitor some websites that don't have RSS feeds. One small feature I wish was there: the API requests seem to use XPath for selecting feed item links, titles, and d
273.
Philosophy of Humor(plato.stanford.edu)
2 points by jstrieb 6y ago|0 comments
274.
Keep your public keys private(cp4space.hatsya.com)
2 points by jstrieb 6y ago|0 comments
275.
by jstrieb 6y ago
On the other hand, if you want to password-protect static sites, you can make the path unguessable and use Link Lock to share a password-protected link to the page. All encryption/decryption is done fully in the browser. https:/&
276.
Open Source Licensing: Software Freedom and Intellectual Property Law (2004)(rosenlaw.com)
2 points by jstrieb 6y ago|0 comments
277.
Fossil site overview – 15,000 fossil localities in the US and Canada(donaldkenney.x10.mx)
1 points by jstrieb 6y ago|0 comments
278.
by jstrieb 6y ago
You might be looking for something like One-Tab.[1] In addition to saving groups of tabs, you can share links to the groups of tabs. That being said, it may not 100% fit your use-case. For reference, the original author did a Show HN when t
279.
Interfacing with the Subterranean (2011) [pdf](girlwonder.com)
8 points by jstrieb 6y ago|0 comments
280.
Changing Faces: The Mistaken Portrait of Legendre (2009) [pdf](ams.org)
14 points by jstrieb 6y ago|2 comments
281.
by jstrieb 6y ago
This article is very well put together, and a helpful reference, thanks for sharing! A sibling comment links to a Show HN that didn't get much attention, but is definitely worth checking out. I will also point out that it is possible t
282.
Verified Programming in F*: A Tutorial(fstar-lang.org)
159 points by jstrieb 6y ago|76 comments
283.
Show HN: Collaborative programming environment inside GitHub Actions(github.com)
1 points by jstrieb 6y ago|0 comments
284.
by jstrieb 6y ago
I made this while looking at comics online and avoiding studying for my final exams. It was a fun, single-evening project that had been in the back of my mind for a long time. Please submit comics that you would like to see added!
285.
Show HN: Never focus again with nearly unlimited web comics(github.com)
3 points by jstrieb 6y ago|1 comments
286.
by jstrieb 6y ago
If I understand what you're asking: this trick is useful for submitting data to API endpoints that expect the entire request to be well-formed JSON, rather than just a small part. The (pretty-printed) POST body from the example form
287.
by jstrieb 6y ago
Fun fact: for servers that are not too particular about the Content-Type they receive or the presence of extra object attributes, it is also possible to submit (fixed) well-formed JSON using HTML forms with no JavaScript and a dash of hacke
288.
by jstrieb 6y ago
Coincidentally, I have a project using the same technique that periodically regenerates animated SVGs based on changing data for use specifically on GitHub. The generated images are styled with CSS in imitation of the actual GitHub site. Si
289.
Chinese Talent Program Tracker(chinatalenttracker.cset.tech)
1 points by jstrieb 6y ago|0 comments
290.
by jstrieb 6y ago
Congratulations on the launch! Thoughts on competitors like Gatherly? https://www.gatherly.io/
291.
Changing Faces: The Mistaken Portrait of Legendre (2009) [pdf](ams.org)
10 points by jstrieb 6y ago|1 comments
292.
by jstrieb 6y ago
I've used a similar technique to scrape GitHub profile statistics data and record it over time. It seems to work really well, particularly since the GitHub API doesn't record project view data for a period longer than 14 days. ht
293.
Git for Ages 4 and Up (2013) [video](youtube.com)
2 points by jstrieb 6y ago|0 comments
294.
Interfacing with the Subterranean (2011) [pdf](girlwonder.com)
1 points by jstrieb 6y ago|0 comments
295.
Verified Programming in F*: A Tutorial(fstar-lang.org)
2 points by jstrieb 6y ago|0 comments
296.
The Puzzle Toad(cs.cmu.edu)
86 points by jstrieb 6y ago|9 comments
297.
by jstrieb 6y ago
I made this as a fun weekend project to add summary statistics to my GitHub profile that visually match the style of the rest of the site. Since the generated images include summary statistics from private repositories as well as public one
298.
Show HN: Generate beautiful summary GitHub statistics images using Actions(github.com)
6 points by jstrieb 6y ago|1 comments
299.
In Solidarity with Library Genesis and Sci-Hub(custodians.online)
2 points by jstrieb 6y ago|0 comments
300.
Everyone Should Use details on GitHub(jstrieb.github.io)
1 points by jstrieb 6y ago|0 comments

More ›