Skip to main content

Search

Items tagged with: schedule


 
Erik Albers - 2019-04-10 16:39:01 GMT
This #toot has been scheduled and published thanks to @fdroidorg 's recent upgrade from #Mastalab to #Fedilab. You can even #schedule #boosts now Bild/Foto

This is a big step in user experience, thank you very much @tom79 ! I just donated you some Euros for this to help you keep the good work going.

#mastodon #fdroid #ux #gdroid


 

How to schedule emails in Gmail


#emails #gmail #schedule


 

A Self-Learning, Modern Computer Science Curriculum


"The great idea of constructive type theory is that there is no distinction between programs and proofs... Theorems are types (specifications), and proofs are programs" (Robert Harper) This is a…

HN Discussion: https://news.ycombinator.com/item?id=19028855
Posted by hacknrk (karma: 197)
Post stats: Points: 265 - Comments: 20 - 2019-01-29T18:48:48Z

\#HackerNews #computer #curriculum #modern #science #... show more