weavie

70 ms·

691.
The Opa Language(opalang.org)
98 points by weavie 11y ago|44 comments
692.
by weavie 11y ago
Great explanation. Many thanks.
693.
by weavie 11y ago
I think when you submit something that has already been posted it will add a vote the existing submission. So probably you got there first and a load of people tried to submit 7 hours later.
694.
by weavie 11y ago
I see. Quite often regular CRUD sites have business logic in them. Stuff such as Tax software has very rigid logic - the stronger guarantees you can make as to their correctness the better. So would you actually write the library in Coq - o
695.
by weavie 11y ago
So would a bog standard web developer gain anything by learning Coq? Or is it something just for academics?
696.
by weavie 11y ago
This pretty much sums up the state of the UK job market : https://imgur.com/qLzxV7U
697.
by weavie 11y ago
Not so sure. Once I get to the stage where I have to stick printfs in the problem tends to be so localized and specific that once fixed I will never need to look at that area of code in that way again.
698.
by weavie 11y ago
You remove the printfs when you have fixed the problem.
699.
by weavie 11y ago
Possibly. Have you read The Martian? The author has put a ton of research into what it would take to get people to Mars. I'm sure he has a lot of relevant stuff to say about Musks ambitions for Mars travel. I highly recommend reading t
700.
by weavie 11y ago
So I guess Nests servers will become a very interesting hacker target.
701.
by weavie 11y ago
I work in a .Net house. When we had to move to front end development which required using grunt shock from the command line there was plenty of dissent at how we were being forced back into the "dark ages".
702.
by weavie 11y ago
Hormones?
703.
by weavie 11y ago
After a heavy weights session I am ravenous. It's not unknown for me to just give in and eat a whole tub of icecream before my proper post workout meal.
704.
by weavie 11y ago
It would make for an interesting experiment. Eat 3000kcal per day of doughnuts and cakes for a few months. See how much you weigh. Then switch to 3000kcal of organic meat, veg and healthy fats per day. Would your weight change in the same w
705.
by weavie 11y ago
No, also symbol keys don't pollute for-in , Object.keys or Object.getOwnPropertyNames so they are effectively non-global.
706.
by weavie 11y ago
If you are willing to put up with the ads.
707.
The 12 Factor App(12factor.net)
6 points by weavie 11y ago|0 comments
708.
by weavie 11y ago
Is it really an amazing thing that you can recycle your Android device for free ? I wonder what they do with them..
709.
by weavie 11y ago
Darn it. Remind me to never comment on something I don't read properly. So easy to jump to assumptions when just skimming.
710.
by weavie 11y ago
Seeing as I always switch off my wifi when out of the house, this might not always be that accurate.
711.
by weavie 11y ago
Linux support.
712.
by weavie 11y ago
I think it's a reverence thing. Had things not worked out for the chap inevitably the footage would end up on Reddit where endless jokes and mockery would ensue.
713.
by weavie 11y ago
It's open source. More like, embrace, extend... their pull requests get declined.
714.
by weavie 11y ago
The accompanying videos are also well worth it : http://www.r-bloggers.com/in-depth-introduction-to-machine-l...
715.
by weavie 11y ago
Indeed, and typing out the query really doesn't take that long. It does affect the initial experience though. The admin panel looks so slick I just assumed I would be able to click on the table and it would jump to the data. When it di
716.
by weavie 11y ago
> I expect to be able to click on a table and see the rows inside - like all the tools out there for Mongo, MySQL, PostgreSQL, etc. He does have a point there. It is slightly annoying having to type out a query when I just want to browse
717.
by weavie 11y ago
Wow, look at the stats on that font - https://www.google.com/fonts/specimen/Roboto#stats - 9,979,683,779 is a lot of views in one week.
718.
by weavie 11y ago
As the article alluded to we are in many ways free falling and waiting to be crushed to death. It's just we are free falling through time rather than space.
719.
by weavie 11y ago
For the one WP site I have to maintain, I keep things as simple as possible. I avoid plugins as much as possible and push as much functionality as possible to the frontend using Javascript. For stuff that requires collecting data I will sen
720.
by weavie 11y ago
This would be to enable method chaining so you can do stuff like: dialog.set_title("blah").set_size_pixels(100, 100); (note syntax may be out - I am not a Rust expert...)

More ›