I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.
https://coalton-lang.github.io/20260424-mine/
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgvpus4n2eyzhvu23dc99626dqmkj8vxhs457u0xzzj80espt60gqj53794 (nprofile…3794) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg37hd28fxwwcaccgkutjjf50jyh2ta82y8xaq4ujqzdzssmxt6usuku5g7 (nprofile…u5g7) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqezxuyey29gdneq8qqva23f6ktz83nws3l38vvd0mdw2tsey4lmqq9dnutk (nprofile…nutk) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq4hark9ff9kwgyktpkl7hn7cscf8hrdnycc8e9d3c9cpg47vzm0nsatmx8a (nprofile…mx8a) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpquhnx67vlf04mwtt7qrjyx47gpmtf3twz4nrfmx9lspw6rrv5gkhsxu8qh7 (nprofile…8qh7) (reverse-chronological earlier toots).
screwlisp
npub13r…sa54f
2026-04-26 00:17:29 UTC
Author Public Key
npub13rtszkjs767qk5rruzx5ggcf8jqgvtyr7xq88lfg0lxth6rnyjkqmsa54fSeen on
wss://relay.mostr.pubPublished at
2026-04-26 00:17:29 UTCEvent JSON
{
"id": "89141422c7952ff876c8482662274cb2917f14e7e4ab90b6a172c9b2c5c75f14",
"pubkey": "88d7015a50f6bc0b5063e08d4423093c80862c83f18073fd287fccbbe87324ac",
"created_at": 1777162649,
"kind": 1,
"tags": [
[
"p",
"4303c8566ac9057671516e0a5d2b4d06ed23b0d78569ee3cc2148efcc02bd3d0",
"wss://relay.ditto.pub"
],
[
"p",
"447d76a8e9339d8ee308b71729268f912ea5f4ea21cdd05792009a2843665eb9",
"wss://relay.ditto.pub"
],
[
"p",
"c88dc2648a2a1b3c80e0033aa8a756588f19ba11fc4ec635fb6b94b86495fec0",
"wss://relay.ditto.pub"
],
[
"p",
"adfa3b15292d9c825961b7fd79fb10c24f71b664c60f92b6382e028af982dbe7",
"wss://relay.ditto.pub"
],
[
"p",
"e5e66d799f4bebb72d7e00e44357c80ed698adc2acc69d98bf805da18d9445af",
"wss://relay.ditto.pub"
],
[
"p",
"5dee78bfbe525dff78f31b82f4c15e810f60610f555cbb487d612fbb43755527",
"wss://relay.ditto.pub"
],
[
"p",
"66db38e84324936c9223174ac8b8dbc3db2d60587ddca5b6ff74b6a95a834c93",
"wss://relay.ditto.pub"
],
[
"p",
"a231938f7a6241b94a9589f111bd7dbb0b7cee0c68821c3f6e635b688fd05aea",
"wss://relay.ditto.pub"
],
[
"p",
"e7fece44b25aa2e80b95927197d0e56c65108ddb3a563735b29470cf8a7f2d85",
"wss://relay.ditto.pub"
],
[
"p",
"c002c4fe95bf086b31a84a5e7e68a0b4b4f58aee436323392038207880c2709a",
"wss://relay.ditto.pub"
],
[
"t",
"ide"
],
[
"t",
"commonlisp"
],
[
"t",
"typetheory"
],
[
"t",
"statictyping"
],
[
"t",
"coalton"
],
[
"t",
"dev"
],
[
"proxy",
"https://gamerplus.org/users/screwlisp/statuses/116468131393780151",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.\n\nhttps://coalton-lang.github.io/20260424-mine/\n\nnostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgvpus4n2eyzhvu23dc99626dqmkj8vxhs457u0xzzj80espt60gqj53794 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg37hd28fxwwcaccgkutjjf50jyh2ta82y8xaq4ujqzdzssmxt6usuku5g7 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqezxuyey29gdneq8qqva23f6ktz83nws3l38vvd0mdw2tsey4lmqq9dnutk nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq4hark9ff9kwgyktpkl7hn7cscf8hrdnycc8e9d3c9cpg47vzm0nsatmx8a nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpquhnx67vlf04mwtt7qrjyx47gpmtf3twz4nrfmx9lspw6rrv5gkhsxu8qh7 (reverse-chronological earlier toots).",
"sig": "551d3ad47f895015382de84e1ed93d192474be03ba70da92737aa7ce0921920c30d6065c343ce3921ee15f7579f0bfd01f0241866c16eb0522b4a4d205270784"
}