Unofficial automated RSS/Atom links from the source ahelwer.ca, covering Formal verification, concurrency and systems-programming essays are substantive developer material. Original creators are credited at the source; follow original links. Zaps support the independent feed operator, not the source creators.
{
"id":"77abc96d6ea3147f6814a125c207c357029092d7430de40782d4253f7eff5672",
"pubkey":"80ea987b1da436fdb1442fa606424bceb8ed657833ccdc65a321d9be5ce33377",
"created_at":1792119086,
"kind":0,
"tags": [],
"content":"{\"subject\":\"Formal verification, concurrency and systems-programming essays are substantive developer material\",\"icon_attribution\":{\"source\":\"https://github.com/twitter/twemoji/tree/v14.0.2/assets/72x72\",\"creator\":\"Twitter and contributors\",\"license\":\"CC BY 4.0\",\"license_url\":\"https://creativecommons.org/licenses/by/4.0/\"},\"name\":\"ahelwer.ca (Unofficial)\",\"display_name\":\"ahelwer.ca (Unofficial)\",\"about\":\"Unofficial automated RSS/Atom links from the source ahelwer.ca, covering Formal verification, concurrency and systems-programming essays are substantive developer material. Original creators are credited at the source; follow original links. Zaps support the independent feed operator, not the source creators.\",\"picture\":\"https://cdn.jsdelivr.net/gh/twitter/[email protected]/assets/72x72/1f422.png\",\"website\":\"https://ahelwer.ca\",\"nip05\":\"[email protected]\",\"lud16\":\"[email protected]\",\"bot\":true}",
"sig":"d3cdcf8798f318cb9deef175a2a6c7517dd24845c0995ef23b79a373268478aa1126d75a12802ba88479ec42744ccef7bcb98f15ac44681ed6e7abdb92c6c4f2"
}
