evangineer

12 ms·

61.
by evangineer 15y ago
joeyh's git repo for this neat hack: http://git.kitenet.net/?p=oldusenet.git;a=summary
62.
by evangineer 15y ago
Anybody familiar with NAP's business model?
63.
Brain Workshop - a Dual N-Back game(brainworkshop.sourceforge.net)
8 points by evangineer 15y ago|0 comments
64.
Frama-C Software Analyzers(frama-c.com)
4 points by evangineer 15y ago|0 comments
65.
by evangineer 15y ago
The UK isn't part of Schengen, that's a continental Europe thing rather than covering all EU members: http://en.wikipedia.org/wiki/Schengen_Area
66.
by evangineer 15y ago
Ah, I had JavaScript disabled. Once enabled, I got good search results!
67.
by evangineer 15y ago
I realised that, as Pascal might put it Cyclone is a C like language designed to ensure that programs are correct. I saw it as a related form of safety others might be interested in. I already posted on Clight & CompCert which is much
68.
by evangineer 15y ago
So can we identify any startups that would be a part of the Cultural Revolution that Wilson is talking about?
69.
by evangineer 15y ago
Yeouch, a lesson to any non-American who gets a paying gig in the USA! Make sure everything is in order before you get on the plane to the States.
70.
by evangineer 15y ago
Should be a good test of the ThriftDB technology. Too bad the HN discussion about ThriftDB didn't come up in my test search, found it via Google instead. http://news.ycombinator.com/item?id=2581652
71.
ChaiScript - Easy to use scripting for C++(chaiscript.com)
18 points by evangineer 15y ago|10 comments
72.
Coccinelle - A Program Matching and Transformation Tool for Systems Code(coccinelle.lip6.fr)
2 points by evangineer 15y ago|0 comments
73.
Who Guards The Guardians? (1993-97)(knosof.co.uk)
1 points by evangineer 15y ago|0 comments
74.
by evangineer 15y ago
See also: http://news.ycombinator.com/item?id=2491424
75.
by evangineer 15y ago
Seems to me, the only things that are going to cause Apple to relent are effective competition or regulators litigating against monopolist practices.
76.
An Executable Semantics for C is Useful(blog.regehr.org)
27 points by evangineer 15y ago|4 comments
77.
by evangineer 15y ago
Cyclone was an attempt at creating a safe dialect for C, it might be of some interest to people who have read the article: http://cyclone.thelanguage.org:8181/
78.
by evangineer 15y ago
Thanks for the heads up, I hadn't seen anything in the article about CompCert, but on doing a search I found there are quite a few mentions of it on other articles on the blog: http://blog.regehr.org/?s=compcert&searchsubmit=Search
79.
by evangineer 15y ago
If you use the Clight subset with the CompCert C Compiler, the answer is yes: http://compcert.inria.fr/compcert-C.html#subset In any other case, the answer is almost certainly no. Most commonly used C compilers are sufficiently large and
80.
CompCert - Compilers you can formally trust(compcert.inria.fr)
32 points by evangineer 15y ago|28 comments
81.
by evangineer 15y ago
Funny, I did read that article a few months ago but had completely forgotten about it. It's a good read if you're into the virtualisation thing.
82.
by evangineer 15y ago
Thanks for the catch, I had forgotten that they were a UML shop.
83.
by evangineer 15y ago
Think you are overlooking the role of bankers here. Once upon a time the primary role of banks was to facilitate commerce in numerous ways, but now it appears that rather than support trade, finance is all too often a means to maximize ret
84.
by evangineer 15y ago
That was the intention: http://thenextweb.com/me/2011/06/04/syrian-internet-is-resto...
85.
by evangineer 15y ago
I guess you're a believer in the argument that Neil Postman made in Amusing Ourselves to Death: http://en.wikipedia.org/wiki/Amusing_Ourselves_to_Death The now infamous comic version of the argument in question: http://www.recombinantrec
86.
by evangineer 15y ago
A gripping read indeed! I like how the engineer went to use the story as a case study to his students to show that you have an obligation to do the right thing and that there doesn't have to be harmful consequences for the whistleblower. I
87.
by evangineer 15y ago
When I read the article, I wasn't very convinced the obfuscated Python bytecode couldn't be decompiled. There have been Python bytecode decompilers around for years.
88.
by evangineer 15y ago
Cocoa support in wxPython is coming along but isn't 100% there yet: http://groups.google.com/group/wxpython-users/browse_thread/...
89.
Polycode(polycode.org)
2 points by evangineer 15y ago|0 comments
90.
by evangineer 15y ago
I knew about most of those projects before but the Haibu node.js application server is new to me: https://github.com/nodejitsu/haibu

More ›