Recent submissions

Comment · 10 months ago
I'd make the case that turning their citizens into consumers like America has done could be considered a national security risk.
Comment · 1 year ago
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.
Comment · 2 years ago
“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.

Comment · 2 years ago
Anyone else fall into the trap of procrastinating watching YouTube or pg’s essays for advice?
Comment · 2 years ago
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.

Comment · 3 years ago
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?

Comment · 6 years ago
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.

Comment · 6 years ago
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.
Comment · 6 years ago
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.

Comment · 6 years ago
> 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?

Comment · 6 years ago
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.

Comment · 6 years ago
I agree wholeheartedly of doing something that you believe is valuable.

The process of figuring out what's valuable is different from person to person. Some people know from a young age. Others figure it out in college or post-education. My values have been shaped and refined over the course of high school, college, and work. The high level picture may not be clear, but I believe it's beneficial to hone in on what you find valuable and see where it takes you.

Comment · 6 years ago
Should engineers from new grads to senior levels apply under Principal Engineer listing?

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton