|
tef posted:and how much code is auto generated from specifications of state machines apparently depends on the flight director. vapid cutlery posted:do you think it's realistic for any language that's not C to be adopted by aerospace types? maybe once the olds die off i guess that most of the C is either COTS (the vxworks parts) or machine-generated means we already have our next languages and they're dollars and python
|
# ? Aug 8, 2012 22:32 |
|
|
# ? May 15, 2024 22:10 |
|
i thought ada was p. widely used in flight systems for a while, even without a government mandate
|
# ? Aug 8, 2012 22:38 |
|
here's your guide if you want to build an electronics to nasa standards http://workmanship.nasa.gov/lib/insp/2%20books/frameset.html
|
# ? Aug 8, 2012 22:46 |
|
butt splices
|
# ? Aug 8, 2012 22:49 |
|
Gazpacho posted:i thought ada was p. widely used in flight systems for a while Gazpacho posted:even without a government mandate nope (firms that wanted to make stuff for government got to re-use the work in commercial stuff if they used ada for everything, if the government didn't mandate it they'd have used bad old c)
|
# ? Aug 8, 2012 23:31 |
|
hey guys which one of you is the sublime text 2 developer I found a bug, please fix it tia http://www.sublimetext.com/forum/viewtopic.php?f=3&t=8631
|
# ? Aug 8, 2012 23:41 |
|
vapid cutlery posted:do you think it's realistic for any language that's not C to be adopted by aerospace types? maybe once the olds die off Great read of the history of Lisp at JPL, http://www.flownet.com/gat/jpl-lisp.html Sounds like they've moved on to Java...
|
# ? Aug 9, 2012 03:03 |
|
vapid cutlery posted:do you think it's realistic for any language that's not C to be adopted by aerospace types? maybe once the olds die off yes. it is just going to take a while before it is economical to do so. there are huge barriers to adoption. olds dying off will help, but a plethora of static analysis tools would go further, as would code generation to C. there are things like real time java, but I don't know how much that is used in practice. sometimes I think real time elements will creep into more modern or mainstream languages, rather than real time development moving to more modern or mainstream languages. but I am not sure if it is wishful thinking. i'm not saying that clojure, erlang, or rust are the languages of the future, but I think the problem space they deal with is going to become more and more important. maybe i'm just a lousy backend developer who wants to write real time and highly available software.
|
# ? Aug 9, 2012 07:16 |
|
if my software crashes the user just thinks they closed it by accident. thanks iOS!
|
# ? Aug 9, 2012 07:51 |
|
post post post to sperg, I think there is an opportunity to make consumer software that doesn't poo poo itself, or that if we don't move to highly reliable software, we're doomed. “A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable” with the advent of 'multicore' and 'cloud' and the inevitable ubiquity of computing, we're moving to a world where data lives on different machines, and processing happens across cores, where failure is rampant and destructive. for the existing real time developments, programmer time is cheaper than run time. it is better to make the programmer do more work than to have something fail. but, almost everywhere else, programmer time is at a premium. it simply isn't economical to develop reliable software. i'd like to think that hft will lead to adoption of real-time constraints, but I have the feeling it will end up like computer gaming, where fast is almost universally better than correct. another hope might be academia, but much of the focus is on program verification, rather than reliability. well typed software will eliminate some failure classes, but it doesn't give you robustness. mainstream academia worries about writing correct programs over programs that handle failure. paxos just isn't as cool as hindley-milner. really, we still don't know how to write and maintain software, let alone reliable software, without throwing vast amounts of time or money at the problem. when we come up short we're left with the inevitably bug-ridden fruit of our labours. but I don't think we're going to see a renaissance of reliable software, until software failures become expensive, or reliability is cheap. so if you can work out how to do either, do tell me vapid cutlery posted:rad-hardened parts are going to be the next crazy in high end gaming rigs that or realistic pip boys
|
# ? Aug 9, 2012 08:19 |
|
tef posted:but I don't think we're going to see a renaissance of reliable software, until software failures become expensive, or reliability is cheap. the thing is there has been some useful research done in this area that's not too difficult to implement in a reasonable manner - i think you've linked papers before on crash-only software and a more general study on reliability that mentioned process pairs? none of that was too darn complex
|
# ? Aug 9, 2012 13:38 |
|
tef posted:post post post until the day comes where the nyse et. al. won't reverse trades due to hft algos going tits up, fast will trump reliable on the exchanges and this is the point i was kinda getting at before, we are in the cave painting era of computer software. forget canvas, forget papyrus leaves, we are still scrawling berry juice on rock with how little we know about managing complexity and software development
|
# ? Aug 9, 2012 13:51 |
|
i'd say we're somewhere after mud huts and somewhere before sewage systems
|
# ? Aug 9, 2012 13:52 |
|
Otto Skorzeny posted:the thing is there has been some useful research done in this area that's not too difficult to implement in a reasonable manner - i think you've linked papers before on crash-only software and a more general study on reliability that mentioned process pairs? none of that was too darn complex yeah. thing is I think we need better language level support for transactions, stuff that would make postgres envious. did you know you can define functions inside a postgres transaction? transactional updates to running services is neat
|
# ? Aug 9, 2012 13:55 |
|
postgres can do everything short of creating a db in a transaction and it owns and yet people still actually choose to use mysql in tyool 2012
|
# ? Aug 9, 2012 15:14 |
|
Mr Dog posted:postgres can do everything short of creating a db in a transaction and it owns phpmyadmin exists and mysql_query is what everyone in php uses
|
# ? Aug 9, 2012 15:16 |
|
phpmyadmin used to be pretty sweet before they decided to use ajax and tiny little javascript dialogs everywhere
|
# ? Aug 9, 2012 15:17 |
|
Mr Dog posted:postgres can do everything short of creating a db in a transaction and it owns some people have fairly substantial mysql installs and want to move to postgres but need to maintain ~7 years of data
|
# ? Aug 9, 2012 16:25 |
|
textmate 2 author has given the gently caress up and thrown it on github http://blog.macromates.com/2012/textmate-2-at-github/ quote:The choice of license is GPL 3. This is partly to avoid a closed source fork and partly because the hacker in me wants all software to be free (as in speech), so in a time where our platform vendor is taking steps to limit our freedom, this is my small attempt of countering such trend. apparently the hacker in him couldn't finish his text editor despite being "90% complete" in 2009
|
# ? Aug 9, 2012 17:01 |
|
coming soon to hn: 80 blog posts about text mate 2
|
# ? Aug 9, 2012 17:03 |
|
is hn as bad as my imagined version where it's r/programming mixed with slashdot but somehow angrier and stupider
|
# ? Aug 9, 2012 18:21 |
|
JawnV6 posted:is hn as bad as my imagined version where it's r/programming mixed with slashdot but somehow angrier and stupider bang on
|
# ? Aug 9, 2012 18:22 |
|
I'm an entrepreneur with a start-up I wrote software in 15 minutes and added a bootstrap homepage. Livin' the rockstar life.
|
# ? Aug 9, 2012 18:23 |
|
JawnV6 posted:is hn as bad as my imagined version where it's r/programming mixed with slashdot but somehow angrier and stupider it's a bunch of net yuppies talking about startups and VCs and apple and startups
|
# ? Aug 9, 2012 18:25 |
|
JawnV6 posted:is hn as bad as my imagined version where it's r/programming mixed with slashdot but somehow angrier and stupider it's basically slashdot for people who think they are important because they are "founders" and "entrepreneurs". there is a lot of randroids, fanboys too.
|
# ? Aug 9, 2012 18:29 |
|
WTF is hn?
|
# ? Aug 9, 2012 18:29 |
|
yhbt. yhl. hn
|
# ? Aug 9, 2012 18:30 |
|
Milkie Galore posted:yhbt. yhl. hn ack phfft
|
# ? Aug 9, 2012 18:31 |
|
tef posted:it's basically slashdot for people who think they are important because they are "founders" and "entrepreneurs". there is a lot of randroids, fanboys too. startup people are hella randroid, look up any ex-paypal c-level
|
# ? Aug 9, 2012 18:31 |
gently caress the social startup bubble
|
|
# ? Aug 9, 2012 18:32 |
|
gucci void main posted:gently caress the social startup bubble
|
# ? Aug 9, 2012 18:33 |
|
America will be saved through the sheer will of [not a bubble] entrepreneurs in the valley
|
# ? Aug 9, 2012 18:36 |
|
multigl posted:some people have fairly substantial mysql installs and want to move to postgres but need to maintain ~7 years of data some one please help me convert from mysql to postgres tia
|
# ? Aug 9, 2012 18:39 |
MononcQc posted:America will be saved through the sheer will of [not a bubble] entrepreneurs in the valley who all lose their jobs within the next 18 months when facebook finally tanks after another worthless quarter and the US goes into another recession (not strictly due to facebook, of course) president romney will, of course, save us all with master business tactics
|
|
# ? Aug 9, 2012 18:41 |
|
multigl posted:some one please help me convert from mysql to postgres tia https://github.com/ricardochimal/taps
|
# ? Aug 9, 2012 18:42 |
|
Cocoa Crispies posted:startup people are hella randroid, look up any ex-paypal c-level except for elon musk who genuinely seems to be trying to improve the world for people
|
# ? Aug 9, 2012 18:50 |
|
0xB16B00B5 posted:except for elon musk who genuinely seems to be trying to improve the world for people by building new businesses that compete with ones that get huge government subsidies/loans/grants/contracts
|
# ? Aug 9, 2012 19:20 |
|
well electric cars and space travel are both pretty sweet and yeah he's gonna get rich off it but whatever. at least he's trying to do something and they may have decent outlooks, rather than building floating lolbertarian paradises.
|
# ? Aug 9, 2012 19:22 |
|
electric cars are poo poo because batteries are poo poo
|
# ? Aug 9, 2012 19:22 |
|
|
# ? May 15, 2024 22:10 |
|
0xB16B00B5 posted:well electric cars and space travel are both pretty sweet and yeah he's gonna get rich off it but whatever. is his stake in either venture worth more than he put in? Shaggar posted:electric cars are poo poo because batteries are poo poo also computers are poo poo because they fill entire rooms and only have a few kilobytes of storage
|
# ? Aug 9, 2012 19:27 |