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 are also available with their LaTeX source which avoids a lot of the structure guessing from PDFs.

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 making it look nice vs discussing the content. Hence this tool that doesn’t distract with that.

That said, mermaid looks pretty nice —- going to try that out for my design documents once settled on an approach.

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://letsboard.co - a very simple collaborative whiteboarding tool and are using it daily now.

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 parsed it fine :(

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 requires to be explicit about this:

    y = (read "5" :: Int) + 5

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 lot!

You can for example prevent "runtime" bugs due to combining layers/vectors/matrixes of the wrong dimensions.

If you're into functional programming (Haskell + PureScript), I know that UnionizeMe [1] is looking for volunteers.

[1] https://unionize.me/get-involved

What was/is the product/company called if i may ask?

Btw you can get "if then else" at AST level using RebindableSyntax [1], but pattern matching (case...) will still allow the end-user to "side step" this.

[1]: https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_gui...

Many applications that we get do not meet the key requirements from the job posting and are very generic. If the applicant did not put any effort into the application - why should I? Maybe this process can be automated with some ML/NLP to check if the application (a) matches at least SOME requirements and (b) is not too generic but actually hand written to match your posting and company.

I've made https://github.com/agrafix/purescript-apparch

I could beat it by using a different browser (e.g. chrome vs firefox) on my machine.

Came here to say the same thing, I was really hoping for some better questions like the ones in the "How to build the future" [1] interview...

[1] https://www.youtube.com/watch?v=tnBQmEqBCY0

If you compare Haskell with JavaScript, all JavaScript functions would run in the `IO` monad because you can always (even implicitly as in the article) run an impure action even if everything else seems pure. In Haskell, if your function is not monadic, you can't "run" the monadic action. On the other hand, you don't see exceptions in Haskell's type signatures and you can throw them in pure code. Hm! ;-)

Hakyll supports anything that pandoc supports, so it does both org mode and markdown :-)

My personal experience with Hetzner is also mixed, two of the four servers we had had disk failures a few months into the contract. Luckily you are only bound for a month. The other two servers on the other hand are great - a good price for powerful hardware and fast support.

Pretty cool that BuckleScript works with Reason! :-)

My private and my business emails run with FastMail and I am very happy with it! I also use the DNS for some smaller projects and it works like a charm. Thanks for that.

Same here, biggest reason to be in AWS is Postgres RDS which works like a charm!

It's very likely that this blog runs on a small VM (eg. the smallest DigitalOcean one) which not enough RAM. This results in mysql crashing. You could either setup a cache or add some swap as backup...