JO3ALT
@Jo3Alt
Followers
91
Following
707
Media
467
Statuses
3K
1アマ、1技で固定局2局と移動局を2局を開局しております。 2024年3月、3エリアで2局目の固定局を開局。4局体制。 デジタル簡易無線を登録しました。これを機会に、フリラにも対応し、「きょうとTK602」にしました。 CB,特小,デジ簡,デジコミに出ることができます。滅多に出ませんが。
日本
Joined March 2020
なんんか、やけに人間っぽい動きですね。さすが、コーディング強化汎用モデルです。 遅延シミュレーションまでサポートしてくれるのはすごいもんです。とにかく、テストベクタが自動的に生成されるのは便利すぎて何も言えません。 それもVHDLですよ。
1
0
0
- 何があえて許されていて - どこを保証点にするか という、現場寄りの設計知識です。 今回の件もまさにそうで、 - 回路の本質は古くても有効 - しかし HDL/EDA の文脈では主流でない - そのため最初に「普通の同期回路として解釈」されやすい という現象が出ました。
1
0
0
- 停止中に壊れず、再開時に破綻しないこと が本質 - その本質は、今回の最小 post-PAR sim と本体側の合成結果で確認できた ということです この種の回路は、 - 教科書的な同期設計 - EDA ツール前提の抽象 HDL - CDC の一般論 だけでは出てきません。 必要なのは、 - 何が危険で
1
0
0
春休みなので、CPUを設計して遊んでいます。VHDLのRTL、ソフトシミュレータ、LLVMアセンブラなど、バイブコーディングでできてしまいました。Cがnostdlibでfloatまで走るようになりました。 高級言語ですら書かなくなる時代は近いのかもしれません。 VHDLで非同期信号は見直さないといけないですが。
0
0
0
Turbo Pascal3.1のインラインコードに入れてました。条件分岐より速そうで、何回も呼ぶから効果があるだろうと思っていましたが、呼び出しのスタック操作の方が大きそう。やはり、マクロアセンブラが効くw もう、こんなこと考えなくなってきましたね。アナデバのDSPを使ったら、楽しめる？
「バイナリ0-FからASCII 0x30-0x39/0x41-0x46の変換を条件分岐無しで書く方法」なんてのがあったのですよ。Z-80だと CP 0AH SBC A, 69H DAA という、コードだけ見ても何やってんのか謎な処理で実装できるはずです。
1
0
1
自衛隊しか撃ち落としていないはずのF15が撃ち落とされたよう。それも3機。 まあ、友軍の誤射なので、 敵に撃ち落とされたことは無い に後退だな。
0
0
0
友人がMINIXを動かしていた。後輩はGNU Hurdを押していた。UNIX屋に就職した。なんかスーパーアスキーにLinuxという名が見えた。ぷらっとホームでYgdrasilを買った。 リーナスさん、同い年かと思っていたら1歳下か。 コルーチンか組み込みOSみたいなのは作ろうとした。この30年余り、楽しかった。
GNU Hurdの開発が始まったのは1990年。 36年を経て、x86_64対応を果たした。 17人が15か月、332コミットを積んだ成果だ。 ただしGuix上のパッケージ対応率は0.9%。Xorgすら動かない。 1991年に「GNUほど本格的にはならない」と言われたLinuxの横で、「本格的な」カーネルは今も実験中だ。
0
0
0
2進数の説明時に、そろばんの上だけを使っています。 ただ、4桁ごとに点が入っているのが使いにくいです。 ここまで手厚いと分かりやすいですが、小数点の移動に耐えないので、5桁ごとの点のテープでも作るといいのかもしれません。
マイコン博物館 ミュージアムショップからのお知らせです。 2進数ソロバンを発売しました。 写真は、16bitの2進数ソロバンです。 各bitの桁の値を10進数で表記しているので、学習効果が高いです。 販売サイト https://t.co/DUFJmdD0sG
0
0
0
今日は職場に入りにくいので、休んで、ファミレスでプログラミングしてました。 PascalをRustに寄せてみました。浮動小数点にも対応。ポインタにも対応し、リストが使えるようになりMapも仮に実装しました。 中間コードインタープリタとLLVM経由のネイティブコードが出ます。 https://t.co/3SAcUGyyIa
github.com
A practical Pascal/0+ compiler in Rust that targets 32-bit Forth, with TYPE/RECORD/ARRAY (up to 3D), nested procedures/functions, include directives, and rich typed I/O. - JO3ALT/kPascal
0
0
0
CやRustがなんとか動くので、ぎりぎりプログラムはできそうです。 しかし、これが2時間余りでできてしまうのが恐ろしいです。インストラクションの設計から始めてそんなのです。 LLVMアセンブラはこちら。 https://t.co/Q1VdTuDLHD
github.com
Initial import: LLVM-to-CPU32mini converter with specs, tests, and CI - JO3ALT/llvm2cpu32
0
0
1
#Codex でのハードウェア生成のテストをしました。 小型の32bit CPUを作ってみました。GHDLで動作確認可能な動作モデルになっています。そのうち合成する予定です。 LLVMからのアセンブラも作ったため、CやRustが不完全ながら動作します。 https://t.co/7MUkDZY9Sk
github.com
Educational 32-bit VHDL CPU with LLVM-to-HEX toolchain and full simulation tests. - JO3ALT/cpu32min
1
0
1
群馬県の中之条町だとまずそう。
SSDにドリルで穴を開けて「データ破壊完了」としたIT担当者がいる。 だが2.5インチSATA SSDの基板はケースの片隅にしか存在しない。ドリルはケースの金属だけを貫通し、NANDチップには一切触れていなかった。 データは完全に無傷のまま外部に流出している。
0
0
0
Prologフロントエンドはこれです。 これを使うとPrologの文法で入力ができます。 しかし、えらい世の中になったもんです。LispでProlog作ってルールベースの翻訳をするというのは、1年上の先輩の卒論でした。それがこんなに短期間でできるとは、#Codex 恐るべしです。 https://t.co/rSjQnczWoF
github.com
Prolog-like syntax to Common Lisp S-expressions compiler frontend for prolog-cl.lisp. - JO3ALT/fprolog
0
1
2
2つ目は、Lispインタープリタとその上で動作するPrologです。これ自体は、Prolog文法でなくS式スタイルPrologを処理するプログラムですが、フロントエンドも作りましたので、SWI-Prologと同じような動きに見えます。 Prolog自体は、SBCLとECLでも動きます。 https://t.co/XyGxJlpepI
github.com
Rust-built Lisp runtime with a Prolog layer: compile Prolog to Lisp S-expressions, run on SBCL/ECL, and compare outputs with SWI-Prolog. - JO3ALT/kLisp
1
0
0
#Codex 1日1言語処理系と思っていたら、今日は2つ+1できました。 まずは、FORTHのネイティブコンパイラ化です。LLVM経由で実行バイナリが出るようになりました。これでPascalもバイナリが生成されます。 p-codeでなく、FORTHを中間言語とするPascalコンパイラが作れました。 https://t.co/4Z9fZBaXJw
github.com
Rust compiler for kFORTH IL to LLVM/object code, also serving as a kPascal backend (kPascal -> kFORTH -> LLVM pipeline). - JO3ALT/kFORTHc
1
0
0
#Codex つづき。 昨日公開したFORTH処理系のサブセットをコンパイラ化しました。FORTHの自己拡張系のワードを非対応にして、LLVMを生成するようにしました。複雑なワードは、Cで記述しました。 kPascal→kFORTH→LLVM→バイナリ の手順で実行バイナリが生成できます。 https://t.co/4Z9fZBaXJw
github.com
Rust compiler for kFORTH IL to LLVM/object code, also serving as a kPascal backend (kPascal -> kFORTH -> LLVM pipeline). - JO3ALT/kFORTHc
0
0
0