Viewing profile — int0x80

There is one common pattern which is required in many use cases when working and representing ASTs - having a `parent` node, or having access to parents and children. This complica…

>In this formulation, a language server needs to just enough analysis to drill down to a specific node. Does rust-analyzer compute semantic information on the fly and incrementally…

Very interesting and inspiring post. I am considering also to start my own indie software business, this is great information.

One thing that is risky about git reset --hard is that any non-committed changes are lost. That has bitten me a few times.

Sometimes, you have to make a complex feature or fix. You can first make a prototype of the code or proof of concept that barely works. Then you can see the gap that remains to mak…

Exceptions are a very useful tool. In your example, the main program logic is buried in error handling which makes it more difficult to read the code and the code becomes more comp…

I know very well what it means to care about a memory allocation cost or an atomic operation in a fast path. In some applications though, that is not the dominating performance fac…

When I mention constructors I am talking about initializer lists and all the subtleties and special cases around them. Basically most of the complexity I mention comes from memory …

I find today's C++ extremely challenging to pick up speed for someone coming from let's say, Java. Smart pointers, pointer/references, rvalue reference, copy/move semantics, (perfe…

If a static analyzer is sound, which is something that can be mathematically proven (formal method), will find ALL existing issues plus some false positives if it's not complete (w…

Fuel taxes don't address the same issue. Availability of chargers is a blocker for EV adoption. The measure directly helps with that problem, while fuel taxes is a more indirect pu…

Very useful learning project. It's written in C mostly. Would be cool to do something similar in Rust.

gobject is trying to add OOP to C. C already has a type system indeed, however it can be considered weakly typed.

Neat! The implementation is simple, clean and well structured -- a good way to understand in more detail how a FUSE filesystem is implemented.

Because most problems like merging and resolving correctly, or rebasing or squashing if needed don't get resolved by cloning a new repo. If you avoid learning the tool and you just…

I find this as being indirect and dancing around the issue. When I do e.g. a code review and I see a glaring defect on it - I point it out very clearly and directly to make sure th…

There is __attribute__((aligned)) that some compilers provide (e.g. gcc, clang) but it's non-standard.

You say "be a programmer" to make it sound demeaning. I am not a "programmer" I am a software engineer, which is a very different way to put it. Studying CS to be a software eng is…

"Principles of Program Analysis" covers the subject very well. It's not an easy or beginner book because it's very formal, but very complete and with plenty of examples.

The problem is what I mentioned at the end of my other comment -- complex programs will get inputs from web APIs, console, database, so it's not possible to have complete runtime c…

Something very close to this can be done and it's in fact done already by static analysis. Static analysis doesn't have any Turing complete problem. Static analysis has a limitatio…

First of all, because it makes reviewing the code for reviewers much easier. Reviewing a messy set of random uncurated commits is really suboptimal. Second, you might have more tha…

Nobody mandates developers about their private repos and commits, nobody cares about that. This is about what gets merged into master or what gets submitted for review.

>C++ syntax is Turing-complete, so due to the halting problem, finding the declaration can take a long time, potentially unlimited in pathological cases. Absolutely not unlimited t…

Because lots of small functions increase the system complexity by creating interdependencies. You also don't have context in each function to understand the big picture and very sm…