QuinnWilton

5 ms·

1.
by QuinnWilton 4y ago
It's difficult to take comments like this in good faith when the Github profile linked on your account prominently features your signature on a letter calling for Richard Stallman to be reinstated to the FSF after his resignation, foll
2.
by QuinnWilton 4y ago
To an extent, you get this with Datalog, which is an easily embeddable subset of pure Prolog. I've been spending a ton of time with the language and its implementation through my day job, and I recently spoke about its use as a DSL for
3.
by QuinnWilton 4y ago
> I wonder if it's fair to consider it constraint-based programming rather than just logic programming Prolog III is considered the origin of constraint logic programming: http://www.prolog-heritage.org/en/ph30.
4.
An Introduction to Session Types(wen.works)
2 points by QuinnWilton 5y ago|0 comments
5.
by QuinnWilton 5y ago
This has historically been fairly common among a lot of the early Elixir libraries, and I'd imagine that's a byproduct of many of the early adopters coming from the Ruby ecosystem, and not having prior experience with the patterns
6.
by QuinnWilton 5y ago
Yes, that's mostly it! A lot of what I'm talking about has to do with configuration, but reuse is another big element. Your example has no configuration, and so is good in that regard, however your example is not reusable, in the
7.
by QuinnWilton 5y ago
Problematic is probably too strong of a term, and I think I'd use the word inflexible instead. I want to be clear though: my issue isn't with applications -- the functionality you're talking about is powerful and useful -- it
8.
by QuinnWilton 5y ago
Yes! This is a great approach, and I'd be happy to see more examples like this in the wild. This is similar to the same way Phoenix PubSub works, with the PubSub application starting a pg scope as part of its supervision tree, that cli
9.
by QuinnWilton 5y ago
Agreed. I also wish fewer libraries started their own supervision tree, and instead gave you a child spec to drop into your supervision tree. There's definitely use-cases where shipping libraries as an application makes sense, but ofte
10.
by QuinnWilton 5y ago
I don't think this is a fair argument. Sure, the shirt probably isn't appropriate for a business casual environment, but that doesn't change the fact that this behaviour is sexual harassment: made worse by the fact that the r
11.
by QuinnWilton 5y ago
Finnegan's Wake absolutely exists to be read, or even sung, out loud. If you've never gotten the appeal, just try listening to the start of an audiobook version. There's a Youtube series that covers the first few chapters tha
12.
by QuinnWilton 5y ago
I think an obvious solution would be to exclude anyone who is incapable of managing the bare minimum level of professionalism that's required in a workplace. If someone is incapable of managing their feelings in a workplace then maybe
13.
by QuinnWilton 5y ago
Plenty of us have absolutely no problem working in same-sex environments, and plenty of straight people have no issues working in coed environments. This is very clearly a case of the professor being unprofessional and exploitative of his p
14.
by QuinnWilton 5y ago
Where do non-straight people fit into this "solution"?
15.
by QuinnWilton 5y ago
For what it's worth, I spoke last year about using Gleam to develop a type-safe core for a LiveView application: https://www.youtube.com/watch?v=UCIcJBM_YDw I think that what you're looking for is already possible
16.
by QuinnWilton 5y ago
Oh and it wasn't. That was the least of the school's problems though. They also used a surveillance system called LanSchool, which sent out all of its commands entirely unencrypted and unauthenticated, so people would spoof the re
17.
by QuinnWilton 5y ago
My highschool physically removed the right mouse button from the mice, because we were right clicking to make text files that we'd rename as batch files to get a command prompt open. Some people would just bring their own mouse in to g
18.
A Child’s Garden of Inter-Service Authentication Schemes(latacora.micro.blog)
1 points by QuinnWilton 5y ago|0 comments
19.
by QuinnWilton 5y ago
This is a really tough question to answer, because the answer depends on what you're using JWT for. JWT crams as much functionality into the format as possible, and most of that functionality isn't needed for most use cases. This
20.
by QuinnWilton 5y ago
And all of this is to say nothing of the frankly embarrassing problems that have plagued JWT as a result of algorithm agility (alg=none). Removing agility from JWT wouldn't make it a good specification, but it would certainly make it a
21.
Thoughts on Forth Programming(call-with-current-continuation.org)
3 points by QuinnWilton 5y ago|0 comments
22.
by QuinnWilton 5y ago
I think this is very indicative of Winkelmann's philosophies about software in general. On his site he writes a little bit about why he thinks Forth is so important, and I think it makes for a good explanation of why he probably implem
23.
by QuinnWilton 5y ago
Oh thank you for sharing! I've never come across this, but there's some great references in the README I'll have to go through.
24.
by QuinnWilton 5y ago
Unfortunately not: it's a physical copy and was a very generous gift from a friend yesterday, who knew I had been trying to track down a used copy for over a year.
25.
by QuinnWilton 5y ago
Not that I've seen yet, but the manual does include this passage: > Strand provides pattern matching but no general unification, instead logic variables must be explicitly assigned, which simplifies the semantics considerably.
26.
by QuinnWilton 5y ago
What isn't clear from this snippet, that I think is incredibly cool, is that all of the expressions within a function (here, called processes), actually run in parallel. In this snippet: count(N) :- N =< 10 | even(N), N2 is N +
27.
by QuinnWilton 5y ago
Yup! The original Prolog implementation is described in "Use of Prolog for developing a new programming language" [0], and took place in 1986. After performance eventually became an issue, they cross-compiled Erlang to a few other
28.
by QuinnWilton 5y ago
Joe Armstrong and Robert Virding actually experimented with compiling Erlang to Strand. I'm not familiar with all of the details, but I believe they saw a factor of six speedup as compared to the Prolog implementation [0], but deemed t
29.
Strand Programming Language(call-with-current-continuation.org)
117 points by QuinnWilton 5y ago|28 comments
30.
by QuinnWilton 6y ago
I'm a huge fan of GraphQL, and work full-time on a security scanner for GraphQL APIs, but denial of service is a huge (but easily mitigated) risk of GraphQL APIs, simply because of the lack of education and resources surrounding the to

More ›