The Little Typer Lambda the Ultimate – Programming Languages Weblog

Dec 162018
 

A new introductory book about dependent types, involving some familiar names: The Little Typer by Daniel P. Friedman and David Thrane Christiansen. Foreword by Robert Harper. Afterword by Conor McBride. An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program’s type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for…

External feed Read More at the Source: http://test.lambda-the-ultimate.org/node/5552

 2018-12-16  Comments Off on The Little Typer Lambda the Ultimate – Programming Languages Weblog

Manhattan Mystery of Creepy Jingles and Random Noises Solved Hackaday

Dec 162018
 

Here’s a puzzler for you: If you’re phreaking something that’s not exactly a phone, are you still a phreak? That question probably never crossed the minds of New Yorkers who were acoustically assaulted on the normally peaceful sidewalks of Manhattan over the summer by creepy sounds emanating from streetside WiFi kiosks. The auditory attacks caused quite a stir locally, leading to wild theories that Russian hackers were behind it all. Luckily, the mystery has been…

External feed Read More at the Source: https://hackaday.com/2018/12/15/manhattan-mystery-of-creepy-jingles-and-random-noises-solved/

 2018-12-16  Comments Off on Manhattan Mystery of Creepy Jingles and Random Noises Solved Hackaday