oxcrow

5.9K posts

oxcrow banner
oxcrow

oxcrow

@oxcrows

Developing an Aerospace FEA startup.

شامل ہوئے Haziran 2024
516 فالونگ1.4K فالوورز
oxcrow
oxcrow@oxcrows·
Should the compiler be released under GPL or BSD license? I'm thinking GPL, so it remains protected Open Source code. However we know AI will most likely steal it even if it's AGPL, since AI companies don't care about any license laws.
English
4
0
6
270
oxcrow
oxcrow@oxcrows·
MLIR seems interesting but I don't trust it. LLVM itself some issues that make it problematic, in some ways, but we use it since it's the best optimizing compiler backend. MLIR which is even newer and hasn't been used much, doesn't seem trustworthy to me. Sorry.
GIF
Fredlyn@Uwu123231634

@oxcrows If you haven't know, MLIR is abstraction above LLVM IR and other GPU IR. It is release in 2018, so it is new technique. Like instead of locked to 1 target IR, using MlIR gets portable IR easily, can lower to CPU or GPU easily

English
2
0
4
198
oxcrow
oxcrow@oxcrows·
@Uwu123231634 MIR is just a standard name, like AST. It doesn't imply whether it's modern or old. MLIR is LLVM based, so hell no. It's slow.
English
1
0
0
22
Fredlyn
Fredlyn@Uwu123231634·
@oxcrows Why you use MIR? I expect new lang uses modern finding because you can breaking change all you want. Like MLIR, so it can easily run on CPU and GPU
English
1
0
0
22
oxcrow
oxcrow@oxcrows·
We now have a working compiler. Refactor seems to be successful. My mistake in the past was trying to convert directly from AST to QBE IR in one step. The difference was too large and difficult for my smol brain. Adding a MIR (Mid Level IR) allowed me to lower in small steps.
oxcrow tweet media
English
3
0
15
459
oxcrow
oxcrow@oxcrows·
@soroush_srd Oh ok. I do type inference/checking in the AST itself, and store the types in the same AST. I don't have macros right now, but in future I'll do it at the MIR stage.
English
1
0
1
12
Soroush Sardashti
Soroush Sardashti@soroush_srd·
@oxcrows After AST we have: Macro expansion Name resolution + scope handling Type checking and inference (although im mostly using the curry style) And Im also trying to add a target specific expansion which i might move to the preprocessor
English
1
0
2
16
Soroush Sardashti
Soroush Sardashti@soroush_srd·
@oxcrows At this point i have 4 passes between AST and Codegen. It just makes everything easier to reason about or even ommits the amount of stuff that need to be reasoned about at codegen!
English
1
0
2
102
oxcrow ری ٹویٹ کیا
bex⁷ 🦋
bex⁷ 🦋@taekiss3r·
our new lil baby kitten... milk belly :(
bex⁷ 🦋 tweet media
English
28
3.1K
63.2K
417.7K
oxcrow ری ٹویٹ کیا
NO CONTEXT HUMANS
NO CONTEXT HUMANS@HumansNoContext·
❌ a green flag 🌳 a green forest
English
26
196
2.6K
144.5K
oxcrow ری ٹویٹ کیا
NeetCode
NeetCode@neetcode1·
Sometimes it’s tough to be motivated, but wholesome messages make it worthwhile <3
NeetCode tweet media
English
9
16
542
17.2K