ArtixFox

9 ms·

61.
by ArtixFox 2y ago
90% of all safety critical software is written in c/c++ There is no good safety language right now to write a browser in, except for c/c++. Rust might sound like an alternative but it's safety story is sad when compared to c&
62.
by ArtixFox 2y ago
Because writing a browser in ATS or Frama-C is not possible. Or writing it in Coq and exporting it to ocaml and friends. Ada can be used but its mediocre at best and sucks at places where frama-C shines. A lot of pointer stuff that is easi
63.
by ArtixFox 3y ago
The way zig is designed, I think it will be fairly easy to embed Ada's Spark like proof system in it.
64.
by ArtixFox 3y ago
ah yes the east! The lovers of memory safety. West is getting hacked daily because every country is getting hacked daily.
65.
by ArtixFox 3y ago
formalized subsets of x86 assembly exist. Coq can be used as a macro assembler. tools to work with llvm ir exist, x86 can be raised up to llvm ir and proved, kinda bad way tho.
66.
by ArtixFox 3y ago
aw hell yeah, something like this could be ridiculously useful. Been playing with my own interactive low level language[glorified forth, dont wanna touch C and friends again.] and something like this would make life super easy.
67.
by ArtixFox 3y ago
thank you!!
68.
by ArtixFox 3y ago
thats cool! Is there any project that does this for other architectures?
69.
by ArtixFox 3y ago
Is Ada really as good as its touted to be? How good is the cross compilation, metaprogramming and FFI story?
70.
by ArtixFox 4y ago
If a Forthlike language was to be made today, what features would it require to not be a hard-to-read mess? I can see some type of typesystem being useful, I dont know what else can make it better.
71.
by ArtixFox 4y ago
It is all number or pointer all the way down but that's not the best interface to interact the computer with.
72.
by ArtixFox 4y ago
worse than NK? lmao any index claiming that is absolutely wrong you get 1 kilo of rice or more for 2 rupees from the government and other stuff too. Sure not everyone is well fed but we aint as bad as NK
73.
by ArtixFox 4y ago
thats enough for a 1 time meal of chhole bhature
74.
by ArtixFox 4y ago
No idea how to exactly but I will! Gave up on the idea many times but giving up is stupid, atleast in my case
75.
by ArtixFox 4y ago
Hello from Delhi, India. I dont have much going on in my life, 11th grade exams are on top soo I can barely find much time. One thing that I am really passionate about is concatenative programming and how it can be used as a better way to p
76.
by ArtixFox 4y ago
bye bye emacs bye bye (n)vim
77.
by ArtixFox 4y ago
Ooooh nice!!! That is amazing but how viable is common lisp for low level programming. Instead of embedding CL, what about a DSL that creates binaries, does something like this exist?
78.
by ArtixFox 4y ago
Interactive extensible low level programming languages no one is trying to do this, forth exists but its one of the only attempts that is successful and still its ugly as hell. Sure you can use lisp to do everything but its horribly clunky
79.
by ArtixFox 4y ago
ah crap! sorry, i want..well, i think the best way would be to use some other language as an example I want something like Zig, or C or any other low level programming language but i want it to be extensible and interactive, so that i can
80.
Ask HN: Is there any other interactive n extensible low level pl except forths
4 points by ArtixFox 4y ago|2 comments
81.
by ArtixFox 4y ago
can we not use any other language for it, like C, Cpp, etc
82.
by ArtixFox 4y ago
obviously no, we dont care about a language that was once used in a machine specifically for it, cuz we cant go in past and program in that specific machine. i think ive realised what is up with lisps, forths, etc. theoretically you can bui
83.
by ArtixFox 4y ago
...is there any lisp that can be used for systems programming and that does NOT produce huge binaries, does not use GC, generates fast n small binaries and is still interactive? everyone claims lisp can be used for anything, same goes for f
84.
by ArtixFox 4y ago
did they win?
85.
by ArtixFox 5y ago
oh cmon u cant trick me like that! i thought jujutsu kaisen was on hn
86.
Zig monthly, December 2021 GUI, Node.js modules, optional GC and more(zigmonthly.org)
3 points by ArtixFox 5y ago|0 comments
87.
by ArtixFox 5y ago
nice! where are u using zig in production?
88.
by ArtixFox 5y ago
the world has learnt from the horrors of C++, the same mistakes should not be repeated lol.
89.
by ArtixFox 5y ago
unfortunately yes, it somewhat is, but the devs try to maintain extremely readable source, not the best thing but i think its really good and important cuz its the best example of good zig code and might teach you a bit or two like i learnt
90.
by ArtixFox 5y ago
yes, our first priority is stage2, after that, we might deal with stdlib. Andrew is going to go through the stdlib before the 1.0 release.

More ›