jasim

35 ms·

361.
How the Slack Blog’s Content Strategy Works(wondershuttle.com)
2 points by jasim 7y ago|0 comments
362.
Getting Started with Dafny: A Guide(rise4fun.com)
1 points by jasim 7y ago|0 comments
363.
Theorems for Free (1989) [pdf](ecee.colorado.edu)
3 points by jasim 7y ago|0 comments
364.
Solving Knights and Knaves with Alloy(hillelwayne.com)
2 points by jasim 7y ago|0 comments
365.
Why is music production software UI so skeuomorphic?(ux.stackexchange.com)
7 points by jasim 7y ago|1 comments
366.
Meaningful Motion with Action-Driven Animation(tobiasahlin.com)
1 points by jasim 7y ago|0 comments
367.
Using Formal Methods at Work(hillelwayne.com)
5 points by jasim 7y ago|0 comments
368.
Denotational Semantics(allisons.org)
1 points by jasim 7y ago|0 comments
369.
by jasim 7y ago
Objects don't solve this. Untyped programming is more flexible, but are able to express less things about the domain explicitly than typed languages (not Java/C#, but rather OCaml/Haskell etc.). > if a static analysis tool
370.
by jasim 7y ago
Passing a string where you expect a number is not the only kind of type errors modern type systems are about. They can catch a particular class of domain-level bugs, and more importantly, it acts as a pair programmer who tells us about all
371.
Tailwind CSS v1.0(tailwindcss.com)
2 points by jasim 7y ago|0 comments
372.
OCaml, the Ultimate Refactoring Tool(blog.janestreet.com)
1 points by jasim 7y ago|0 comments
373.
Domain-Specific Languages Syllabus(github.com)
2 points by jasim 7y ago|0 comments
374.
Code Caching for JavaScript Developers(v8.dev)
2 points by jasim 7y ago|0 comments
375.
The Passionate Bertrand Russell(philosophynow.org)
5 points by jasim 7y ago|0 comments
376.
by jasim 7y ago
I want to link to Revery - a native, cross-platform GUI library written in Reason/OCaml. It brings React's view=function(state) model to native applications, along with CSS box model and Flexbox. It has the developer ergonomics of
377.
by jasim 7y ago
When his great Italian friend Michele Besso died, Einstein wrote a moving letter to Michele’s sister: ‘Michele has left this strange world a little before me. This means nothing. People like us, who believe in physics, know that the distinc
378.
by jasim 8y ago
Agree that it comes down to CSS (Box Model + Flex + Grid) vs Cassowary. I've never used it myself, so thanks for chiming in. My understanding of it mostly comes from this thread ( https://news.ycombinator.com/item?id=131
379.
by jasim 8y ago
On the reverse, let designers refuse to work with developers who have never observed users using their product (user research in formal terms), or don't understand color theory, or haven't designed a landing page that converts wel
380.
by jasim 8y ago
When someone says HTML & CSS is terrible I ask them to design something better that lets you represent user interfaces that can adapt across multiple screen sizes, and allow complex layouts that Flexbox and CSS Grid makes possible. It i
381.
Restaurant Management Books All Restaurateurs Should Read(pos.toasttab.com)
3 points by jasim 8y ago|0 comments
382.
Different ways to build a $100M business (2014)(christophjanz.blogspot.com)
307 points by jasim 8y ago|61 comments
383.
by jasim 8y ago
The types in Java/C# etc. are what I'd term as object-oriented type systems. They conflate the notion of class and type; while in Typed Functional languages, they just type data, and also gives you Sum Types and Exhaustive Pattern
384.
by jasim 8y ago
"Become a spiritual attempt at the dbase/foxpro family of database-oriented languages, in the sense manipulate data(bases) is natural and integrated" This is a personal dream for me as well. The commenters in this thread (@ga
385.
SAP’s revolutionary journey and history of User interface / GUI(sapignite.com)
2 points by jasim 8y ago|0 comments
386.
Productivity for Precious Snowflakes(ribbonfarm.com)
2 points by jasim 8y ago|0 comments
387.
My Life as a GUI Builder Builder (2005)(removingalldoubt.com)
2 points by jasim 8y ago|0 comments
388.
Component Based Design System with Styled-System(varun.ca)
1 points by jasim 8y ago|0 comments
389.
How Functional Is Ruby?(protoship.io)
1 points by jasim 8y ago|0 comments
390.
by jasim 8y ago
That's really useful to know Chris, thanks!

More ›