nprofile1q…d6kk0 mei nprofile1q…8mkep I think a lot depends on not just how hard, ...

2025-08-06 16:03:46 UTC

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) mei (nprofile…eszm) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqh6fuyf63mx4v85r6l42cvpm7aplqwajjz2cg6gc49ttd6cnggptsk8mkep (nprofile…mkep) I think a lot depends on not just how hard, but how frequently hard. Java typechecking is undecideable, as is Scala’s, but I’ve never heard of this being a problem in practice. TypeScript’s is as well and its limitations are more obvious because people write whole programs in the type system.

Author Public Key

npub13ydy082nj9vvt8lxlw4dapetq7a0s8ua6m5lp6dfkkkw6k3pl2lq9d7fvj

Seen on

wss://relay.mostr.pub

Show more details

Published at

2025-08-06 16:03:46 UTC

Kind type

1 Short Text Note

Event JSON

{ "id": "ac8d89a5749adfd0fd33cfddfcb3bc348e06abdbd35a68c0896dfb0255025e2d", "pubkey": "891a479d539158c59fe6fbaade872b07baf81f9dd6e9f0e9a9b5aced5a21fabe", "created_at": 1754496226, "kind": 1, "tags": [ [ "p", "934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49", "wss://relay.mostr.pub" ], [ "p", "d9a8fc959c219f922f73c095b63347b231aabd40206db52b962f2c537b9a67e3", "wss://relay.mostr.pub" ], [ "p", "be93c22751d9aac3d07afd5586077ee87e07765212b08d23152ad6dd62684057", "wss://relay.mostr.pub" ], [ "p", "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301", "wss://relay.mostr.pub" ], [ "p", "77c4ad13096f903f4ae085d9f7c810e494142a646e060b8665a7e8f5e4536390", "wss://relay.mostr.pub" ], [ "e", "7a754cd61e8a00f87fd15c92cc0af311c2b95cf02518d37582c453d14b354c68", "wss://relay.mostr.pub", "reply" ], [ "proxy", "https://social.treehouse.systems/users/jnkrtech/statuses/114982664690424544", "activitypub" ], [ "client", "Mostr", "31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr", "wss://relay.mostr.pub" ] ], "content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqmx50e9vuyx0eytmncz2mvv68kgc6402qypkm22uk9uk9x7u6vl3sc6eszm nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqh6fuyf63mx4v85r6l42cvpm7aplqwajjz2cg6gc49ttd6cnggptsk8mkep I think a lot depends on not just how hard, but how frequently hard. Java typechecking is undecideable, as is Scala’s, but I’ve never heard of this being a problem in practice. TypeScript’s is as well and its limitations are more obvious because people write whole programs in the type system.", "sig": "0bdf1512007d9e3a570ca858abf06c29901ca7ba95cb8a9230ebe7fcc8b066280cce13eb3f1ed53d03126079cc54a676d4840e67d04d1cb05241646ce54d573b" }

jnkrtech on Nostr: nprofile1q…d6kk0 mei nprofile1q…8mkep I think a lot depends on not just how hard, ...