dkarapetyan

187 ms·

1681.
by dkarapetyan 13y ago
How is this any different from compiling C to assembly? Why would higher level languages create unsynthesizable circuits? You trust the C compiler to create the proper instructions for your target architecture then I don't see why the
1682.
by dkarapetyan 13y ago
Wait. Isn't this a problem with motels and other temporary housing situations as well? What makes Airbnb so special?
1683.
Infrastructure 2.0(scriptcrafty.com)
1 points by dkarapetyan 13y ago|0 comments
1684.
by dkarapetyan 13y ago
There is no content here. Why are people explaining themselves and upvoting this nonsense?
1685.
by dkarapetyan 13y ago
Poor choice of words on my part. Yes, monoids are indeed a very basic kind of algebraic structure but the tutorials for these structures are always in a language like haskell where the actual simplicity of the concepts gets lost behind the
1686.
by dkarapetyan 13y ago
I think the general principle here is combinator based approaches to program structure. Combinators are just as easy to use in object oriented languages as they are in functional languages especially languages that allow some form of operat
1687.
by dkarapetyan 13y ago
I really like the new HN. Quality of articles is way up.
1688.
by dkarapetyan 13y ago
I don't think number of applications is a big deal when it comes to stuff like this. As long as it has a secure network stack and implementations of various servers for core internet infrastructure it's good enough for me. Now if
1689.
by dkarapetyan 13y ago
Well they kinda need to get grants so keeping it a little closed up for publishing research isn't necessarily bad. It does mention that they plan to open it up.
1690.
by dkarapetyan 13y ago
Forget HR at big corporations. Just forget it. Fill out whatever boilerplate you have to and get them out of the way as quickly as possible. At one point I tried to get into the hiring pipeline to both streamline the process and to get bett
1691.
by dkarapetyan 13y ago
Infinitely infinitely many is still infinitely many. N x N has the same cardinality as N. Now if you meant N ^ N then that's actually different. "x" means set product and "^" means function space.
1692.
by dkarapetyan 13y ago
https://github.com/vincenthz/hs-tls
1693.
by dkarapetyan 13y ago
You don't need a committee to build rock solid software. There are all sorts of formal verification and modeling tools for specifying machine checkable specifications. The overhead in many cases is high so you're not gonna use it
1694.
by dkarapetyan 13y ago
Ok, I can see the interlocking state machines introducing complexity that is unavoidable but the rest of it just seems like self-inflicted nonsense. I'm more than willing to take a performance hit and have a correct implementation that
1695.
by dkarapetyan 13y ago
Why is this so hard? I'm honestly curious to know. The theory is extremely well laid out, i.e. it's just number theory. We know to do stuff in a way that avoids side-channel attacks, i.e. try not to leak power usage when you'
1696.
by dkarapetyan 13y ago
I don't understand any of this. Every atlassian product I have ever used has been terrible. All their software is full of performance issues, uncountable UI bugs, and every time we upgrade it's impossible to tell whether we lost a
1697.
by dkarapetyan 13y ago
Yes, why doesn't the same thing exist for SSL? The fact that quark was funded by the NSF means that there is interest in actually doing stuff like this.
1698.
by dkarapetyan 13y ago
Honestly, why aren't the formal verification people jumping on this? I keep hearing about automatic code generation from proof systems like Coq and Agda but it's always some toy example like iterative version of fibonacci from the
1699.
by dkarapetyan 13y ago
I don't get why there are so many egos in kernel and low-level development circles. I get that it's a bit more challenging than usual application development but the egos seem way too big relative to what's involved.
1700.
by dkarapetyan 13y ago
We already do this.
1701.
by dkarapetyan 13y ago
Anders is a really good language designer. Everything this dude touches turns to gold. He was also behind C# and as far as enterprise languages go C# is a joy to work with. TypeScript is the same way. It's all really well thought out a