Shark News

Search This Blog

New top story on Hacker News: Alloy*: A Higher-Order Relational Constraint Solver

on February 28, 2019

Get link
Facebook
Twitter
Pinterest
Email
Other Apps

Alloy*: A Higher-Order Relational Constraint Solver
160 by Cieplak | 9 comments on Hacker News.

Hacker News

Get link
Facebook
Twitter
Pinterest
Email
Other Apps

Comments

New top story on Hacker News: Stanford scholar gets six-figure settlement from James Joyce Estate (2009)

Stanford scholar gets six-figure settlement from James Joyce Estate (2009) 76 by walterbell | 13 comments on Hacker News.

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.

New top story on Hacker News: Host a web app on Twitter in a single Tweet

Host a web app on Twitter in a single Tweet 3 by eternalny1 | 0 comments on Hacker News.

Powered by Blogger

New top story on Hacker News: Alloy*: A Higher-Order Relational Constraint Solver

Comments

Post a Comment