Viewing profile — agrafix

you can type check this in static languages too if the type system supports structural typing [0] [0] https://en.wikipedia.org/wiki/Structural_type_system

This is really cool, the missing functionality that I haven't added to https://supportpage.io/ yet :p

Usually I’ve seen it defined as that the intended effect happens at most once. e.g. see https://developer.mozilla.org/en-US/docs/Glossary/Idempotent

I wrote something similar a while ago https://github.com/agrafix/grabcite — I was surprised how far you could get with just heuristics. The nice thing is that many academic papers …

Hmm did they release their April 1 joke too early by mistake?

Shameless plug: I’ve built https://board.new to help with ad-hoc collaborative whiteboarding. One thing I’ve found using more sophisticated tools was that folks spent too much time…

That’s cool — I’ve built something similar in the past: https://github.com/typed-wire/typed-wire

Shameless plug: we built https://board.new with “hold shift to draw” which makes drawing with a mouse much easier.

It's certainly related -- not sure what kinds if specialisation the new ruby JIT does.

I think it's possible, mostly didn't go down that route to keep things as simple as possible at first.

We noticed that most whiteboarding apps out there over-focused on perfect diagrams, so a lot of time in meetings is lost due to rearranging boxes and arrows. Hence, we built https:…

One of the things that has bitten me before was the maximum allowed nesting depth - this was different in two implementations, so one rejected the payload while the other one parse…

This motivated me to hack together a Haskell implementation, but with a little better error handling :) https://github.com/agrafix/micro-lisp

The + operator is not an explicit numeric conversion. What numeric type is it converting to? In Python you can also combine two lists using the + operator. Haskell for example requ…

Write a browser game, put it online and play it with friends. At least that's what I did ( https://github.com/agrafix/managerslife ), it was very fun and rewarding, and I learned a…