weatherlight

8 ms·

1. 61.▲
   by weatherlight 2y ago

   “Incredible Discovery Makes Skin Invisible By Using Yellow Dye” Antón breaks this down here. https://youtu.be/8CRH-rYNleo
2. 62.▲
   Achieving optical transparency in live animals with absorbing molecules(science.org)

   1 points by weatherlight 2y ago|2 comments
3. 63.▲
   by weatherlight 2y ago

   This can cause GC to become "bursty." BeamVM languages complete side step this problem all together.
4. 64.▲
   by weatherlight 2y ago

   Other than it being open source, what are the advantages of RISC-V over ARM?
5. 65.▲
   by weatherlight 2y ago

   I feel like when people write Ruby like its Java as opposed to say, smalltalk, a lot of what makes ruby wonderful is lost.
6. 66.▲
   by weatherlight 2y ago

   I feel like this axiom is true in general. Don't write [insert lang here] like it's Java. I've seen this in Ruby code bases, TS code bases, even Erlang code bases (using gen servers like an OO primative.)
7. 67.▲
   Ruby Methods Are Colorless(jpcamara.com)

   5 points by weatherlight 2y ago|1 comments
8. 68.▲
   by weatherlight 2y ago

   The full quote. The one-sided pattern matching seems to be a peculiarity of Elixir. The post above discusses an implementation of full unification without that restriction. To clarify, unification is not generally rest
9. 69.▲
   by weatherlight 2y ago

   I'm saying you can't do the above in the languages mentioned above.
10. 70.▲
    by weatherlight 2y ago

    its not quite the same. you have to write quiet a bit of OCaml or Haskell to do the following. [foo, [2, 3, bar], baz, 5] = [1,[2,3,4], 5] If there's a match, the bindings "foo", "bar", "baz" will be bound
11. 71.▲
    by weatherlight 2y ago

    It's not the same. > [a, 2, 2, b] = [1, 2, 2, 3] [1, 2, 2, 3] > a 1 > b 3 > [foo, 2, bar] = [3,3,3] %MatchError{term: [3, 3, 3]} > foo %CompileError{description: "undefined
12. 72.▲
    Unification in Elixir(ericpfahl.com)

    186 points by weatherlight 2y ago|31 comments
13. 73.▲
    by weatherlight 2y ago

    Typescript's type system isn't sound. The Set theoretical type system proposed for Elixir is.
14. 74.▲
    by weatherlight 2y ago

    Different type system with different goals. Gleam uses a modified version of the Hindley-Milner Type system. (Which is a rock solid tested type system.) A Set theoretical type system is more expressive(which suits the dynamic nature or Elix
15. 75.▲
    NASA Software Safety Guidebook [pdf](standards.nasa.gov)

    53 points by weatherlight 2y ago|5 comments
16. 76.▲
    by weatherlight 2y ago

    ngl, I didn't even notice until you pointed it out.
17. 77.▲
    Unification in Elixir(ericpfahl.com)

    2 points by weatherlight 2y ago|0 comments
18. 78.▲
    by weatherlight 2y ago

    https://www.ericpfahl.com/from-pattern-matching-to-unificati...
19. 79.▲
    by weatherlight 2y ago

    Here's a good start. https://www.ericpfahl.com/from-pattern-matching-to-unificati...
20. 80.▲
    (Logic) Prolog, Erlang, Elixir a side-by-side reference sheet(hyperpolyglot.org)

    37 points by weatherlight 2y ago|10 comments
21. 81.▲
    Keynote: Gang of None? Design Patterns in Elixir – José Valim – ElixirConf(2024)(youtube.com)

    4 points by weatherlight 2y ago|0 comments
22. 82.▲
    A reckless introduction to Hindley-Milner type inference(lesswrong.com)

    3 points by weatherlight 2y ago|0 comments
23. 83.▲
    by weatherlight 2y ago

    It's type safe, it's important to note that its type system is a Hindley–Milner type system. Same type system family as OCaml, Haskell, Standard ML etc. Its syntax is heavily inspired by Rust. whereas Elixir's syntax is inspi
24. 84.▲
    by weatherlight 2y ago

    I've heard good things about this book, I didn't realize the examples were in SML. :)
25. 85.▲
    by weatherlight 2y ago

    I love FP. but this is way more readable than the above. It doesn't fight the ergonomics of javascript.
26. 86.▲
    by weatherlight 2y ago

    I've always loved Standard ML and feel it's never gotten the love that it deserved. It was my introduction to typed FP concepts via this course (Part A) https://www.coursera.org/learn/programming-languages
27. 87.▲
    by weatherlight 2y ago

    export const Child2Animation = Co.Repeat( Co.Seq([ Co.SetState(Child2.Updaters.Core.a(replaceWith(1)).then( Child2.Updaters.Core.b(replaceWith("")))), Co.Wait(250), C
28. 88.▲
    by weatherlight 2y ago

    thats unfortunate...
29. 89.▲
    by weatherlight 2y ago

    Why is "Murders your wife" one of the columns and why did Reiser4 and ReiserFS qualify?
30. 90.▲
    Comparison of File Systems(en.wikipedia.org)

    2 points by weatherlight 2y ago|6 comments