rkrzr

18 ms·

121.
by rkrzr 10y ago
You can do it using the nginx-lua module, something like: `local response = ngx.location.capture("/some/api/endpoint" )` I would not recommend doing this, though. Nginx internals are rather complicated in my experie
122.
by rkrzr 10y ago
In my experience there are a couple of reasons that lead to bad names in programs: - it takes effort to think of a good name. And more of the linguistically creative type instead of the logical reasoning type which makes up most of the rest
123.
by rkrzr 10y ago
I'm still the lead.
124.
by rkrzr 10y ago
Don't worry, I'm still here.
125.
by rkrzr 10y ago
It's currently specialized for our specific use case and would not be useful for anyone else, I think. I'm sure that we will keep iterating on it though, so perhaps it will become more general-purpose in the future so we might loo
126.
by rkrzr 10y ago
I don't think there is any harm done in putting it in there. All GitHub urls follow a standard schema, so if you wanted to you could anyway guess it. The point of the code snippet was simply to highlight how nice the Haskell build tool
127.
How we secretly introduced Haskell and got away with it(tech.channable.com)
8 points by rkrzr 10y ago|0 comments
128.
by rkrzr 10y ago
It's not hard to hire people part time. But that is also not the point that this article is making. The problem is that a whole generation of people in Europe is currently facing unemployment/underemployment and temporary job cont
129.
by rkrzr 10y ago
For a comprehensive book on the theory behind operating systems I can recommend "Modern Operating Systems" by Andrew S. Tanenbaum. It does not focus on the concrete implementation of an OS though.
130.
by rkrzr 10y ago
This would be great news indeed if AMD finally had a competitive high-end chip again. It feels like Intel has just been coasting on their success for a long time, since there was no competitive pressure from the outside they also had little
131.
by rkrzr 10y ago
As a comprehensive textbook on operating systems I would recommend reading "Modern Operating Systems" by Andrew S. Tanenbaum. Yes, it's almost a 1000 pages, but it's written very accessibly and understandably.
132.
by rkrzr 10y ago
Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE Channable is a data feed management company that connects ecommerce companies to all big online marketing channels (marketplaces, price comparison sites e
133.
by rkrzr 10y ago
"You can throw an exception to another thread, at any time;" "The other thread will receive the exception immediately, whatever it is doing." Does anybody know how this is implemented in the runtime system? How does one
134.
by rkrzr 10y ago
This is indeed an issue in practice: I recently wanted to use the "systemd-journal-gatewayd" component in Ubuntu 16.04, which ships with systemd v229. Yet, the feature I needed was only available in v231. Although I'm only in
135.
by rkrzr 10y ago
Trello has apparently about 19 million users. And I would bet that the majority of them are not the typical target audience of Atlassian products (i.e. software development teams). So I wonder if they are mostly aquiring the user base here
136.
by rkrzr 10y ago
Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE Channable is a data feed management company that connects ecommerce companies to all big online marketing channels (marketplaces, price comparison sites e
137.
by rkrzr 10y ago
> since values carry types you're actually working with more information. Only for the specific value that you are reasoning about. If you want to reason about all possible values, then you are de-facto reasoning about their types
138.
by rkrzr 10y ago
Good point. Of course you have to specify the type of the values that you want to test in the test itself then, so you have to specify some types one way or the other.
139.
by rkrzr 10y ago
> Conversely, lack of mutability makes dynamic typing much easier to reason about. Dynamic typing does not imply lack of mutability. Those are unrelated concepts. Python and Ruby are dynamically typed but both are certainly mutable. Conv
140.
by rkrzr 10y ago
> Statically type checked code has all of its code paths effectively tested by the compiler The type checker just ensures that a program is well-typed (i.e. free of type errors). The better the type system the more program properties can
141.
by rkrzr 10y ago
Sure, not all type systems are created equal. And there are indeed type systems that can catch more errors than Haskell's (although that usually comes at the price of losing type inference). But I read OP's point as "Well, yo
142.
by rkrzr 10y ago
> It will eliminate errors related to the use of a given programming language. It will not necessarily avoid systemic errors. Like I said: It will eliminate a specific class of errors, namely all type errors. Your program will literally
143.
by rkrzr 10y ago
> The issue with safety is that nothing is really safe. There is a trade-off between safety and expressiveness. Clearly you can always shoot yourself in the foot if your language is expressive enough (like any Turing-complete language).
144.
by rkrzr 10y ago
Most people who had bigger Python projects simply could not upgrade because they had a whole bunch of dependencies that did not work under Python3 and that could also not easily be replaced by some other library. On a big python project at
145.
by rkrzr 10y ago
Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE Open position: DevOps Engineer Product: We connect online shops to all big online marketing channels (marketplaces, price comparison sites etc.) and optim
146.
by rkrzr 10y ago
Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE Open position: DevOps Engineer Product: We connect online shops to all big online marketing channels (marketplaces, price comparison sites etc.) and optim
147.
by rkrzr 10y ago
Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE Two open positions: Backend Engineer and a DevOps Engineer Product: We connect online shops to all big online marketing channels (marketplaces, price comp
148.
by rkrzr 10y ago
Rackspace has been looking for a buyer for a while. I suspect that their business is not in terribly good shape. They even started consulting on AWS deployments a while back: "Need some help moving your servers over to AWS? We're
149.
by rkrzr 10y ago
Syntax-wise this is brilliant, I think. Very similar to how a good parsing-combinator library looks almost like the grammar it is parsing. I wish more programming languages would make an effort like this to optimize readability and be self-
150.
by rkrzr 10y ago
"Timestamps you can add today, without changing the protocol; just put them in your data if you need them. So I'm not sure what he's even proposing there." He is proposing to add a timestamp type to the grammar. This w

More ›