#Subleq - Twitter Hashtag

almost 3 years ago

Alright... The memory card with the annoying PLCC flash memories works fine. Here I'm running some test code on a Teensy that fills the RAM (6MB) & FLASH (768K) with random data and verifying it. Then enters a 1960s computer flashing lights mode just to look cool ;-) #SUBLEQ

1

126

13

7

7K

Mats Engstrom @matseng

almost 3 years ago

I've recently taken an interest in the #SUBLEQ variant of the One-Instruction Set Computer architecture. And I'm still trying to wrap my head around #FORTH enough to actually make stuff in it. So when I saw this book I immediately ordered it. :)

matseng's tweet photo. I've recently taken an interest in the #SUBLEQ variant of the One-Instruction Set Computer architecture. And I'm still trying to wrap my head around #FORTH enough to actually make stuff in it. So when I saw this book I immediately ordered it. :) https://t.co/aX7kJRV4SF

5

17

0

4

2K

Daniel Große @Daniel_Grosse

over 3 years ago

Lucas presents "How we learned to stop worrying and build a #RISCV VP with only one microcode instruction" at #MBMV2023. @lcsklmmr 👉 https://t.co/61BBCNORPv #OISC #VP #SUBLEQ #ISS #formalverification

Daniel_Grosse's tweet photo. Lucas presents "How we learned to stop worrying and build a #RISCV VP with only one microcode instruction" at #MBMV2023. @lcsklmmr

👉 https://t.co/61BBCNORPv

#OISC #VP #SUBLEQ #ISS #formalverification https://t.co/vvsCmMc8eZ

0

7

1

0

303

Daniel Große @Daniel_Grosse

about 4 years ago

Our paper "Formal verification of SUBLEQ microcode implementing the RV32I ISA" has won the Best Paper Award at #FDL2022 last week. We are honored! @lcsklmmr @mxghtysxn 👉 https://t.co/pDsk36xJPY 👉 https://t.co/mi7uQJ3fcH #EDA #formalverification #OISC #SUBLEQ #ISS #RISCV

Daniel_Grosse's tweet photo. Our paper "Formal verification of SUBLEQ microcode implementing the RV32I ISA" has won the Best Paper Award at #FDL2022 last week. We are honored!
@lcsklmmr @mxghtysxn
👉 https://t.co/pDsk36xJPY
👉 https://t.co/mi7uQJ3fcH

#EDA #formalverification #OISC #SUBLEQ #ISS #RISCV https://t.co/uWpHCspGD1

1

11

4

0

HAC @tigerauge0

about 4 years ago

[itch][subleq] subleq少し触ってみています。減算と分岐だけでいろいろ処理する感じ。面白いかも #subleq https://t.co/zrzP4eYWzX

くちをつぐみ 🔄 competor @GugenTV

about 4 years ago

プログラミング系パズルクラスタの皆さま： Subleq( ) by galactical https://t.co/YA2581Lu7v

0

9

2

0

1

12

0

Daniel Große @Daniel_Grosse

about 4 years ago

One Instruction Set Computer principle and #RISCV? Lucas will present our 𝐎𝐑𝐈𝐒𝐂𝐕-𝐈𝐒𝐒 tomorrow at #isvlsi2022. Paper 👉 https://t.co/3pqjCIdmWK GitHub coming soon! @lcsklmmr @isvlsi2022 #subleq

Daniel_Grosse's tweet photo. One Instruction Set Computer principle and #RISCV? Lucas will present our 𝐎𝐑𝐈𝐒𝐂𝐕-𝐈𝐒𝐒 tomorrow at #isvlsi2022.

Paper 👉 https://t.co/3pqjCIdmWK
GitHub coming soon!

@lcsklmmr @isvlsi2022 #subleq https://t.co/s3uHuWsYmD

0

5

1

0

BeamRacer @beam_racer

about 5 years ago

Major new result in computer science: Maciej "YTM" Witkowiak (@ytmytm) has demonstrated that BeamRacer's VASYL coprocessor is Turing-complete and thus can run arbitrary software. Maciej's port of #SUBLEQ (https://t.co/Y1scSst6bd) is also available. See https://t.co/frhDUt9Owd :-)

0

4

0

Alain Van Kerckhoven 🇵🇸 @avkLab

almost 8 years ago

Sinon, #Subleq est un langage 'Turing-complet' et 'anti-impérialiste' qui ne possède qu'une seule commande : "Subtract and branch if less than or equal". https://t.co/L2W8TAp3ld #morninglink #oisc #DawnOS #Turing

0

2

0

🌵 ᑕᕼᖇIᔕ GᖇᑌᑎᗪEᗰᗩᑎᑎ @ChrisGrundemann

about 8 years ago

Whoa. https://t.co/3R0Rj3JO75 #OISC, #subleq, and #DawnOS - the force is strong with this one

1

2

0

Brad Barton @lobbyandlab

over 8 years ago

If it wasn't for this blog post https://t.co/cwSw6sNEeA I'd never have turned #subleq into #artificialLife https://t.co/DigkD3kESf Thanks @unnikked. #digitalOrganisms #AI #programming

0

2

0