Unofficial automated RSS/Atom links to Mate Soos's work on Mate Soos’s current posts cover SAT solving/model counting, CryptoMiniSat, and academic research incentives. Original work is credited at the source; follow the source links. Zaps support the independent feed operator, not the author.
{
"id":"8c281ba5d629718712a1dfbff358f738bf137b9229a30c10faafdc2d5d0ed5c7",
"pubkey":"4affa29c1bdaefda2cc16d0aae3d67fe93213db3f37e78397f0738591e2df7f8",
"created_at":1792152109,
"kind":0,
"tags": [],
"content":"{\"subject\":\"Mate Soos’s current posts cover SAT solving/model counting, CryptoMiniSat, and academic research incentives\",\"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\":\"Mate Soos (Unofficial)\",\"display_name\":\"Mate Soos (Unofficial)\",\"about\":\"Unofficial automated RSS/Atom links to Mate Soos's work on Mate Soos’s current posts cover SAT solving/model counting, CryptoMiniSat, and academic research incentives. Original work is credited at the source; follow the source links. Zaps support the independent feed operator, not the author.\",\"picture\":\"https://cdn.jsdelivr.net/gh/twitter/[email protected]/assets/72x72/1f682.png\",\"website\":\"https://www.msoos.org\",\"nip05\":\"[email protected]\",\"lud16\":\"[email protected]\",\"bot\":true}",
"sig":"95c310e7ab34c630f31884fff0b52029d1f5e3f871e8d52285a54ffc01e0017bab3459add3a76048f4beae58f247793919301bc573286034a15aa8ee26ec08d2"
}
