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…
I love Google Docs and Sheets and hate Word and Excel.
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,…
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…
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
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…
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
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…
I love Google Docs and Sheets and hate Word and Excel.
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,…
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…
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
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…
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