Education does not operate in a vacuum. Many students are incentivized by the social accreditation of completing a program. Institutions need some way to qualify that teaching is actually being done. Whether it be an examination, a certification, or bringing a project to completion.
“A shared fiction in the world to help frame interactions between people”. You sir are a natural philosopher.
I think what’s universally important is to keep active and engaged in what we’re doing. Some of us have to tell fictions that what we’re doing has meaning, whilst others just know what brings meaning to their life.
My internship project involved a tool to look up individual IP addresses as well as checking a range of address blocks. I ended up implementing the trie data structure, which performed well in terms of storage and run-time efficiency.
My initial approach was to store IP addresses into a hashmap but if the average query was to check address blocks like /24, then it'd turn out to be very poor data structure to search through.
A compiler is a theorem prover, sure, but compilers vary in terms of expressiveness of the propositions it is capable of proving (a Python interpreter would be a very weak theorem prover ;) )
Consider: is there an equivalent concept of Turing Completeness for compilers with respect to computational propositions?
Writing only becomes better when you go on a journey of identifying your own intentions, and confronting your own trepidation.
Thanks for writing this, I've been struggling to write about fallacies in software verification for over a month now.
I realized that I wasn't writing for myself, or even folks who are likely to agree (mathematicians, logicians) with my viewpoint. I was writing to convince and justify, instead of examine, teach, or tell.
I don't agree with many of the points made in the article in regards to certifications (formal methods aren't there yet as an industry), but I did want to touch on that fact that "software engineer" is an aspiration term and many of today's "best practices" are pseudoscience, not based on something that can be provable.
I also disagree with the author about certifications and the attempt to bridge similarities with other established engineering professions.
I think what it important in this discussion is the fact that "software engineer" right now is an aspirational term and that we don't use formal methods to verify software behavior, and instead rely on changing best practices.
Egineering implies a more rigorous process than most software really gets.
> For debugging and monitoring, developers can access the console output of the board through the built-in microUSB type-B connector.
As a software developer who's interested in this but has no experience with low-level hardware interface, how does one debug with the microUSB connector? What displays the console output?
As a software developer that, at one point in a job, was forced to confront hardware head on because the code I was writing was firmware, I'm guessing they mean something like Kermit. A simple tool to get the output from an embedded device.
Probably overkill, but I use Pandoc to generate tailored resumes for roles and jobs I’m interested in.
I keep a list of all my skills, experience and education in a YAML file and have a LaTeX template that I clone when creating a new resume. Then it’s just a matter of replacing the template fields with YAML metadata and running Pandoc.
I have the same set up to generate both my resume and my website using an HTML template. Makes it easy to update one YAML file and update both my CV and my personal website
The man page is a very nice touch! Do you have source in GH or elsewhere about this harness? I am using Restructured text and rst2pdf but this looks so much nicer!
I also use pandoc to generate CVs, happy to know I'm not alone :) I don't do anything as sophisticated as you, but my main resume is in markdown so I use it to create a .pdf or word doc and to apply .css styling where appropriate.
