murdoze

Any chance it cures hypertension? High or low blood pressure?

Windows NT 3.51 still the best

As if Eastern imperialists are any better, if at all

Agree, but it's nowhere near TASM or even MASM macro processor ;0)

Microservices reveal communication.

I believe we do not have the right tools yet.

Without this patch QNX was simply not usable, since it had a random race condition in the kernel, which just broke everything.

They have incorporated the patch into some QNX 6.5 version, but we had to deliver the product long before they did this.

Intel Joule?

Never again.

I love Google Docs and Sheets and hate Word and Excel.

I see no value in the Windows desktop. For my tasks.

We have discovered a critical bug in QNX 6 kernel in a networking scenario. There is no workaround, since the bug was in the core of their message passing infrastructure - a non-blocking by design kernel call, SendPulse(), sometimes blocks.

It took me 9 months talking to them about this problem until I managed to reproduce it on just two nodes and half a page of code, and record kernel logs that clearly showed a race condition.

We have received a patched kernel in a few days, and it worked like that for a while. This fix was merged into the official release after almost two years.

After that - only Linux, where we can see and fix stuff. No proprietary code and bureaucracy, no "fast, robust and reliable" operating systems.

Travis J Corcoran's Aristillus series. Exact match and more to come.

Roger Zelazny's Roadmarks, if you stretch it a bit.

The same about the difference between software and hardware

Real-time code has high requirements for correctness and execution deadlines.

Which means, w/o deterministic execution Haskell not suitable for a whole niche, where its safety properties are in a high demand. Which is a pity.

Chomsky is fine with formal grammars, but completely wrong when it comes to natural languages.

In the algebra course one of the assignments was actually to prove that 2 + 2 = 4.

In a ring with a unit.

I also wrote a source-generating disassembler for a 8-bit i8080-based Soviet-designed computer, RADIO-86RK — because I wanted to improve software published in the magazine. And explore stuff.

FORTH ;)

Well... https://github.com/Ko-oK-OS/xv6-rust well... https://github.com/Jaic1/xv6-riscv-rust

One of the largest C++ projects I worked on was compiled with exceptions disabled (-fno-exceptions).

Still in production, for 20 years now.

Like DOOM?

Indirect threaded code is quite a universal program representation.

We used to have our Forth-like system back in 1994, with a virtualized NEXT point, so we had execute, interpret, compile and two link stages behaviors for each word. This allowed produce making an optimizing linker, which produced very tiny .COM-files. I still have source code for it.

I think this idea can quite easily be taken to the extreme, and allow adding things like - type checking - debugging - SSA IR generation (say, for LLVM optimizer) - lots run-time checks (for tests)

So I believe a Forth system can be made quite safe.

Dare to substitute Holocaust for Holodomor in this context?

If, of course, what you're telling is true.

Collateral damage

W/a the Polish? Warsaw used to be part of your empire.

Or the lucky bastards are in NATO already, out of your reach?

Have you heard of the Address Programming Language?

https://www.youtube.com/watch?v=ZsLlYY50zec (English subtitles)

https://www.youtube.com/watch?v=JxgFR_tK0iA