Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by jasim
Utilities for Managing Bash Aliases
2 points
jasim
2019-07-14T21:56:39Z
www.logicalpoetry.com
Gradual Typing from Theory to Practice
1 points
jasim
2019-07-13T19:51:30Z
blog.sigplan.org
My Journey from Frame Maker to Painter
4 points
jasim
2019-07-13T16:04:35Z
www.jamesyu.org
Teaching Tech Together
2 points
jasim
2019-06-30T18:08:39Z
teachtogether.tech
Defunctionalization at Work [pdf]
3 points
jasim
2019-06-30T16:29:43Z
www.daimi.au.dk
Systems Software Research Is Irrelevant
2 points
jasim
2019-06-30T14:00:30Z
web.archive.org
Exploring the squarified tree map algorithm with ReasonML
1 points
jasim
2019-06-28T20:24:39Z
www.huy.dev
Programs that program
1 points
jasim
2019-06-27T22:35:28Z
letoverlambda.com
How we totally ignored our customers
2 points
jasim
2019-06-27T20:45:23Z
martin.kleppmann.com
Coding the Art, Continued
2 points
jasim
2019-06-24T19:57:16Z
blog.jetbrains.com
Why bucklescript matters for JavaScript platform
2 points
jasim
2019-06-23T17:29:10Z
github.com
How the Slack Blog’s Content Strategy Works
2 points
jasim
2019-06-18T17:42:06Z
www.wondershuttle.com
Getting Started with Dafny: A Guide
1 points
jasim
2019-06-16T14:38:08Z
rise4fun.com
Theorems for Free (1989) [pdf]
3 points
jasim
2019-06-11T19:59:11Z
ecee.colorado.edu
Solving Knights and Knaves with Alloy
2 points
jasim
2019-06-10T13:16:56Z
www.hillelwayne.com
Why is music production software UI so skeuomorphic?
7 points
jasim
2019-06-09T20:47:42Z
ux.stackexchange.com
Meaningful Motion with Action-Driven Animation
1 points
jasim
2019-06-08T22:07:28Z
tobiasahlin.com
Using Formal Methods at Work
5 points
jasim
2019-06-08T20:06:13Z
www.hillelwayne.com
Denotational Semantics
1 points
jasim
2019-06-08T13:36:59Z
www.allisons.org
Tailwind CSS v1.0
2 points
jasim
2019-05-28T21:01:54Z
tailwindcss.com
6
7
8
9
10
11
12
13
14
15