justosophy
Re:Tree Calculus
on Tuesday December 10, 2024 @06:19AM (#42375814)
See the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well.
Re:Tree Calculus
on Tuesday December 10, 2024 @05:12AM (#42375445)
Tree Calculus is awesome with implications beyond this website.
Shame the website doesn't attribute the creator and author Prof. Barry Jay. (Seems to be a pattern for them sadly, not sure why)
See Jay's book on GitHub for more https://github.com/barry-jay-personal/tree-calculus/blob/mas...
Re:Show HN: Arc, an open-source Databricks alternative
on Wednesday March 24, 2021 @08:32PM (#26575031)
Good to see more attention to this. AWS did a presentation on it last year.
Re:Haskell Curses and Conundrums
on Wednesday September 09, 2020 @09:33PM (#24428001)
Some simplified exercises of isomorphic equivalence in data structures.
Haskell experts may now commence their superior mocking ;)
Re:No tipping means better business
on Tuesday December 27, 2016 @02:57AM (#13261894)
Tipping isn't a thing in Australia. I'm not sure I'd know the first thing for the right way to tip if I visited the US.
And yet we seem to enjoy high quality food, and I believe our hospitality wages are higher in general.
( perhaps this is all anecdotal, but tipping has never seemed to make sense to someone not in the mix of it )