endiangroup

8 ms·

31.
by endiangroup 5y ago
thats the interesting part! Can it be done as a team.
32.
by endiangroup 5y ago
That's a subprocess and not the thing we started with (that's analogous to me imagining myself... its not the same self that is doing the imagining), the assumption here is consciousness is single threaded.
33.
by endiangroup 5y ago
This. You have the set of all sets problem... As soon as some part of you steps aside to inspect the other, it's missing out itself. In the words of Alan Watts: You can't touch the tip of your finger with the tip of the same finge
34.
by endiangroup 5y ago
These guys have come up with a solution: https://news.ycombinator.com/item?id=28443610 -- Peer to peer recruiting.
35.
by endiangroup 5y ago
AD: I wrote a library that can deal with this for JWT https://github.com/endiangroup/compandauth The skiny is that you place a copy of some monotonic counter inside every JWT you issue, you keep track of the counter se
36.
by endiangroup 5y ago
Thanks for the insight!
37.
by endiangroup 5y ago
I think your intro about covers it, it's a great intro book, not an exhaustive compendium. I certainly found it useful for my mental modelling and world views. YMMV!
38.
by endiangroup 5y ago
I linked to the same article! Isn't a leverage point an attempt to control a system? Thanks for the additional info! Interesting to hear. I will check out Daniel Schmachtenberger.
39.
by endiangroup 5y ago
AD: Systems Thinking is getting out of date, but in the spirit of knowledge sharing, another fantastic systems thinker is Donella Meadows, heres her most linked piece on leverage points in systems: https://donellameadows.org&#x2F
40.
by endiangroup 5y ago
AD: I can't see any source code? Did you redact it already?
41.
by endiangroup 6y ago
I think the insight here is that if you're asking your user you aren't going to get the answers you want. This is why survey writing is so hard, because people can't just explain themselves on the spot.
42.
by endiangroup 6y ago
So let's negotiate the true value? How else are you going to know if you're delivering technology thats useful? You said there are other reasons, what are those reason? I've gone to restaurants to meet friends... and ultimate
43.
by endiangroup 6y ago
AD: So this has been downvoted without refute... any takers? Or is it just bots...
44.
by endiangroup 6y ago
AD: Agreed! I'd look into BDD as an exploration and specification process (it's not just a testing methodology!), it taps into the goals of your users and features that satisfy those goals. See my comment below for a crude example
45.
by endiangroup 6y ago
+1, without examples it's theoretical none-sense.
46.
by endiangroup 6y ago
AD: Sorry you got bogged down in the details. Would you like me to put together a more thorough example? That one I wrote in 2 minutes. To clarify I picked /some/ value for the restaurant guest, but we could negotiate what the &#x
47.
by endiangroup 6y ago
AD: I completely agree, value > ego's.
48.
by endiangroup 6y ago
AD: I call BS... There is a fundamental difference between functional requirements and the tasks required to implement them. Note there are NO examples in that article, and I bet you it's because it was hard to think of context free ta
49.
by endiangroup 6y ago
AD: When we all say it is, followed by the actions that prove it.
50.
by endiangroup 6y ago
Yes absolutely, as I stated in the comment before. The super fast verification is once you've done the DB lookup and do the actual comparing (as it's just int64 comparisons). CAA is intended as a set of primitives to be built on t
51.
by endiangroup 6y ago
Good luck with the audit, the solution sounds interesting on the surface! Ah I think you've slightly misunderstood, there is a 'counter' per entity, each user has their own separate counter so when you are revoking it is only
52.
by endiangroup 6y ago
AD: I authored a solution to the revocation of tokens[1] for JWT and even verified the solution through TLA+. It uses a monotonic counter as a claim per JWT, you can revoke X active sessions behind the last issued, you can also use time to
53.
by endiangroup 7y ago
AD: Its one of those areas I don't see come up AT ALL on HN, complexity theory [0] imho is a superset to all software engineering practises, because people are involved and not just because the things we are trying to solve are 'c
54.
by endiangroup 7y ago
fortunately there is a TLA+ spec so you can rewrite the system in any language you like!
55.
Show HN: CAA – Lightweight distributed session management [Go / TLA+](endian.io)
5 points by endiangroup 7y ago|3 comments
56.
by endiangroup 7y ago
Act 1 - G/W/T can be used to express iteratively aspects of an algorithm such that you can derive it without knowing or fully understanding it (algorithm triangulation: think GPS where each satellite is a constraint and you derive
57.
by endiangroup 7y ago
Thats where things like Domain Driven Design are going, and really it makes a lot of sense. Why express and model your domain in terms outside of it? Its like forever living through a translator instead of just learning the language in the
58.
by endiangroup 8y ago
It uncovered an oversight in an algorithm we put together for managing distributed sessions. An invariant showed that our algorithm would accept and consider valid tokens that were ahead of the 'master' counter, which theoreticall
59.
by endiangroup 8y ago
We used this resource to put together a model for our distributed sessions management algorithm, heres a GitHub with Go implementation and PlusCal / TLA+ model [1]. We also wrote a more in depth article about it here [2] (with an inter
60.
by endiangroup 8y ago
We're the team that put this paper together, happy to answer any questions!

More ›