dwenzek

7 ms·

31.
by dwenzek 4y ago
And here is a gist that demonstrates how simple it is to implement such a type-safe printf function: https://github.com/mukeshtiwari/Idris/blob/master/Printf.idr
32.
Persistence Programming(cacm.acm.org)
2 points by dwenzek 4y ago|0 comments
33.
Implementing Dependent Types in pi-forall(arxiv.org)
1 points by dwenzek 4y ago|0 comments
34.
by dwenzek 4y ago
So many new programming languages that there is a shortage of names ;-) When I saw the title I thought it was another post for Vale, but no, it's Val! * Yesterday post on Vale PL: https://news.ycombinator.com/item?id=31
35.
by dwenzek 4y ago
OCaml and Haskell parse `a b c d e f` as `((((a b) c) d) e) f`.
36.
by dwenzek 4y ago
I love this idea to check how quickly a candidate can learn: if blocked on some coding/refactoring question, show the candidate how to do it, erase everything and ask him to redo it alone.
37.
by dwenzek 4y ago
One thing I find interesting and original is the idea of flow-based type inference. Citing the "The Lobster Type System" page [1]: Type checking happens in order of function calls, i.e. it is much like evaluating the cod
38.
Low head eco-friendly hydropower(turbulent.be)
2 points by dwenzek 4y ago|0 comments
39.
by dwenzek 4y ago
Interesting. However, since I'm not a gamer, I find more convincing the post given as a reference https://blog.asmartbear.com/slc.html .
40.
by dwenzek 4y ago
This post is a pearl! I love writing and I think that I'm good at it. However, I still have to learn and this post gives a sound structure. The point I'm struggling the most is to help my teammates growing their writing skills and
41.
by dwenzek 5y ago
This is the topic of the first week https://arc.sequoiacap.com/#main ;-)
42.
by dwenzek 5y ago
This page [1] tells the story of Timothy Kayondo and his Eco Mobile Purifier. [1) https://www.southampton.ac.uk/namrip/news/2021/02/africa-alu...
43.
Using rubbish to make clean drinking water(bbc.co.uk)
1 points by dwenzek 5y ago|2 comments
44.
by dwenzek 5y ago
Thank you for this excellent post! Also thanks to jorangreef for his detailed comment! It's a real pleasure to read such clear and thorough posts and discussions. For me, the key insights are: * to `fsync` before reading, * the analogy
45.
by dwenzek 5y ago
I see this as a good follow-up after this thread on the use of mmap to implement a database[1]. Indeed, there is a first implementation using mmap [2] to be compared with a full-fledged implementation [3]. [1] https://news.ycombi
46.
Implementing a File Pager in Zig(ayende.com)
4 points by dwenzek 5y ago|1 comments
47.
by dwenzek 5y ago
Thank you for these counter-arguments. It's good to have them to make up your own mind, especially when recognized experts use a mocking tone "you will no dare think the contrary".
48.
by dwenzek 5y ago
I see as the key point of this post the following point: > I believe we urgently need a new process for working remote. I do believe the same. Working remotely forces agile processes to be adjusted. Information radiators are no more the
49.
by dwenzek 5y ago
How this semantics is extended to handle named multi-stacks? For instance, how is interpreted the main example of the introduction [1]? {fn f => {spread $x $y $z} {$z drop} {$y clone square pop} {$x square pop} add {$y abs
50.
by dwenzek 5y ago
I agree that intuition and thinking often precede speaking and writing. However writing is a great tool to clarify and elaborate our thoughts. The point is not to be a talented writer but to take the most of our ideas, to make them stronger
51.
Verification for Dummies: SMT and Induction(ocamlpro.github.io)
3 points by dwenzek 5y ago|0 comments
52.
by dwenzek 5y ago
Thanks for the link. Indeed a nice programming language proposal. I love the opinionated set of design principles https://flix.dev/principles/ . There is also a former thread on HN: https://news.ycombinator.c
53.
by dwenzek 5y ago
I'm missing the integration tests ;-)
54.
25 Years of OCaml(discuss.ocaml.org)
3 points by dwenzek 5y ago|0 comments
55.
Functional UI – A Stream-Based Equational Approach (2020)(infoq.com)
2 points by dwenzek 6y ago|0 comments
56.
by dwenzek 6y ago
> How can you distribute responsibility for design through all levels of a large hierarchy, while still maintaining consistency and harmony of overall design? This how the author summaries the intent of Christopher Alexander's work.
57.
by dwenzek 6y ago
Exactly the kind of PL ideas I'm looking for. Discovering concatenative languages, like Forth, opens a door to a new world.
58.
Three surprising things you can make with mushrooms(bbc.co.uk)
1 points by dwenzek 6y ago|0 comments
59.
by dwenzek 6y ago
What is a modern programming language? I like discovering new programming languages or more specifically new approaches to programming. I'm looking for new landscapes these languages can help me to explore. And when I say new I mean
60.
by dwenzek 6y ago
Indeed, the identity is only required to deal with an empty input.

More ›