lenary
Re:A little-known C feature: Static array indices in parameter declara...
on Sunday December 30, 2018 @04:32AM (#18788297)
They are likely to remove this in the next C standard (or may have already), because a declaration with a static size is “compatible” with a declaration with no static size, and thus you can get unsoundness.
So your compiler should accept (though the semantics of static suggest this program would be wrong):
void foo(int a[static 3]);
void foo(int a[]);
According to the spec, this is fine, but when you come to define the function foo, should it respect the ‘static’ annotation? The spec doesn’t say, and doing static analysis of subsumption for the expressions after ‘static’ is much more complex to keep sound than C prefers in its specification.
Re:Checked C: extension to C that adds static and dynamic checking
on Thursday March 15, 2018 @01:04AM (#16590519)
It is not ready for production use.
Do try it out though!
Re:The 10 Commandments for Remote Team Management
on Wednesday November 07, 2012 @08:52PM (#4756172)
It seems you still want to micro-manage your remote team, which at the same time isn't that remote as you want to meet them once a week.
Come back when you have some sensible suggestions for a truly remote team.
Re:ICFP Contest 2012
on Friday July 13, 2012 @09:57AM (#4239800)
There has been discussion about this already - Kevin Hammond makes his case here: http://icfpcontest2012.wordpress.com/2012/07/05/judging-envi...
ICFP Contest 2012
Re:How to beat the CAP theorem
on Thursday October 13, 2011 @06:13PM (#3109003)
I love that research is going into disproving already superseded theories.
Re:GitHub adds a dashboard showing all issues for all your projects
on Tuesday September 27, 2011 @02:21PM (#3044558)
FINALLY! Been waiting for this for ages!
Re:GitHub - Shiny new commit styles
on Tuesday September 06, 2011 @04:04PM (#2967057)
is it just me, or does anyone else think that though the design is prettier, it kinda makes other parts of the app look bad - for instance compare the commit style to the tree listings. it's not that one or the other look bad, it's just the dissimilarity is jarring.
Re:Ask HN: Is anyone else having significult difficulty posting right ...
on Tuesday August 09, 2011 @06:37PM (#2865830)
yes, seems really slow from my end too.
Erlang Web Libraries & Frameworks Rundown
Re:Ask HN: Help me improve my Rails 3 Environment. Please.
on Thursday July 28, 2011 @05:59AM (#2816048)
no need to restart the server. if you're using passenger, just `$ touch tmp/restart.txt` (in your rails app). That will restart just that app in passenger (and lots of other servers too)
Re:This Monitor just needs an Ethernet Cable
on Tuesday July 19, 2011 @05:21AM (#2780110)
this is not quite what it makes out to be. of course at one level you only need an ethernet cord, but at some level you need to supply power to the cord itself. That power requires a power cable + PoE box if done close to the monitor, or you can buy a rack PoE unit and do it further away, which will have a limit on how far away from the unit you can be.
PoE units are useful when having only one cable enter the housing for waterproofing issues. otherwise, why go to all the hassle?
Re:Ask HN: What is the first thing you do before starting a new project?
on Sunday July 10, 2011 @10:53AM (#2747857)
nope, i don't do that... maybe i will someday
Re:Tell HN: I'm writing an Erlang recipes book, are you interested?
on Wednesday May 04, 2011 @06:23PM (#2515521)
doesn't heart kinda solve the cyclic "who restarts who thing". I think heart (if enabled) sits there until the erlang process exits, restarts the erlang vm, which in turn also brings up an instance of heart. yeah, complicated and not perfect, but it works.
Re:Rails Hotline (live phone help with RoR)
on Wednesday April 27, 2011 @08:25AM (#2489200)
an, if only herokugarden lived on, that would be ace!
Re:FBI seized PokerStars.com, FullTiltPoker.com, UB.com,... domain names
on Friday April 15, 2011 @04:21PM (#2452052)
and that the ip cirfu.net is currently on is owned by amazon. (from my angle)
Re:FBI seized PokerStars.com, FullTiltPoker.com, UB.com,... domain names
on Friday April 15, 2011 @04:18PM (#2452038)
what's even more instesting, is that cirfu.net also has this notice up, which is very very strange. Surely they wouldn't take their own site down for gambling offences
Re:Rails 3.1 shipping with CoffeeScript
on Wednesday April 13, 2011 @06:01PM (#2444425)
default frontend scripting language
Re:Ask HN: Can You Code Under the Influence of Alcohol?
on Wednesday March 23, 2011 @08:54AM (#2359130)
Sometimes yes, sometimes no. it depends on the alcohol, how much and other external factors like my levels of motivation or tiredness.
It would be clichéd to say that some of my best work was done drunk, but i'd also like to point out that some of my worst has been done when drunk too.
Re:Ask HN: Ruby on Rails Sites
on Wednesday March 16, 2011 @09:48AM (#2331959)
rubyforge is pretty good, and i think railsinside and/or rubyinside let you contribute posts if you wish
Re:Accounting for Computer Scientists
on Monday March 07, 2011 @03:36PM (#2298564)
This i found very enlightening to read. I wonder how many accounting apps actually store their data as he describes in this article, to aid their calculations
Re:Poll: What's your preferred work environment? (private/shared offic...
on Monday February 28, 2011 @05:25AM (#2270799)
Thinking over this comment, would it be weird to set up an office where the managers all are in an open-plan setup, and the developers all have their own private offices? I think it would be interesting to see what the outcome was
(Disclaimer: i'm a developer who works in an open-plan office and hates it)
Re:Ask HN: Non-Cliche Quotes That Really Hit Home
on Thursday February 24, 2011 @07:37PM (#2260506)
"The hard fact is if a user cannot learn how to use a feature, it might as well not exist." - Dale Harvey, from this page: http://arandomurl.com/2010/07/07/design-tips-for-programmers...
Re:Show HN: Our new $149 hackable Bluetooth wristwatch
on Tuesday February 15, 2011 @06:24PM (#2223918)
did anyone else think "red-green-refactor-wristband" when they saw this? Or at least something to hook into a CI or uptime service?
Re:OAuth Will Murder Your Children
on Sunday January 30, 2011 @04:55PM (#2159301)
the "scope" parameter that google included is actully from the OAuth 2.0 spec (still in draft iirc). There are a lot of improvements in OAuth 2.0 which are worth checking out, but this is one of the main ones
Re:The practicalities of CSS Media Queries, lessons learned
on Friday January 28, 2011 @11:40AM (#2152450)
for your issue with wanting to swap stylesheets when the user clicks (mobile | standard) or whatever, try doing all your media queries in the stylesheet <link> tags themselves, then using javascript to unset all the media="" parts, or change them so that the correct stylesheet applies, rather than faking browser width that might fuck around with other JS functions
Re:Smashing your face with a hammer considered harmful
on Tuesday January 25, 2011 @03:48AM (#2138493)
I will upvote you, because I'm the OP and you are making comments useful to the discussion I hoped to provoke. Too bad about the downvotes for my comment "laughing is evil" (which was said sarcastically, ftr)
Re:Smashing your face with a hammer considered harmful
on Tuesday January 25, 2011 @01:49AM (#2138309)
it wasn't taken so. that's almost exactly where I was coming from to post the article anyway
Re:Smashing your face with a hammer considered harmful
on Tuesday January 25, 2011 @01:45AM (#2138298)
to be honest, it's because i'm new to posting here and felt like being sensationalist