Hacker News
- Practical Haskell: Scripting With Types http://donsbot.wordpress.com/2010/08/17/practical-haskell/ 2 comments
Lobsters
- Epigram: Practical Programming with Dependent Types (2004) http://cs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/epigram-notes.pdf 26 comments pdf , plt
- Understanding Practical API Design, Static Typing and Functional Programming http://blog.tmorris.net/posts/understanding-practical-api-design-static-typing-and-functional-programming/index.html 5 comments api , programming
- A website that lets you practice typing by retyping classic literature https://www.typelit.io/ 126 comments internetisbeautiful
- typescript best practices - redefine type vs use existing types' parameters https://www.reddit.com/r/typescript/comments/kpkv4k/typescript_best_practices_redefine_type_vs_use/ 19 comments typescript
- mltype - Typing practice for programming languages http://karpathy.github.io/2015/05/21/rnn-effectiveness/ 13 comments opensource
- kboard: a terminal game to practice keyboard typing https://github.com/camilogarcialarotta/kboard 11 comments golang
- Crates implementing FromIterator<> for std collection types, best practices https://www.reddit.com/r/rust/comments/g3iqan/crates_implementing_fromiterator_for_std/ 8 comments rust
- The type of journalism practiced by Ravish Kumar is flawed https://www.reddit.com/r/india/comments/6uonkt/the_type_of_journalism_practiced_by_ravish_kumar/ 12 comments india
- Practice Folding TPTK Type Hands https://www.reddit.com/r/poker/comments/5x5cjd/practice_folding_tptk_type_hands/ 8 comments poker
- Typing Practice for Programmers with finger guiding and code upload http://www.speedcoder.net/ 5 comments coding
- Practical Dependent Types in Haskell 2 -- Existential Neural Networks and Types at Runtime https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html 8 comments haskell
- The Unreasonable Effectiveness of Dynamic Typing for Practical Programs http://games.greggman.com/game/dynamic-typing-static-typing/ 9 comments programming
- The Basic, Practical Benefits of the Haskell Type System http://mechanical-elephant.com/thoughts/2015-08-10-the-pratical-benefits-of-haskell-typesystem/ 30 comments programming
- typing.io - Typing Practice for Programmers http://typing.io/ 4 comments webdev
- Practical Haskell: scripting with types http://donsbot.wordpress.com/2010/08/17/practical-haskell/ 6 comments haskell
- Practical Haskell: scripting with types http://donsbot.wordpress.com/2010/08/17/practical-haskell/ 6 comments coding
- Alms: a Programming Language with Practical Affine Types (written in Haskell) http://www.ccs.neu.edu/home/tov/pubs/alms/ 3 comments haskell
- Practical Implementation of a Dependently Typed Functional Programming Language http://lambda-the-ultimate.org/node/3271 6 comments programming
- Learning Haskell, what type of side projects to do in Haskell to get some practice https://www.reddit.com/r/haskell/comments/6lmlsx/learning_haskell_what_type_of_side_projects_to_do/ 45 comments haskell
- Best practices with redux, flow type, async/await and a few extra tips http://hackhat.com/p/316/best-practices-with-redux-flow-type-asyncawait-and-a-few-extra-tips/?utm_source=reddit-reactjs 6 comments reactjs
- Existential Question: How practically useful is Haskell's type-system and Purity? https://medium.com/javascript-scene/the-shocking-secret-about-static-types-514d39bf30a3#.mr511es84 56 comments haskell
- RE: The Unreasonable Effectiveness of Dynamic Typing for Practical Programs http://alexvieth.wordpress.com/2014/10/03/re-the-unreasonable-effectiveness-of-dynamic-typing-for-practical-programs/ 17 comments compsci
- Glenn Greenwald:"Hillary is banal, corrupted, drained of vibrancy and passion. I mean, she's been around forever, the Clinton circle. She's a fucking hawk and like a neocon, practically. She's surrounded by all these sleazy money types who are just corrupting everything everywhere." http://www.gq.com/news-politics/newsmakers/201406/glenn-greenwald-edward-snowden-no-place-to-hide?currentpage=5 32 comments politics
- I wanted to practice typing on my work source code, so I made a simple local-hosted web-app to practice typing https://github.com/koss-null/simple_typing_practice 4 comments opensource
- [Jones] Losing millions of dollars each week and unable to secure NFL practice squad players on a loaner/minor league type of agreement, the AAF could fold as soon as this week. https://twitter.com/bymikejones/status/1110981056553865216 6 comments nfl
- I created a typing practice tool and would like to know what you think about it, how I could improve the website. All feedback is appreciated, thank you! http://typist.hu 17 comments web_design
- Typing.io: Typing Practice for Programmers, supports international keyboard layouts, code uploads, and typing stats http://typing.io/lessons 131 comments programming
- Dentists practicing in the U.S. write 37 times more opioid prescriptions than dentists practicing in England, and the type of opioids they prescribe has a higher potential for abuse. https://today.uic.edu/us-dentists-out-prescribe-uk-dentists-when-it-comes-to-opioids 2146 comments science
- ACLU: "The FBI had been tracking Afifi’s (Reddit's own 'khaledthegypsy') movement for months without his knowing about it... This type of warrantless tracking seems to be an increasingly common government practice." http://www.aclu.org/blog/technology-and-liberty/youre-going-need-warrant-officer 26 comments politics
- [Katz] Melo came into exit interviews and burned the damn practice facility to ash: "It wasn't no strategy to me being here, me being a part of the actual system and what type of player and things like that...I don't think I can be effective as that type of player. " https://twitter.com/fredkatz/status/990350342826217472/photo/1?tfw_site=bleacherreport&ref_src=twsrc%5Etfw&ref_url=http%3A%2F%2Fbleacherreport.com%2Farticles%2F2773232-carmelo-anthony-sounds-off-on-thunder-no-strategy-to-me-being-here 5 comments nba
- Strategic Scala Style: Practical Type Safety http://www.lihaoyi.com/post/strategicscalastylepracticaltypesafety.html 19 comments programming
- Mosquito killing laser. Since the company that patented it won't sell it, is this type on system practical with the raspberry pi as the controller? http://www.reddit.com/r/todayilearned/comments/qnf9c/til_a_device_has_been_developed_that_can_kill_100/ 7 comments raspberry_pi
- Safe: Robust programming practices in Haskell via types, testing, debugging and documentation http://liamoc.net/articles/safe.html 84 comments programming
- Practical question for bookworms. How is your setup for reading tech books while coding? I wonder if you use any physical helper like book holders for mechanics of holding the book, keeping the book open, at the same time being able to type code https://duckduckgo.com/?q=book+holder&atb=v101-1&iax=images&ia=images 20 comments programming
- [Ryan Spagnoli] Bill Belichick: “On the weather, we don’t spend a lot of time on that. We practice in all types of conditions from training camp into the season.” #Patriots https://twitter.com/Ryan_Spags/status/1466808505168547844 33 comments nfl
- In preparation for 5-0 Chiefs, Tom Brady feels empowered to target Josh Gordon on “home run” plays, even when he's covered. “Just seeing him on the practice field, you just make those types of throws when you believe your guy is going to come down with it." https://nesn.com/2018/10/tom-brady-explains-how-trust-in-josh-gordon-led-to-first-patriots-touchdown/?__twitter_impression=true 323 comments nfl
- "The U.S. Marine Corps, known for turning out some of the military's toughest warriors, is studying how to make its troops even tougher through meditative practices, yoga-type stretching and exercises based on mindfulness." http://www.seattlepi.com/news/us/article/marines-studying-mindfulness-based-training-4207982.php 51 comments politics
- Psilocybin-occasioned mystical-type experience in combination with meditation and other spiritual practices produces enduring positive changes in psychological functioning and in trait measures of prosocial attitudes and behaviors http://journals.sagepub.com/doi/abs/10.1177/0269881117735685?url_ver=z39.88-2003&rfr_id=ori%3Arid%3Acrossref.org&rfr_dat=cr_pub%3Dpubmed& 68 comments science