Huh, I hadn't noticed the 3DO used an ARM6 core. Not that anyone cared about the 3DO.
Per Vognsen
@pervognsen
- 2.5K Followers
- 358 Following
- 10K Posts
I like programming and understanding how stuff works. My background is in systems programming and game development.
Paul E. McKenneyIf the RCU implementations that you are working with are to complex, reliable, and boring, this blog post is for you! https://people.kernel.org/paulmck/stupid-rcu-tricks-corner-case-rcu-implementations
Slava PestovI summarized some of what I’ve been posting about here for the last year. I hope someone finds it interesting! https://factorcode.org/slava/monoids.html
Cycle-Accurate 8088 Emulation by @gloriouscow, https://www.youtube.com/watch?v=qatzd0niz9A
VCF East: Cycle-Accurate 8088 Emulation – Daniel Balsom
CF Bolz-TereickWe've released a demo of the project @CanLehmann and I have been working on: @verijit is a meta-tracing Verilog emulator that specializes the simulated core to the machine code that is being executed on top of it. Was lots of fun to work on! I'm quite happy with the results too, we reach two orders of magnitude improvement over Verilator for a simple RISC-V core
https://www.youtube.com/watch?v=PXgUsEjvAOY
https://www.youtube.com/watch?v=PXgUsEjvAOY
Verijit – Up to 100x faster Verilog simulation
Rune Skovbo JohansenFor my game's terrain, I've long mulled over how to combine the epicness of grand mountains with the "what's around the corner?" intrigue of smaller cliffs and hills.
On top of that, how to meaningfully integrate my erosion technique into it.
After a lot of fiddling over the past two days, I think I may be onto something.
#GameDev #ProcGen
The Trusted Computing Base of the CompCert Verified Compiler, https://arxiv.org/abs/2201.10280
The Trusted Computing Base of the CompCert Verified Compiler
CompCert is the first realistic formally verified compiler: it provides a machine-checked mathematical proof that the code it generates matches the source code. Yet, there could be loopholes in this approach. We comprehensively analyze aspects of CompCert where errors could lead to incorrect code being generated. Possible issues range from the modeling of the source and the target languages to some techniques used to call external algorithms from within the compiler.
Eddy JanssonMultiple parties have come together to create a new fairly complete #DOS port of #SDL3 (via #DJGPP)
Ryan C. GordonThe SDL organization has an official position on LLMs and generative AI now: don't use it.
New video from @tom7: https://www.youtube.com/watch?v=M1si1y5lvkk
