Register a SA Forums Account here!
JOINING THE SA FORUMS WILL REMOVE THIS BIG AD, THE ANNOYING UNDERLINED ADS, AND STUPID INTERSTITIAL ADS!!!

You can: log in, read the tech support FAQ, or request your lost password. This dumb message (and those ads) will appear on every screen until you register! Get rid of this crap by registering your own SA Forums Account and joining roughly 150,000 Goons, for the one-time price of $9.95! We charge money because it costs us money per month for bills, and since we don't believe in showing ads to our users, we try to make the money back through forum registrations.
 
  • Post
  • Reply
Janitor Prime
Jan 22, 2004

PC LOAD LETTER

What da fuck does that mean

Fun Shoe

Zombywuf posted:

http://xkcd.com/810/


I'm not sure I know of any that actually certify developments, but poo poo tonnes certifying that people can use some bit of software.

Where do the java ones fall then?


coffeetable posted:

speaking of, anyone seen any sample materials for the Principles and Practice of Software Engineering exam? kinda interested to know what it's like

e: spec sheet http://cdn1.ncees.co/wp-content/uploads/2012/11/Exam-specifications_PE-Software-Apr-2013.pdf
wanna take that test

Adbot
ADBOT LOVES YOU

Notorious b.s.d.
Jan 25, 2003

by Reene

Zombywuf posted:

http://xkcd.com/810/


I'm not sure I know of any that actually certify developments, but poo poo tonnes certifying that people can use some bit of software.

uh ones i know of off the top of my head are the sun certified java developer and microsoft MCPD

i'm sure there are lots of others, especially for vertical market and single-vendor poo poo. there are probably as many dev certs as CJ certs

Zombywuf
Mar 29, 2008

Notorious b.s.d. posted:

uh ones i know of off the top of my head are the sun certified java developer

This might actually count, don't know enough about it. Even then it wouldn't surprise me to find out that you can just memorise Sun's marketing materials and not actually know how to string two lines of code together.

quote:

and microsoft MCPD

"can use visual studio"

They're actually categorised by Visual Studio version.

Notorious b.s.d.
Jan 25, 2003

by Reene

Zombywuf posted:

"can use visual studio"

They're actually categorised by Visual Studio version.

that's because visual studio versions have a year in the name

the actual exams grill you on .NET features and APIs and poo poo

MononcQc
May 29, 2007

I'm guessing it would be nice for end-users if there were some basic requirements before being a professional devs, but at the same time, I know I wouldn't have the right to be a developer (or could have ever entered the industry) if it were like that.

Zombywuf
Mar 29, 2008

MononcQc posted:

I'm guessing it would be nice for end-users if there were some basic requirements before being a professional devs, but at the same time, I know I wouldn't have the right to be a developer (or could have ever entered the industry) if it were like that.

Why? You seem to be making assumptions about what would be required. Many (most?) professions that require certification do apprenticeships. It's only in software where you have the kind of abusive certifications that cost you hundreds just to buy the training materials so that your future employers can get a discount on their software costs.

MononcQc
May 29, 2007

Zombywuf posted:

Why? You seem to be making assumptions about what would be required. Many (most?) professions that require certification do apprenticeships. It's only in software where you have the kind of abusive certifications that cost you hundreds just to buy the training materials so that your future employers can get a discount on their software costs.

Because I basically have no computer science nor engineering training at all at a formal place (I ended up getting a minor part time), and all professions around here have education as a prerequisite for apprenticeship in general.

Zombywuf
Mar 29, 2008

MononcQc posted:

Because I basically have no computer science nor engineering training at all at a formal place (I ended up getting a minor part time), and all professions around here have education as a prerequisite for apprenticeship in general.

Well yeah, I am talking about a magical dream land where everything has been bootstrapped already. There is no reason there could not exist a body that could certify a basic level of programming skill via an inexpensive procedure that could replace the cargo cult requirement most companies have for entry level jobs that need 3 to 5 years experience and a high class degree.

Other than that it doesn't currently exist and changing things is hard.

Shaggar
Apr 26, 2006

MononcQc posted:

Because I basically have no computer science nor engineering training at all at a formal place (I ended up getting a minor part time), and all professions around here have education as a prerequisite for apprenticeship in general.

if loud intern is any indication formal computer science training isn't worth much. they've really never taught ~software engineering~ which could and should be an entirely separate discipline like normal engineering.

Phobeste
Apr 9, 2006

never, like, count out Touchdown Tom, man
The problem ain't certification it's rate-limiting the aggregate number of people who are allowed to pass. In general, professionals whose job it is to assist members of the general public by having deep narrow knowledge should have a licensure procedure because by design their clients are not equipped to know if they are doing a good job or not. But that test should be administered by groups whose only interest is reducing the number of say malpractice suits, not artificially inflating wages. The AMA does that and that's the problem, not the existence of medical licensure you crazy motherfucker. The other category that needs licensure is the one where fuckups can harm or kill people, like civil or nuclear engineering or certain types of comp e or whatever. anal volcano doesn't need licensure to foist the latest nosql bullshit he got off hn on his unfortunate clients.


wow look @ me carepostin in the pos, if only the timphone made it easier to type in lower case

Nomnom Cookie
Aug 30, 2009



it's medical school that rate-limits doctors entering the profession, not anything the ama is (currently) doing. i don't see the bar association doing much to reduce the oversupply of inexperienced lawyers either

certification for programmers is dumb. letting a computer decide anything safety critical is even dumber. once a computer is involved the mechanism is too complicated for people to verify that it wont kill people. yes i think ECUs are a terrible idea

Malcolm XML
Aug 8, 2009

I always knew it would end like this.

Nomnom Cookie posted:

it's medical school that rate-limits doctors entering the profession, not anything the ama is (currently) doing. i don't see the bar association doing much to reduce the oversupply of inexperienced lawyers either

certification for programmers is dumb. letting a computer decide anything safety critical is even dumber. once a computer is involved the mechanism is too complicated for people to verify that it wont kill people. yes i think ECUs are a terrible idea

the ama has a vested interest in not certifying new med schools and they set the standards very high for good reason to be honest, u don't want shitlord, MD to treat u after having struggled to get into Joe's Caribbean Medical School and Seafood Shack

but they make it v hard for FMGs from decent countries to get in, for reasons that aren't as clear cut

aba has been sued a few times too

Malcolm XML fucked around with this message at 03:34 on Aug 17, 2013

Nomnom Cookie
Aug 30, 2009



programmer certification exam only needs one question

How do you feel about Tiny Bug Child's posting?

throw out any answers less than five pages, certify the rest

Condiv
May 7, 2008

Sorry to undo the effort of paying a domestic abuser $10 to own this poster, but I am going to lose my dang mind if I keep seeing multiple posters who appear to be Baloogan.

With love,
a mod


five pages full of poo poo and i'm certified

Bloody
Mar 3, 2013

tef posted:

before it was wealth, now it is moreso gender and race. where should we move the hurdle to?


i mean, writing lovely code in non real world systems? who started there? in my day i booked mainframe time to run my programs instead of these watered down home computers.

kids today, don't they realize they need a driving license for their toy car.

way to completely miss my point. i don't give a poo poo about people code monkeying whatever the hell they want. what will be annoying is expanding the pool of people who list "embedded developer" on their resume from its current position of "every loving idiot who bought an arduino and ran the software that came with it" to now also including the morons who did it in javascript

congrats, you still arent an embedded developer, you missed the entire point of being an embedded developer, now finding real embedded developers is even harder!


if your notion of embedded developer is abstracted far enough away from the hardware that toy languages like js may be a viable option then spoiler alert it isnt embedded development its just development

Nomnom Cookie
Aug 30, 2009



Condiv posted:

five pages full of poo poo and i'm certified

more work than a typical cert

UberVexer
Jan 5, 2006

I like trains

Bloody posted:

way to completely miss my point. i don't give a poo poo about people code monkeying whatever the hell they want. what will be annoying is expanding the pool of people who list "embedded developer" on their resume from its current position of "every loving idiot who bought an arduino and ran the software that came with it" to now also including the morons who did it in javascript

congrats, you still arent an embedded developer, you missed the entire point of being an embedded developer, now finding real embedded developers is even harder!


if your notion of embedded developer is abstracted far enough away from the hardware that toy languages like js may be a viable option then spoiler alert it isnt embedded development its just development

Every idiot who runs the Arduino sample code is also looking to add C++ to their resume. I think a lot of people that get CS/CE degrees now know at least how to use an Atmel chip without the higher level languages. At what point in time would you believe you're not doing "embedded development?"

It's required to take three semesters of Atmel poo poo at my school, so maybe I'm just sheltered in my belief.

Bloody
Mar 3, 2013

UberVexer posted:

Every idiot who runs the Arduino sample code is also looking to add C++ to their resume. I think a lot of people that get CS/CE degrees now know at least how to use an Atmel chip without the higher level languages. At what point in time would you believe you're not doing "embedded development?"

It's required to take three semesters of Atmel poo poo at my school, so maybe I'm just sheltered in my belief.

when you're operating at a level higher than bare metal code/arent particularly invested in the hardware design of the system. it's a gray area for sure.

Nomnom Cookie
Aug 30, 2009



if u dont know the difference between hosted and freestanding C then u cant call urself an embedded dev imo

Quebec Bagnet
Apr 28, 2009

mess with the honk
you get the bonk
Lipstick Apathy

UberVexer posted:

I think a lot of people that get CS/CE degrees now know at least how to use an Atmel chip without the higher level languages.

what

DONT THREAD ON ME
Oct 1, 2002

by Nyc_Tattoo
Floss Finder

yeah i've never even heard of this but i'm literally a highschool dropout so

Sapozhnik
Jan 2, 2005

Nap Ghost
"Writing an embedded program that blinks an LED is the easiest thing in the world"

once you set up your linker script to emit a vector table in ROM at a particular location, write a crt to set up ur stack and clear bss, open the clock gate to your GPIO unit, and set up the drive mode for the pin in question, sure

Embedded development is mostly poo poo like that, there's little in the way of algorithms or data structures most of the time.

tef
May 30, 2004

-> some l-system crap ->
lollin


ps the one good post went "what if companies were held responsible for their code"

tef
May 30, 2004

-> some l-system crap ->
no one can afford to write software without bugs

Zombywuf
Mar 29, 2008

Mr Dog posted:

once you set up your linker script to emit a vector table in ROM at a particular location, write a crt to set up ur stack and clear bss, open the clock gate to your GPIO unit, and set up the drive mode for the pin in question, sure

Embedded development is mostly poo poo like that, there's little in the way of algorithms or data structures most of the time.

Is this some kind of deliberate irony?

coffeetable
Feb 5, 2006

TELL ME AGAIN HOW GREAT BRITAIN WOULD BE IF IT WAS RULED BY THE MERCILESS JACKBOOT OF PRINCE CHARLES

YES I DO TALK TO PLANTS ACTUALLY

every industry ever regulated posted:

no one can afford to add safety features to their product

Police Academy III
Nov 4, 2011

tef posted:

no one can afford to write software without bugs

nah, just bust out your hoare axioms and proof tableaux and get to work, if you do it fast enough you might get it done before your code gets obsoleted

Wheany
Mar 17, 2006

Spinyahahahahahahahahahahahaha!

Doctor Rope
are embedded compilers still poo poo?

are there any sort of ides for anything?

coffeetable
Feb 5, 2006

TELL ME AGAIN HOW GREAT BRITAIN WOULD BE IF IT WAS RULED BY THE MERCILESS JACKBOOT OF PRINCE CHARLES

YES I DO TALK TO PLANTS ACTUALLY

Police Academy III posted:

nah, just bust out your hoare axioms and proof tableaux and get to work, if you do it fast enough you might get it done before your code gets obsoleted

software verification has come a long way since proof tableaux. the industries which are willing to splurge on safety (read: aerospace) have fallen madly in love with formal verification

went to a great talk a few months back on building tools to automate the ESA's model checking

longview
Dec 25, 2006

heh.

Wheany posted:

are embedded compilers still poo poo?

are there any sort of ides for anything?

MPLab X is sort of ok but the compilers are still poo poo yes

Police Academy III
Nov 4, 2011

coffeetable posted:

software verification has come a long way since proof tableaux. the industries which are willing to splurge on safety (read: aerospace) have fallen madly in love with formal verification

went to a great talk a few months back on building tools to automate the ESA's model checking

correct me if I'm wrong, but to be able to do useful formal verification, don't you have to use a language with different semantics than the typical imperative/mutable c/java/etc style? i heard that haskell is good for that sort of thing since it's so uptight about everything, and because recursion is easier to verify than loops.

Gazpacho
Jun 18, 2004

by Fluffdaddy
Slippery Tilde
imperative language semantics are pretty extensively theorized and the way to verify loops is to verify them as recursive functions (which they are)

Malcolm XML
Aug 8, 2009

I always knew it would end like this.

Police Academy III posted:

correct me if I'm wrong, but to be able to do useful formal verification, don't you have to use a language with different semantics than the typical imperative/mutable c/java/etc style? i heard that haskell is good for that sort of thing since it's so uptight about everything, and because recursion is easier to verify than loops.

the way to think of haskell's type system is that it's doing a bunch of verification and inference for you

You can encode proofs of quite a few things like the B-Tree invariants in the type system and be pretty confident you didn't gently caress up http://matthew.brecknell.net/post/btree-gadt/

Of course there's always Knuth's "I've only proved it correct, not run it"

Gazpacho
Jun 18, 2004

by Fluffdaddy
Slippery Tilde
software formalism is a vast wasteland btw

shrughes
Oct 11, 2008

(call/cc call/cc)

MononcQc posted:

Using callback-based code, you do not control what (event, state) combination you will get, and while some are not gonna happen, many of them are possible through annoying combinations. You need to prepare code to handle that explicitly in the least pleasant way possible.

There are ways to avoid these strawman N^2 callback/state combinations quite rigorously. Use the right design pattern.

e: well maybe this is only really really true in advanced statically typed languages such as C++.

shrughes fucked around with this message at 01:11 on Aug 19, 2013

Sapozhnik
Jan 2, 2005

Nap Ghost

Wheany posted:

are embedded compilers still poo poo?

are there any sort of ides for anything?

If you're shipping less than like a million units of something and you have any say in the matter than use a Cortex microcontroller. Then use GCC to compile your 32 bit ARM code, I hear that compiler is pretty good. The cost is basically the same as MSP430 and PIC at this point, it's slightly more expensive, but the price difference is not worth the extra ballache unless you're shipping a shitton of units.

Your IDE is vim you loving scrublord. Binary we're-only-technically-not-violating-the-GPL gdbservers for JTAG devices can be a pain to work with, though.

coffeetable
Feb 5, 2006

TELL ME AGAIN HOW GREAT BRITAIN WOULD BE IF IT WAS RULED BY THE MERCILESS JACKBOOT OF PRINCE CHARLES

YES I DO TALK TO PLANTS ACTUALLY

Police Academy III posted:

correct me if I'm wrong, but to be able to do useful formal verification, don't you have to use a language with different semantics than the typical imperative/mutable c/java/etc style?

verification is a long, long way from my speciality, but to me this sounds like another great reason to get rid of c/java/etc :v:

(or at least enforce programming styles upon them that make verification easy)

Mr Dog posted:

Your IDE is vim you loving scrublord. Binary we're-only-technically-not-violating-the-GPL gdbservers for JTAG devices can be a pain to work with, though.

aight so i know nothing whatsoever about embedded development, but my pa (whose current project is mesh networking for streetlamps) has been raving about the eclipse target communication framework. is it as cool as he's making out?

Zaxxon
Feb 14, 2004

Wir Tanzen Mekanik
there are pletny of good embedded IDEs, but as has been said before they are mostly useful if you want to do step through debugging with your JTAG.

Phobeste
Apr 9, 2006

never, like, count out Touchdown Tom, man

Mr Dog posted:

If you're shipping less than like a million units of something and you have any say in the matter than use a Cortex microcontroller. Then use GCC to compile your 32 bit ARM code, I hear that compiler is pretty good. The cost is basically the same as MSP430 and PIC at this point, it's slightly more expensive, but the price difference is not worth the extra ballache unless you're shipping a shitton of units.

Your IDE is vim you loving scrublord. Binary we're-only-technically-not-violating-the-GPL gdbservers for JTAG devices can be a pain to work with, though.

yeah if you want to cj linker scripts you can use vim i guess, you also might want to program in asm i guess!?!?

the rest of us are using ides based on any one of a couple different ides based on the vendor's whims, usually with v. nice jtag integration and investigation of system resources

i mean come on, we just went over how a majority (though by no means all) of embedded systems work is peripheral setup janitoring, whyyyyyyyy would you not use every tool possible to remove the bullshit and let you focus on the actual important bits?!? things like ti's GRACE tool are a giant step forward in that regard, not something to let the 'weak' get into our jobs

Adbot
ADBOT LOVES YOU

Phobeste
Apr 9, 2006

never, like, count out Touchdown Tom, man

Zaxxon posted:

there are pletny of good embedded IDEs, but as has been said before they are mostly useful if you want to do step through debugging with your JTAG.

or if you want something to pop up tab completion for whatever meaningless all-caps macros the vendor has decided to name everything

  • 1
  • 2
  • 3
  • 4
  • 5
  • Post
  • Reply