QuinnWilton

14 ms·

91.
by QuinnWilton 7y ago
One of their newer games, Obduction, also has an alien number system. Each number is represented as paths on a 3x3 grid, and you're given access to what's essentially an oracle for the system in order to learn it. Throughout the g
92.
by QuinnWilton 7y ago
I'd make the argument that houses, and by extension structures and towns, form dynamic systems. Parts of a structure may decay over time, but any structure in active use is going to undergo a continuous process of repair and improvemen
93.
by QuinnWilton 7y ago
This is incredible! Since the initial story gets fed into the context for every action, I've been enjoying "injecting" my own themes into the story by naming myself using sentences. For example, naming myself "Quinn. You
94.
by QuinnWilton 7y ago
That makes a lot of sense! Thanks for elaborating :) If you don't mind me asking, what are you working on / what is your background? It sounds like you're doing a ton of really interesting engineering, involving a lot of movi
95.
by QuinnWilton 7y ago
Fair :) My question was meant with more of a conversational slant than an objective one, but I can see how that tone gets lost over text. i.e. It's obvious that some people use TLA+, but I'm interested in what specifically the peo
96.
by QuinnWilton 7y ago
Thank you for clarifying what you mean! I was using the same terminlogy as the article, and treating my property tests as informal forms of model checking due to their being unsound, but I can see how that isn't exactly correct.
97.
by QuinnWilton 7y ago
Absolutely! Which is why I'd love to incorporate actual model checking into my work. I said that I make use of some level of model checking, but what I really meant was that I make use of a poor approximation of it. Edit: I was convinc
98.
by QuinnWilton 7y ago
You may have seen this blog already, but the author of "Practical TLA+" has a really fascinating blog with some fun toy examples. I'm a fan of this article where they model A Link to the Past with Alloy, to prove that dungeon
99.
by QuinnWilton 7y ago
Sure, but not all of us are building products at the scale of Amazon and Microsoft. When you're shipping something like DynamoDB, the argument for TLA+ is obvious. What's harder to come across are the people finding ways to make u
100.
by QuinnWilton 7y ago
This is really cool! I'm continually blown away by the quality of some of the projects Shopify open sources.
101.
by QuinnWilton 7y ago
> The TLA+ model basically pointed out that the (finite sized) message buffer can grow without bounds if notifications are missed over and over (e.g. a super shitty RF environment). I've got a strategy that might work for polling it
102.
by QuinnWilton 7y ago
Concuerror is a very cool tool! I've been very impressed with some of the bugs I've seen it detect. It's definitely a tool I'd like to make more use of. Thanks for the insightful comment, it's given me a lot of thin
103.
by QuinnWilton 7y ago
This presentation is exactly the sort of thing I'm interested in, thank you!
104.
by QuinnWilton 7y ago
I understand what you're saying, but I think that it's possible to approximate model checking with property testing, by defining your model's invariants as properties, and then generating a list of symbolic commands to run ag
105.
by QuinnWilton 7y ago
Is anybody using TLA+ in production outside of academia? What for? I've always wanted to, but I'm not familiar enough with it to always recognize when it'd be the right tool to reach for. I primarily code in Elixir and Erlang
106.
by QuinnWilton 7y ago
Configuring it to open pull requests less frequently doesn't help, since dependencies still get updated one by one, rather than in batches. I've found it easier to just run an interactive yarn upgrade every so often.
107.
by QuinnWilton 7y ago
You can do this with Dependabot [0], recently acquired by Github. We use Dependabot, and I love it for our backend repositories, but anything with node dependencies ends up being easier to manually update (because there ends up being so man
108.
by QuinnWilton 7y ago
It's not unfortunately, I just gave it over lunch to my team about a year ago. Thanks though!
109.
by QuinnWilton 7y ago
> Using this programming style requires a rather powerful type system, if you want to go past the simple examples the author shows and encode more complex validity conditions. You need a strong type system if you want to encode complex c
110.
by QuinnWilton 7y ago
I really enjoyed this article! I think that leveraging the type system to enforce invariants about your data model is one of the most effective things you can do as an engineer. I gave a talk on this topic at my workplace, using Elixir and
111.
by QuinnWilton 7y ago
Not that I've experienced or heard about. My household puts about a terrabyte of bandwidth through Shadow per month, and we haven't had any issues.
112.
by QuinnWilton 7y ago
Ah, I just checked, and I have some referral credit that gives me a discount. Sorry to misadvertise the price!
113.
by QuinnWilton 7y ago
You'd be surprised. I even connect from an Oculus Quest and stream VR over wifi without noticeable lag.
114.
by QuinnWilton 7y ago
I suspect that, at least in places with decent internet, something like ShadowPC negates the need for such a service. I rent a top of the line gaming PC for ~$25/month, and run my games in the cloud. With what I used to spend keeping a
115.
by QuinnWilton 7y ago
> For whatever it's worth, as a data point relating to a recent discussion on whether a university CS education makes you a better programmer or not: We literally started learning about algebraic structures in the first math class o
116.
by QuinnWilton 7y ago
I put all of my subscriptions on single purpose card numbers I generate using www.privacy.com The tool lets me set a total or per month spending limit on each card, which I can use to decline unexpected transactions -- basically either auto
117.
by QuinnWilton 7y ago
It's impossible to choose a favourite, but here's a beautiful snippet, courtesy of Joe Armstrong [0] universal_server() -> receive {become, F} -> F() end. [0] https://joear
118.
by QuinnWilton 7y ago
These aren't comparable examples. If you hire a hitman, there's a reasonable expectation that people will die. No such expectation exists for hiring someone to mow your lawn.
119.
by QuinnWilton 7y ago
It sounds like you're talking about garden-path sentences [0], and in particular: "time flies like an arrow; fruit flies like a banana" [1]. These are sentences whose structure tricks the reader into making an incorrect parse
120.
by QuinnWilton 7y ago
> You could use glasses, but not everyone wants to wear them. What about contact lenses?

More ›