nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq0ujnx96rzj2m7kl9yqhyplqhxuf55el43gdqw8xxpm7pdk3ph6gqwfaz86 (nprofile…az86) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg5yyvd7dsn2mhq3sm89t8mzm0fthmndlm8d645knafqztzzn04ps5fszv4 (nprofile…szv4) Yes, I absolutely agree
I have been contemplating introducing generic SAT solving primitives in the Nix language to experiment with these ideas, but I'm not convinced that version resolving is a good idea except by doing it like what Golang is doing but it's not permitted by all ecosystems…
Raito Bezarius
npub1t2…w5ty4
2026-02-24 12:34:49 UTC
in reply to nevent1q…p4kg
Author Public Key
npub1t2c07cksmsemlfwr8qxej8n9pexz3w2f7m2jfch0wurgar4lxl2shw5ty4Seen on
wss://relay.ditto.pubPublished at
2026-02-24 12:34:49 UTCEvent JSON
{
"id": "a2fa04545ff24403f511b44d211552529851995ad42b3c69e8a41e8846720dd4",
"pubkey": "5ab0ff62d0dc33bfa5c3380d991e650e4c28b949f6d524e2ef77068e8ebf37d5",
"created_at": 1771936489,
"kind": 1,
"tags": [
[
"p",
"7f253317431495bf5be5202e40fc1737134a67f58a1a071cc60efc16da21be90",
"wss://relay.ditto.pub"
],
[
"p",
"45084637cd84d5bb8230d9cab3ec5b7a577dcdbfd9dbaad2d3ea402588537d43",
"wss://relay.ditto.pub"
],
[
"p",
"31cde7286bc8d04c80531a9c5b42b9a00a705ac122f9c790ba629270554b9565",
"wss://relay.ditto.pub"
],
[
"p",
"eba5716b0c0a09e872b9c98eac06ffe828caffdcc3c1de36daf8bb76a7ea3623",
"wss://relay.ditto.pub"
],
[
"e",
"b670157ee196ed786fe8a9b993feea2e6c168ee97e98218f00564d632e28cfb5",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://nixos.paris/users/raito/statuses/116125629790524442",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq0ujnx96rzj2m7kl9yqhyplqhxuf55el43gdqw8xxpm7pdk3ph6gqwfaz86 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg5yyvd7dsn2mhq3sm89t8mzm0fthmndlm8d645knafqztzzn04ps5fszv4 Yes, I absolutely agree\n\nI have been contemplating introducing generic SAT solving primitives in the Nix language to experiment with these ideas, but I'm not convinced that version resolving is a good idea except by doing it like what Golang is doing but it's not permitted by all ecosystems…",
"sig": "fef4127ca0815c0b11f3d7621754406cb51200fc482bd7a7bbeb00c5dafd83fcb59ccbd0e0028955d36bbd267e4dc511abc9d3d18d32ed11153d6976d8e64845"
}