rsrsrs86

9 ms·

121.
by rsrsrs86 4y ago
I’ve been having ridiculously good code generation results. I mean projects that took months delivered under one hour.
122.
by rsrsrs86 4y ago
Sure, it would be better if we had the tooling built on top of electron or vs code. I tend to edit files in VS and reload in Alloy.
123.
by rsrsrs86 4y ago
This was an April’s fool joke
124.
by rsrsrs86 4y ago
It helps learning new languages (but doesn’t help much learning how to use their libraries etc) and forces you to learn a lot of useful techniques. But it can became a rabbit hole if you try to approach everything as a language problem with
125.
by rsrsrs86 4y ago
Curious, what do you think Alloy lacks in Tooling? I love the Alloy Analyzer. It's simple to use, you can visualize instances, it can point to UNSAT cores in the Code. (I wish it had a easy-to-use command-line or API so it would be eas
126.
by rsrsrs86 4y ago
Yes, it's hard fun :)
127.
by rsrsrs86 4y ago
I use Alloy extensively both to iterate designs very quickly and to communicate concepts to my team. My company is a SaaS for cap table management. I use it to formalize the core business logic as well as testing designs on non core feature
128.
by rsrsrs86 4y ago
Both can deal with time, but Alloy is a high level language to describe structures, their relationships, constraints and feels like writing SQL schemas and property tests. It is easy to use. With Alloy, you can very quickly iterate over sof
129.
by rsrsrs86 4y ago
Formal methods have their applications and specific use cases. It all depends on how much is at stake, economically. I suggest checking into Alloy, which is far easier to work with. It feels like writing a SQL schema, but you get bounded mo
130.
by rsrsrs86 4y ago
Do you have more to share? I use Alloy at work and research and would love to learn about how Apple uses FM.
131.
by rsrsrs86 4y ago
I get the point, but secular perspectives can not help those in need.
132.
by rsrsrs86 4y ago
Investors in venture capital generally will protect themselves on the downside with things like liquidation preferences. Lookup the term and you’ll see why. In practice it will mean that there company must first pay investors at cost and on
133.
by rsrsrs86 4y ago
Wow. This fed learning field is really, really cool.
134.
by rsrsrs86 4y ago
I always ask candidates why they want to work at an early stage startup as a developer, and “because it must be fun” is a show stopper. Being a founder is certainly not fun. The good parts are there, like earning money, interacting with you
135.
by rsrsrs86 4y ago
The microconomics mental models mentioned are so badly described from the trained economist’s perspectives that they aren’t even useful.
136.
by rsrsrs86 4y ago
Funny how the release has a note that the models clearly have ethical problemas that must be addressed, and still the company chooses to publish it.
137.
by rsrsrs86 4y ago
José Valim is amazing
138.
by rsrsrs86 4y ago
After reading the article, I am confused. I use types and categories frequently, and how is that not math?
139.
by rsrsrs86 4y ago
The poors man continuation monad and free monad papers both in Haskell, led me to consider how amazing the function join :: m (m a) -> m an implies you never leave the monad. Always one layer left! And how that represents effects. Uau!
140.
by rsrsrs86 4y ago
Geez, I hate PR.
141.
by rsrsrs86 4y ago
Externalities are perhaps worse.
142.
by rsrsrs86 4y ago
The thing is it is hardly measurable
143.
by rsrsrs86 4y ago
It looks coherent with internalization of negative externalities but actually proving that is an econometrics mindfuck.
144.
by rsrsrs86 4y ago
While reading the post, it didn’t strike me as odd. I worked with small services wrapping ML models and 200 lines looks very slick and I don’t recall anyone considering weights as part of the code, and even the model training code is treate
145.
by rsrsrs86 4y ago
Alloy is a great to model domains. We do DDD at work and Alloy has proved so valuable. We use it both for structural modeling (relations between parts of a state, including entities and values) and dynamic modeling (relations between ordere
146.
by rsrsrs86 4y ago
I’ve seen hundreds of millions in funding go down the drain in companies with daring requirements versus lack of technical creativity. In all cases the CTO, if there was one, was not technical and commanded no respect from the engineers.
147.
by rsrsrs86 4y ago
Plus there is a strong argument from Coase. Firms, he says, exist because negotiating jobs at this granularity would be to costly.
148.
by rsrsrs86 4y ago
For the microeconomics-inclined folks, the paper from Ronald Coase about why firms exist (to avoid extensive negotion/transaction costs) provides the argument for why this might or might not work. That is, this would make a great natur
149.
by rsrsrs86 4y ago
I use Elixir at my company and Ive gone thru three phases: 1.: love it for the polished ecosystem and functional programming, get frustrated because even though it is functional it is not at all like writing ML-style code and not having typ
150.
by rsrsrs86 5y ago
In Portuguese: Cirurgico

More ›