giraj

7 ms·

31.
by giraj 6y ago
Could you elaborate or illustrate what you mean by "theorem proving systems that embrace the full spectrum of abstract and correct thought"? As a mathematician (and programmer on the side) who regularly works in Coq, my impression
32.
by giraj 6y ago
You've clearly thought about this, and certainly begrudging use is better than none. My first thought would have been to go with Signal, if GChat through your school doesn't work. I've had no issues with group chats on there.
33.
by giraj 6y ago
It's great that you're offering a mentorship program, but I would have been one of those students complaining. In a business setting I understand the need to optimize onboarding, but in an educational setting I think inclusiveness
34.
by giraj 6y ago
Yep! You could check this in GHCi (the repl), for example: > :t (. id) > (. id) :: (b -> c) -> b -> c (:t prints the type of an expression, and id is the "identity function" that's b -> b here.) (ED
35.
by giraj 6y ago
Your indexing is off :) Propositions (or 'facts' as you call them) are the (-1)-types, whereas 0-types are usually referred to as sets. A way to remember this is that the path-spaces (i.e. equalities) in a set are propositions, br
36.
by giraj 6y ago
Had a blast at LauzHack '16 using this library to make a Chrome extension enabling "no-hands scrolling"[1]. Sadly, reading web articles while eating with both hands is still a dream. We managed to get okay-ish results on a Ma
37.
by giraj 6y ago
There is a lot of discussion concerning COVID-19 over at LessWrong that might fit your bill: https://www.lesswrong.com/tag/coronavirus
38.
by giraj 11y ago
Another alternative is Melatonin[1] which tries to imitate f.lux for chrome(book) users. [1] https://giraj.github.io/melatonin
39.
by giraj 12y ago
Thank you for this one. I think it ties in nicely with the idea of "goal factoring" (also from LW) where you ask yourself "why am I doing what I do? Is there a more direct way of achieving this?" This can be helpful when
40.
by giraj 12y ago
I've been using Chromebook as only computer for the last year as a student/developer(/tech-entusiast) and I am very satisfied. I have the Samsung ARM one, and I've installed chroagh[1] (super easy, run one command and yo
41.
Show HN: Melatonin for Chrome – automatic color temperature for chromebook users(giraj.github.io)
4 points by giraj 12y ago|3 comments