喵喵小喵喵

Let there be light 💖 1.34K 🔁 76

rigid pendulum

SK hynix is accelerating its lead in the cutting-edge field of what is often called the

llama.ttf: A font file which is also an LLM

In RISC-V assembly, which of these are valid uses of the jalr instruction? jalr a0 # (1) jalr (a0) # (2) jalr a0, a0 # (3) jalr a0, a0, 4 # (4) jalr a0, (a0) # (5) jalr a0, 4(a0) # (6) Solution Binutils 2.38 thinks all are valid and they mean the following respectively jalr ra, 0(a0) # jalr a0 jalr ra, 0(a0) # jalr (a0) jalr a0, 0(a0) # jalr a0, a0 jalr a0, 4(a0) # jalr a0, a0, 4 jalr a0, 0(a0) # jalr a0, (a0) jalr a0, 4(a0) # jalr a0, 4(a0) As a reminder, jalr rd, imm(rs1) means pc = (imm + rs1) & (~1) and set rd to old_pc + 4. (Not considering compressed instructions.) LLVM 18 rejects (2) and (5) as not valid because (a0) is not okay and insists you on writing 0(a0) instead. Personally, I was very surprised that (4) is allowed. As far as I can tell no other instruction allows both (4) and (6) styles. ld a0, (a0) # Okay ld a0, 8(a0) # Okay ld a0, a0, 8 # Not allowed addi a0, a0, 8 # Okay addi a0, 8(a0) # Not allowed It's June of 2024. There's still no official…

💖 312 🔁 75

Physics library which including fluid simulation for game developers.

(Thanks to Amit Sahai for spurring me to write this post!) The Background We all remember Gödel’s First Incompleteness Theorem from kindergarten.  This is the thing that, given a formal syste…

Simple particle-based artificial life-form