QuinnWilton

9 ms·

31.
by QuinnWilton 6y ago
Chromium EC. It's the part of Chromebooks that handles things like keypresses: https://chromium.googlesource.com/chromiumos/platform/ec/+/m...
32.
by QuinnWilton 6y ago
You'd likely be interested in the work done by Eric Oestrich in building MUDs with Elixir. Kalevala: a world building toolkit for text based games, written in Elixir [0] ExVenture: a text based MMO server written in Elixir [1] Grapevin
33.
The Science of Brute Force (2017)(cacm.acm.org)
40 points by QuinnWilton 6y ago|2 comments
34.
Cryptol: A DSL for specifying cryptography algorithms(cryptol.net)
2 points by QuinnWilton 6y ago|0 comments
35.
by QuinnWilton 6y ago
I love this, and I'm excited that you've finally released it! One of the biggest issues I run into with using Elixir as a scripting language is the difficulty of making use of libraries in a REPL without first installing them into
36.
by QuinnWilton 6y ago
I grew up learning to program on Roblox 14 years ago, and more than a few of my friends from back then are now wildly successful engineers. It's only gotten more advanced since then, and if I were a parent, I'd love for my kids to
37.
Two Workers Are Quadratically Better Than One(hillelwayne.com)
1 points by QuinnWilton 6y ago|0 comments
38.
Getting Started with Dafny(rise4fun.com)
2 points by QuinnWilton 6y ago|0 comments
39.
Type-Safe LiveView with Gleam [video](youtube.com)
2 points by QuinnWilton 6y ago|0 comments
40.
by QuinnWilton 6y ago
There's an IRC channel on Freenode: #gleam-lang
41.
by QuinnWilton 6y ago
I'm glad you enjoyed it! Some of these patterns are a little controversial, because they add extra layers of indirection + bloat the code, but I've personally always found that they make Erlang / Elixir much more readable. On
42.
by QuinnWilton 6y ago
> Are we at that point yet? Yes. Shameless plug: I'm giving a talk at Elixir Conf next week on using Gleam with Phoenix LiveView. One of my demos is an emulator I wrote in Gleam that I render and control with LiveView, in the browse
43.
by QuinnWilton 6y ago
Oh wow, I didn't expect to see this on here! I wrote this one night for fun, and then shoved it on a Raspberry Pi with Nerves, where it chugged away on my desk for a few months, listing all the devices connected to my network. The code
44.
Lean HTTP Server for Gleam(crowdhailer.me)
14 points by QuinnWilton 6y ago|5 comments
45.
by QuinnWilton 6y ago
I started using Twitter a few months ago and it's been a pretty universally positive experience for me. I'm more connected than ever with the Elixir community, am able to stay on top of new libraries and developments more effectiv
46.
by QuinnWilton 6y ago
I know this comment doesn't add anything to the discussion, but I'm another happy user who loves the product and uses it daily. I feel like it gives me the superpower of being able to answer any question my teammates have with a d
47.
by QuinnWilton 6y ago
If this is interesting to you, Orson Welles has an utterly fascinating kind-of-documentary (it's a bit genre defying) about art forgery, named "F for Fake". It's a very strange movie, but it's worth a watch: https:
48.
Lean HTTP Server for Gleam(crowdhailer.me)
1 points by QuinnWilton 6y ago|0 comments
49.
by QuinnWilton 6y ago
Wadler might argue that linear types being merged changed the world! http://www.cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf
50.
Gleam: Lean BEAM typing machine – Code BEAM V 2020 (YouTube)(youtube.com)
2 points by QuinnWilton 6y ago|0 comments
51.
by QuinnWilton 6y ago
Lattices, and by extension semilattices, are one of my favourite algebraic structures in the context of programming. Their applications are innumerable, from access control, to distributed systems, to constraining the information flow of pr
52.
Cuter – A concolic testing tool for the Erlang(github.com)
1 points by QuinnWilton 6y ago|0 comments
53.
by QuinnWilton 6y ago
My team at Synopsys is hiring. We were recently acquired by them, and we build dynamic security analysis tools in Elixir, and make heavy use of Phoenix and GraphQL through Absinthe. We're also open to remote work, and have offices in m
54.
by QuinnWilton 6y ago
I haven't, but the creator of the library (Brooklyn Zelenka / @expede) has given a few excellent talks that reference her libraries. This is a personal favourite: https://www.youtube.com/watch?v=JD0FJTmuV_Q
55.
by QuinnWilton 6y ago
Protocols + the Typeclass library [0] makes for some of the most extensible Elixir code I've worked with. [0] https://github.com/witchcrafters/type_class
56.
by QuinnWilton 6y ago
I want to echo Gleam [0] as a project to watch out for. It's still very early, but it's evolving quickly, and has a big focus on providing ergonomic tooling. It's an ML inspired, statically typed language that compiles down t
57.
Gleam v0.8 Released(lpil.uk)
1 points by QuinnWilton 6y ago|0 comments
58.
by QuinnWilton 6y ago
That's hard to say. I've never worked on an engineering team of more than 10 people. That being said, with the tools I described, you still have type annotations and automated type checking, so the documentation benefits of static
59.
by QuinnWilton 6y ago
I don't know if I'd say "ever", but it definitely won't be easy! Take a look at session types [0] if you haven't seen them! Type checking unrestricted message passing would be difficult, but I can imagine a sub
60.
by QuinnWilton 6y ago
> Are many of the other languages you've used strongly typed? That's the thing that gives me pause - I feel like I rely on the compiler a lot in languages where it can do a lot for me, and that I'd be really frustrated man

More ›