axman6

So, uh, how do we go about adding new locations? Specifically, Canberra, Australia would be great =)

The Haskell library safe-money does a great job of handling these weird cases for currencies. It has a separation between the types used for calculations and storage/presentation, and lets you define arbitrary ones so in your example you can handle computations in an arbitrary precision rational representation and then store it in cents and later convert with proper rounding to 5 cent increments if necessary. Much of this is handled by the type system, including type safe currency conversion.

But electronic transactions are still processed to the cent.

Does anyone know how this relates to the new ARM pointer validation stuff Apple just shipped on the XS? I haven't seen much press about this except on Risky Biz.

So does 1Password and it has done so for much longer than they have offered their own service.

In Australia I transfer money to mates at least once a week. Makes going to the pub or out to dinner with friends so much easier.

Even if this doesn’t increase security, you should still do it in the hope the user will check the username they’ve just typed as well as retyping the password.

So you think that calling out someone who makes (very) public, demonstrably false statements for pretty clear personal gain is internet bullying? I would call it being held to account - what sane society would listen to such a ridiculous story and not call it the bullshit it obviously is? Allowing that to happen would lead to a society where fantastic lies are the norm and you’d never know if you could trust anything anyone would say.

If I made statements saying that not only did I discover, but also made love to and raised the children of a dragon to international media, do you think it would be bullying for people to tell me it’s nonsense? If so, you’d have a pretty spectacular definition of bullying if you ask me. We should not allow liars to go unchecked.

Service doesn’t really matter if it’s less than an hour.

This page made my iPhone 5S really sad, scrolling was really laggy - i'm guessing all the clojure code was using something like clojurescript? If so, it really didn't need to as it was all static but causes a seemingly really large amount of computation while scrolling.

Trifecta is best used via the parsers library, which is fairly well documented. This also (in theory) allows you to switch which parser you use between trifecta, parsec, attoparsec and even ReadP. I say in theory because the the semantics of these libraries differ.

Mark Hibberd gave a great talk at Yow! LambdaJam this yeah on writing mundane code in Haskell, with a tutorial on writing a shell. The code can be found on https://github.com/markhibberd/xsh and the talk should be on YouTube in the near future (I hope).

Recursion is only a bad idea in languages with poor support for recursion, it's not difficult to write efficient Haskell code which produces good assembly with fairly obvious recursive algorithms. Optimisations like stream fusion and libraries like foldl also contribute to really good code generation (not guaranteed and also not generally applicable optimisations, but certainly helpful)

Use CloudFront? Took me about an hour to set up for my S3 based blog, free TLS, http/2 and IPv6 without any setup apart from a checkbox.

Gotta talk to those subs somehow, those ultra long wavelength Comms aren't exactly high bandwidth. (I'm just making this up but it feels plausible, at least a few decades ago)

Just because something uses ARM doesn't mean it'll be easy to target, there's a hell of a lot more to getting something running on an embedded system than just what basic architecture it supports.

I guess that my point was that for the situations where the built in syntax in OO languages is used, the lens alternative is usually at most about 2 characters longer, which is hardly more inconvenient.

On the contrary, lenses are far more powerful than what's available in JavaScript and all other OO languages. Traversals and Prisms give so much power that's lacking in OO

Wind power is already cheaper than coal, at least in Australia, even when you ignore the cost of building the coal plant (it's been way cheaper for a long time if you factor in the initial construction cost), and solar will soon reach the same crossover point.

This is just utter nonsense and shows a complete lack of how the electricity grid operates.

Yeah I'm sorry this is complete nonsense, this is exactly how it works and has always worked. If Google pays for renewables to be produced, uses some energy that happened to be produced at a coal plant but someone else uses the energy from the solar/wind farm, then the benefit of using renewables has been materialised. It's not a hard concept, but somehow people struggle with the idea.

I don't agree it is deceptive, if Google paid for 1GW of renewable electricity to be generated and 1GW is contributed to the grid from renewable sources then everything is as it should be. If the EMF that gets to Google's servers happens to be provided by a nearby coal plant they have still caused 1GW to be produced by renewables. This is how the grid works, and how it has always worked, it's just that no one in the past has cared if it was coal, gas, hydro or something else they were getting it from. Organisations are now willing to pay a small premium to use an equal amount of energy as renewables are generated. Storage matters for the long term goal of a zero emissions grid, but is not necessary for the economics to work out and the benefits to be felt.

For something as fundamental as a container library, GPL will basically mean it's not used widely. There's a reason many language ecosystems generally use BSD/MIT licences for almost all libraries (haskell being just one example I know this to be true for). Applications may be another story.

(Reposting from lobste.rs)

It's a shame there wasn't more information on the tools Ada provides for concurrency - I haven't seen another language which gives you as much flexibility and power to write safe concurrent code. It's much more heavy weight than some other languages in some ways, but gives you very strong guarantees you don't get elsewhere.

It also would've been nice to talk a bit about some of the features which make it particularly well suited for embedded systems:

* things like the ravenscare profile which give you a safe subset of the language using statically allocated never terminating threads

* the ability to select the scheduling algorithm (including ones with task priorities which are used to avoid the possibility of deadlocks completely - see the priority ceiling protocol for more details)

* the ability to address specific memory locations being built into the language, not just casting ints to pointers like you would in C

* full control over how elements on records are laid out, including endianness, this is essential with the previous feature when you're dealing with memory mapped IO registers for controlling hardware

* the ability to define that certain data types can only be used at certain specific memory locations (see https://cs.anu.edu.au/courses/comp4330/Lectures/RTES-03%20In... "pages" 314 - 332)

For anyone who's had to write code to interface with hardware on micro controllers, they're probably wetting themselves with excitement by now, doing this in C relies on the compiler doing what you think it will, which there's no guarantee of because the ability to use many of the features is implementation defined, if defined at all.

ANU's COMP4330, which these slides come from, is an excellent resource for learning more about both Ada and real time systems in general: https://cs.anu.edu.au/courses/comp4330/1-Lectures-Contents.h...

I'm confused, is this just Structure of Arrays as a service for columnar data? It's not clear to me what this actually does.

I actually disagree with both your conclusions - the techniques you mentioned exist to get around painful deficiencies with HTTP/1.1, and are anti patterns in http/2 - sprites exist to reduce the latency of loading many small images, which is now no longer an issue (see httpvshttps.com for a demonstration).

Also my brief experiments using HTTP/2 in Haskell involved zero changes to my web service handler code, and maybe one or two extra lines to give paths to the TLS cert files. Web services will benefit massively from HTTP/2 in some domains, I do a lot of web geospatial work and using it for servers which return hundreds of image tiles will be a massive win

Can you expand on all of these complaints? I've been using Haskell for about 9 years and none of these are things I've ever had a complaint about, except package management, which I find stack's solution works incredibly well in practice.

I'm not going to argue with you, I don't think you're contributing anything to the conversation, and your tone definitely isn't, that's all

It was possibly even a Apple added their blocks extension to C and Obj-C, I remember this verifying some issues for Haskell tool which parsed C.

You do understand that comments like this are actually building their case for problems in the community right? I've read several of your comments on this page, and you're the only one making accusations without any evidence, and turning this into a flame war. If you don't like stack, don't use it.

I'm not a big fan of this whole community splitting action, but to think that it's been undertaken as a coup d'état to take control of the community by a commercial entity is verging on tinfoil hat territory.

And you know what? Stack is a fantastic tool for newcomers, we use it exclusively for our commercial Haskell projects and it's changed our development practices for the better by a long way. Something that built today I can be sure will build in a year without changes - cabal has never been able to guarantee that. I'm really glad someone has put in the huge amount of effort to make a better Haskell build tool, it's been far too long coming.