HN user
Are there vendors who provide support for tool qualification for frama-c? By that I mean documentation support that can be provided as part of the certification process, so when you say "Frama-c verified this code does not contain any arithmetic overflow", it is possible to back that up with "And Frama-c version x.y.z has sound analysis, evidenced by ...."
Talk to your line manager. It is quite possible that there are some skills around building long-term maintainable codebases that you haven't learnt yet. Different companies have vastly different ideas about what 'good enough' looks like, and so this may be the first time you've had to think about these particular issues.
A big, decent organization will have the structures in place to help you learn this. I'd suggest bringing it up at your next 1:1: 'I'm a bit worried about how I did in these PRs <open browser>'. Your manager may also have the same worries, in which case you skipped that conversation along to the point of working on a solution, or you might find out that what you are doing is on-par and there is nothing to worry about. Training in new skills is bread-and-butter stuff for a mature organization, so I would look for support in your normal management chain.
My wife taught the kids at primary school how to use PowerPoint. After they were given a camera to take some pictures around the school, some of them randomly figured out they could make stop motion animations. I was blown away.
Six year old kids can do amazing things, as long as their environment doesn't railroad them down boring paths.
How about using Scrum stories?
Each story would be a 1-2 page Word doc, with a long form description of the behaviour required and mockups of the UI.
This is a really nice programming environment. It reminds me of playing with forth for the instant feedback and interactive working.
I think that the UK.gov were forced by the IOC to promise that they would get the law passed before they could submit a O*c bid.
Basically they waited until the last minute then it just happened without any consultation.
The article misses the point of Khan Academy. The point is that the world only ever has to find _one good example_ of how to teach something.
If someone comes up with a theory on a better way to teach something, cool. A/B test it and keep the winner.
Have you looked at SQL Azure? Microsoft have really good BI tools. I think 200GB of SQL Azure will cost a couple of hundred bucks a month.
I can't see how the online business can afford to allow Do Not Track. Put the other way: you can only have gmail if you agree hand over your personal information to Google.
In the UK the Royal Mail works similarly:
That would be my guess too, especially as two crossed yagis are a well known way to receive circular polarized signals:
One thing to note is that dedicated server suppliers will foot the capital cost of servers for you, so there is no need to find the cash for the server up front. 100tb.com do this (I've not used them, know people who do) for example.
I would see this as a move towards 'enterprise' (yes I know people here hate that word), but look at the url...
$9/app/month means that it doesn't really make sense for tiny hobby sites any more: it is comparable in cost to a tiny VPS host, and my VPS currently handles 19 domains.
The place where GAE makes most sense is the 'line of business' app that is basically just a set of forms backed by a database. Those kind of apps don't have any complex things going on that are going to require integration with existing code or custom server configuration: both places where the current crop of PaaS offerings risky right now.
Line of business apps currently require lots of manual labour from DBAs and IS, so paying $9/month to run the HR application is going to be a pretty good deal.
That is pretty pricey. 1GB of RAM from crucial is $10. 1 GB of Memcache from AWS, (assuming 3 year amortization) $1900.
Obviously there is overhead, but if you have machines already and they are not maxed out on RAM then the $10/GB price is not far of the real cost.
Using jquery will avoid this issue, because it automatically removes event handlers when a node is taken out of the DOM tree.
I used to work in the FPGA industry, and we had quite a few people looking at trying to do hardware acceleration of stuff currently done on CPUs. In short, it is hard.
There are plenty of suppliers who offer stuff in the market, for example replacing one half of a dual CPU system with an FPGA and in general some variant of 'pick a fast interconnect and stick an FPGA at the end'
I can't see why this offers anything more to the discussion over a product announcement.
Why is this interesting?
'Sharding' and 'a rest interface' are not really business requirements. Sharding is only a solution to handling certain types of high load, and REST is but one solution for IPC.
"We store a lot of data... 2TB"
Given that a pair of 2TB drives is less than $250 on ebuyer right now, 2TB of data is not 'big data'. You could comfortably stuff that in any decent database (SQL Server for example, I'm sure PostgreSQL would work too).
Just because a tiny machine on slicehost isn't big enough doesn't mean that your data won't fit in a normal database.
This appears to be a bike designed by someone who has never ridden a bike, and who never got a handful of bits of wood and mocked the thing up. For example:
1) The handle bars have two hand positions, yet no brakes. Dual brakes are possible, but expensive, fiddly and don't work with hydro disk brakes.
2) No mud guards.
3) Why solid spoke carbon fiber wheels when stressed steel spokes work so well?
4) Riding a bike with a 8 inch wide cross bar: a 10 minute mockup of this by sellotaping a lunchbox to to crossbar of a normal bike would reveal why this doesn't work
5) The saddlebag briefcase will interfere with your heel while pedaling: panniers need to much further back.
6) No lights
I've twice tried (unsuccessfully) to use it for small projects. Last week I had to re-write an app to port it off the platform because it suddenly stopped being served correctly when accessed via my own domain name.
Basically it stopped working, no error messages, no way to debug the problem.
I like the principle behind GAE and friends, but I keep going back to hosting things on my VPS. It works, and when/if it breaks I can surely fix it.
Here is an alternative for the Duct Tape Programmer:
Please, this is ridiculous. Find me a professional programmer who doesn't consider garbage collection and threads to be a useful thing.
One advantage that SimpleCDN has over Cloudfront is that it support http pseudo-streaming of flv and h264 video. I wrote some notes on it here:
http://www.brightyellowcow.com/blog/Video-Streaming-Be-your-...