Compile-Time Dependent Types
Link: https://thenumb.at/Syl-Intro/
Discussion: https://news.ycombinator.com/item?id=50246538
Hacker News 50
npub1lk…366v2
2026-10-30 19:55:07 UTC
Author Public Key
npub1lkjrp3da5lajtqwte0djtt3l939n26426jtmk5reaa5qqx66ku7sp366v2Seen on
wss://relay.momostr.pinkPublished at
2026-10-30 19:55:07 UTCEvent JSON
{
"id": "ff97bd1d8b8b8bcdfe5b1ebdd2aff60afa37d6bc253177b0c9d21a950297753b",
"pubkey": "fda430c5bda7fb2581cbcbdb25ae3f2c4b356aaad497bb5079ef68001b5ab73d",
"created_at": 1793390107,
"kind": 1,
"tags": [
[
"proxy",
"https://social.lansky.name/@hn50/117531614058446277",
"web"
],
[
"proxy",
"https://social.lansky.name/users/hn50/statuses/117531614058446277",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.lansky.name/users/hn50/statuses/117531614058446277",
"pink.momostr"
],
[
"-"
]
],
"content": "Compile-Time Dependent Types\n\nLink: https://thenumb.at/Syl-Intro/\nDiscussion: https://news.ycombinator.com/item?id=50246538",
"sig": "0052e9dcaabf5c2c4753a58f719bf59bcb7853a750e52a59d018aecd1613ca235c46bd16c2ad18ed850daecccdadeaaa60b04e74fd78658eea239cdb4a6fd5b9"
}