inaseer

6 ms·

31.
by inaseer 6y ago
Writing tests to prove you've a correct implementation is indeed a very hard problem. I toyed with an interesting idea last year where I began to write a simple (but intentionally incorrect) Paxos implementation using P# (now known as
32.
by inaseer 7y ago
Yes, database transactions should be heavily leveraged wherever possible. We've often had to write services which create multiple resources in response to user requests. As an example, create an entry in the database and trigger the cr
33.
by inaseer 7y ago
There is a good body of knowledge around dealing with concurrency issues within a single process. We've tools (locks, semaphores ...) to deal with the complexity as well as programming paradigms which help us write code which minimizes
34.
by inaseer 7y ago
Super happy to see Coyote publicly released. Our team within Azure has used it on a number of services and cannot say enough good things about it. It has allowed us to develop code knowing that safety and liveness violations due to subtle r
35.
by inaseer 7y ago
P# team at Microsoft | Redmond, WA | Contract | Onsite The P# team at Microsoft works on enabling developers to write reliable, well-designed and well-tested software through model checking and language integration techniques. The approach
36.
by inaseer 10y ago
The Banana and Elevator demos did not specify/verify temporal properties so I suspect it doesn't support specifying temporal formulas at the moment (the T in TLA+). This means it can be used to check correctness properties but not
37.
by inaseer 10y ago
I'm reserving my judgement on the system. Just sharing a few videos which might help in understanding Urbit better. Start with this LamdaConf talk: https://www.youtube.com/watch?v=I94qbWBGsDs and pair with this demo vi
38.
by inaseer 10y ago
Types are invaluable when refactoring your code. I have found Typescript to be invaluable when doing exploratory programming as it allows me to refactor heavily as I learn more about the structure of the problem. The compiler points all the
39.
by inaseer 11y ago
Ah, your landing page should make that abundantly clear. That's a very cool feature. I tried a couple of articles on Washington Post and the algorithm did a decent job. I then read the gist first before reading an article, and while so
40.
by inaseer 11y ago
The web is a big place. What's the strategy around seeding it with useful gists so it can gain critical mass? Have you thought about focusing on a niche (say, TED talks?) or possibly automatically summarizing pages? The latter could be
41.
by inaseer 15y ago
I see several relevant results in Bing including the wikipedia entry for Up as the fourth result.