beckford

7 ms·

31.
Using Jujutsu (jj) to teach a course(diskuv.com)
2 points by beckford 1y ago|0 comments
32.
by beckford 1y ago
Thanks for some of the early feedback. I did a few tweaks: separated the quick start into two (one for students, one for experienced devs), moved up the examples, and duplicated some of HN summary text on the linked page. The latter because
33.
by beckford 1y ago
Yes, there is always verbal instruction (not really explanation) to start with the students. For example, most students I work with don't know how to open a terminal ... they need top-down guidance with copy and paste. The most explana
34.
by beckford 1y ago
It is the OCaml language but it also isn't packaged like conventional OCaml. Please don't blame OCaml for that. It _does_ need a primer for those unfamiliar with OCaml. I was thinking ... since this is scripting ... part of it wil
35.
by beckford 1y ago
I usually structure teaching the same way done in https://www.writethedocs.org/videos/eu/2017/the-four-kinds-o... . So "the Quick Walkthrough Guide will explain what dk scripts are and give you small exam
36.
Show HN: dk – A script runner and cross-compiler, written in OCaml(diskuv.com)
61 points by beckford 1y ago|9 comments
37.
by beckford 2y ago
TIL: Another instance of history repeating itself.
38.
by beckford 2y ago
> The goal is that we can play Sudoku in TypeScript while the type checker complains about mistakes. This is not about implementing a Sudoku solver. That goal could be extended to implement a Sudoku solver in the type system. One such
39.
Show HN: OCaml scripting framework that scales to full-featured apps(github.com)
1 points by beckford 2y ago|0 comments
40.
by beckford 3y ago
That's fair. Assuming I introduced a new macro "compactexpr" it could have been written: [%%compactexpr "SumArStaged"; [ arr; n ]; let sum = ref 0 in for i = 0 to 3 do for j = i to min (i + 3) (n - 1
41.
by beckford 3y ago
I'd consider that an extension of the "object database" approach mentioned. Just as you mention the application needs to decode (and encode and deal with missing fields) that JSON. And probably in any sufficient size of appli
42.
by beckford 3y ago
Author here. In the article I highlighted how easy it is now to translate OCaml line-by-line into other languages while at the same time preserving exact semantics. That was the cool news that deserved its own callout. But as you noticed I
43.
OCaml as the Universal Translator – DkSDK Merry Christmas 2023(gitlab.com)
66 points by beckford 3y ago|7 comments
44.
by beckford 3y ago
Reading + building neural nets to play games? Yes! Count me interested.
45.
by beckford 3y ago
Was in agreement until I drilled down to the following statement on the Wing GitHub page and in the docs ( https://docs.winglang.io/faq/why-a-language#very-cool-but-wh... ): “In existing languages, where there is no way
46.
by beckford 3y ago
Completely agree. For a while I did run a fork of the Signal Server. Beyond the sheer difficulty getting it to run without the server being updated for a year during the mobilecoin launch, it was extremely disconcerting to see PHONE NUMBERS
47.
by beckford 3y ago
I missed the answer to: How is this different than MSYS2? After digging through some of the sublinks: - You can run gcc in the Command Prompt without using a special shell (MSYS2 has its own shell launcher) - Maybe MSYS2’s gcc handles excep