Skip to main content

Shark News

Search This Blog

New top story on Hacker News: Dependent Type Systems as Macros [pdf]

on January 20, 2020

Get link
Facebook
X
Pinterest
Email
Other Apps

Dependent Type Systems as Macros [pdf]
5 by luu | 0 comments on Hacker News.

Get link
Facebook
X
Pinterest
Email
Other Apps

Comments

Post a Comment

Popular Posts

New top story on Hacker News: Ask HN: How do you do home surveillance?

Ask HN: How do you do home surveillance? 12 by teniutza | 7 comments on Hacker News. In this age of IoT where devices are being taken over by strangers and (service) companies are storing clear-text passwords, how do you manage your home security? I'm talking less about motion sensors and door/window open/close sensors, and more about video surveillance. I want to add a couple of IP cameras but I'm completely petrified by the thought of someone getting access to a live feed from my house, due to the negligence of the service provider. I've looked around and there are plenty of options for IP/Wi-Fi cameras with a tone of cool features, which can be accessed through a smartphone app, which, of course, is handled by the manufacturer (feed goes through its servers). What I'd like is an IP camera that provides an API to which I can connect from my home server and let me see the feed only trough it. Motion sensing is also a cool, and useful feature, as it would allow me to...

New top story on Hacker News: Ask HN: Feasible Alternative to the MacBook Pro?

Ask HN: Feasible Alternative to the MacBook Pro? 5 by ryanmccullagh | 2 comments on Hacker News. The MBP is by far the best laptop I’ve used. The graphics are amazing, and the touchpad is ergonomic. However, Apple has demonstrated their inability to be reliable. I bought my MBP in January of this year (2019) and tomorrow I’ll pick it up from its 3rd repair. I’ve grown tired of this repair routine. And after the 3 years runs out, they will start charging me.

New top story on Hacker News: Ask HN: Best Office Chair?

Ask HN: Best Office Chair? 39 by brundolf | 36 comments on Hacker News. My home desk-chair is nearly ten years old at this point, and wasn't anything special even when it was new. This is starting to become pretty noticeable now that I'm using it for eight hours every day. Anybody have recommendations for their favorite office/desk chair? I don't want anything huge or ungainly, and ideally not one of those garish "gamer chairs". Something minimalist but comfy, and durable, and good for your back. I've really enjoyed those mesh-based chairs in the past, though I don't remember any specific brands.

Powered by Blogger