meghprkh

3 ms·

1.
by meghprkh 2mo ago
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/obijuankenobiii/inx ) which is the only one that su
2.
by meghprkh 4mo ago
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 typing instead of nominal typing. Libraries like k
3.
by meghprkh 4mo ago
Why would they not do something like? + #if !(defined __GLIBC_COMPILER_SUPPORTS_ATTRIBUTES__) - #if !(defined __GNUC__ || defined __clang__ || defined __TINYC__) # define __attribute__(xyz) /* Ignore */ #endif (or
4.
Creating Rust macros with crabtime for including icons in Leptos(meghprkh.github.io)
5 points by meghprkh 1y ago|0 comments
5.
by meghprkh 1y ago
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? Developing tactics? Or is it because even when you are typing
6.
by meghprkh 1y ago
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 completed the natural number lean game and found it pretty
7.
Rust Traits – Associated Types and Generic Traits(meghprkh.github.io)
2 points by meghprkh 1y ago|0 comments
8.
by meghprkh 4y ago
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 explicitly specify that a class implements an concept. NOTE: We wi
9.
C++20 Concepts in C++03(meghprkh.github.io)
1 points by meghprkh 4y ago|1 comments