Viewing profile — meghprkh

I would like such a project in Rust! There a bunch of embassy-based firmwares but none have the UX of the crosspoint forks yet. My favourite is inx ( https://github.com/obijuankeno…

Not necessarily. Since the word "typed" language is not well-defined. For example, typescript is a fantastic language for marshalling data and UI state since it uses substructural …

Why would they not do something like? + #if !(defined __GLIBC_COMPILER_SUPPORTS_ATTRIBUTES__) - #if !(defined __GNUC__ || defined __clang__ || defined __TINYC__) # define __attribu…

No specific motivation tbh. I did the number theory game on the recommendation of a friend and found it fun. Made me think. What does the real programming language part help in? De…

What is the real difference between rocq vs lean? Alternatively, what is your motivation to do this in lean as compared to playing around with the rocq one if it exists? I recently…

C++20 Concepts are a new language feature that ease generic programming, but are primarily syntactic sugar. We will try to implement them in C++03, with one caveat - we must explic…