tightbookkeeper

Was that the story they wrote about themselves?

But it’s sold as keeping you informed about the world. When it actually is just about what journalists think.

Like you said, that can be valuable, especially in politics, when one hopes they aid your messaging. But it’s not a moral or even practical imperative to keep up with journalism.

Imagine learning about sports through ESPN commentary and never actually watching a game.

A similar professional blindspot occurred when many engineers thought twitter would collapse when Elon fired all those people. Because they see twitter as a piece of software, not a brand and organization.

> by looking at me

Your presented person is very different from an amalgamation of clues which are not meant to disclose public information and are not you.

But this is easy to solve. Instead of rationalizing call up a customer and try it.

libNSFB, the library being discussed and accused of being low quality because of this range assumption

Does this library serve Amiga developers?

Do you suggest branching after every operation?

a = b + c

if err { // … }

This is not what happened in C vs C++.

It’s a register based computer problem, not a C problem.

Do you prove that every line of arithmetic in your program will not overflow for all possible inputs?

Are you aware that no screen is 64k x 64k?

A girl next to me on the plane was studying for med school interviews.

I tried to imagine what questions they might ask, I looked over and the first question on her sheet was “why do you want to be a doctor.

This is not an intellectual interview, it’s a class and commitment signaling exercise.

> rip people off

I pay 99 cents/month for a well integrated system that has never lost my data.

What alternatives provide that convenient service?

Yes, I could buy a giant HD. No I do not want to run a backup service.

Make sure you have an ad blocker before clicking that link.

You can’t have an opinion about whether a flaw bothers you?

Literally confusing syntax for semantics.

What definition takes up fewer components in a digital circuit is a terrible reason. The whole point of math is we can reason about the most conceptually simple idea, rather than with engineering constraints. Sets existed before circuits! And before digital the only “hardware representation” was an analog voltage, which cannot easily represent a pair.

Also it’s not even true. There is no hardware representation for the ordered pair containing the earth and the moon. You now need a bit encoding of the information.

The distinctions of infinite constructions you mention are already well understood. See “recursively enumerable set”.

Ordered pairs are trivially definable in terms of sets. It’s a distinction which does not change any of the foundational proofs and gives you no new insight. This is like arguing that bounded vs counted ranges are foundationally important. We can show they are equivalent in one paragraph and move on.

An actually new ideas will give new results.

Yes. This caveat is most clear. I am wondering about the question of performance raised in this thread,

(Naive question) then is it really a big hurdle for a company who knows how to make arm chips to try making riscv chips?

Who does the government listen to when making decisions?

Influence and power follows a power distribution. This is an age old problem.

Is it slower by design or just because it’s implementations have not been aggressively optimized?

What if we applied the simple test that the book was originally published on paper and no other printings have occurred (digital or paper).

Then that sounds like a management problem, not a fundamental problem with the concept of patent lawyers and clerks which this poster claimed was a “brain drain”.

Working engineers are not the only audience.

They demand more commands

- Documenting and classifying inventions is valuable - people choose to become a patent clerk/lawyer because of the stability. It enables them to take care of family, pursue hobbies, etc (see Einstein). - the alternative for some is being an engineer but for others it might be a librarian

But if you notice the people who are in administrative positions are the people who are “well rounded” not those who are good at one thing.

Even within academic stem fields you have people who know how to promote and speak and they have the most influence.

I guess what I’m trying to say is the system is mostly selecting for what it wants.

No. Professors want students that don’t cheat so they never have to worry about it.

This is an ethics problem (people willing to cheat), this is a multi cultural problem (different expectations of what constitutes cheating) this is an incentive problem (credentialism makes cheating worth it).

Those are hard problems. So a little tech that might scare students and give the professor a feeling of control is a band aid.

Yep. The solutions which actually benefit education are never expensive, but require higher quality teachers with less centralized control:

- placing less emphasis on numerical grades to disincentive cheating (hard to measure success) - open response written questions (harder to teach, harder to grade) - reading books (hard to determine if students actually did it) - proof based math (hard to teach)

Instead we keep imagining more absurd surveillance systems “what if we can track student eyes to make sure they actually read the paragraph”

And they trust them more than people.

I’m not even sure if they can make a website that takes text input to an executable and dumps the output.

Yeah and using byte buffers isn’t JavaScript array access. But it is for C.

The n-body looks most like canonical JS to me. It’s a small array, but’s it’s accessed many times.

Unfortunately the c++ version is simd optimized, so I don’t think that’s a fair comparison.