Hacker News: meghprkh

New comment by meghprkh in "C extensions, portability, and alternative compilers"

meghprkh — Mon, 25 May 2026 16:46:56 +0000

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 probably a more fine grained for each attribute they try to use)

Considering such checks are fairly conventional in downstream C++ libraries based on compilers (for example checking OS platform or compiler, e.g. [Boost.Config](https://www.boost.org/doc/libs/latest/libs/config/). Modern C++ even went ahead and standardized this somewhat https://en.cppreference.com/cpp/utility/feature_test )

Creating Rust macros with crabtime for including icons in Leptos

meghprkh — Wed, 30 Apr 2025 19:46:30 +0000

Article URL: https://meghprkh.github.io/blog/posts/crabtime-leptos-icons/

Comments URL: https://news.ycombinator.com/item?id=43849815

Points: 5

# Comments: 0

New comment by meghprkh in "Show HN: Formalizing Principia Mathematica using Lean"

meghprkh — Sat, 26 Apr 2025 21:46:24 +0000

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 the "math parts" it corresponds to a real programming language giving you a nicer mental model?

Because from what I understand Rocq too has Gallina or something right?

I guess my other point is Rocq seems to have a lot of textbooks too so I was wondering which one to read about when I get some more time - Rocq or Lean.

New comment by meghprkh in "Show HN: Formalizing Principia Mathematica using Lean"

meghprkh — Sat, 26 Apr 2025 02:45:56 +0000

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 fun, and would like to learn more about the differences between the two. Thanks!

Rust Traits – Associated Types and Generic Traits

meghprkh — Wed, 09 Apr 2025 02:48:33 +0000

Article URL: https://meghprkh.github.io/blog/posts/rust-traits-associated-types-generic-traits/

Comments URL: https://news.ycombinator.com/item?id=43628448

Points: 2

# Comments: 0

New comment by meghprkh in "C++20 Concepts in C++03"

meghprkh — Fri, 05 Aug 2022 14:25:45 +0000

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 will use template specialization and do not need to be able to modify the class or our concept for this.

C++20 Concepts in C++03

meghprkh — Fri, 05 Aug 2022 14:25:44 +0000

Article URL: https://meghprkh.github.io/blog/posts/c++03-concepts/

Comments URL: https://news.ycombinator.com/item?id=32356522

Points: 1

# Comments: 1