niftycent.com
NiftyCent
RO
Logare
Piata de desfacere
Reduceri

Algebraic Semantics for Machine Knitting

Article URL: https://uwplse.org/2025/03/31/Algebraic-Knitting.html

Comments URL: https://news.ycombinator.com/item?id=43763614

Points: 88

# Comments: 7

https://uwplse.org/2025/03/31/Algebraic-Knitting.html

Creată 17d | 22 apr. 2025, 18:20:28


Autentifică-te pentru a adăuga comentarii

Alte posturi din acest grup

Cogentcore: Open-source framework for building multi-platform apps with Go
Cogentcore: Open-source framework for building multi-platform apps with Go

Article URL: https://github.com/cogentcore/core

Comments URL: https://news.ycombinat

9 mai 2025, 04:40:11 | Hacker news
A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]
A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

Article URL: https://www.usenix.org/system/files/conference/usenixsecurity25/sec25cycle1

9 mai 2025, 04:40:09 | Hacker news
Starlink User Terminal Teardown
Starlink User Terminal Teardown

Article URL: https://www.darknavy.org/blog/a_first_glimpse_of_the_starlink_user_ternimal/

Comments

9 mai 2025, 04:40:08 | Hacker news
Usenix ATC Announcement (Usenix ATC Shutting Down)
Usenix ATC Announcement (Usenix ATC Shutting Down)

Article URL: https://www.usenix.org/blog/usenix-atc-announcement

Comments URL:

9 mai 2025, 04:40:06 | Hacker news
For better or for worse, the overload (2024)
For better or for worse, the overload (2024)

Article URL: https://consteval.ca/2024/07/25/overload/

Comments URL: https://

9 mai 2025, 04:40:04 | Hacker news
Hill or High Water
Hill or High Water

Article URL: https://royalsociety.org/blog/2025/05/hill-or-high-water/

Comments URL:

9 mai 2025, 04:40:04 | Hacker news
eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6
eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6

Article URL: https://blog.gripdev.xyz/2025/05/06/ebpf-mystery-when-is-ipv4-not-ipv4-when-its-ipv6/

9 mai 2025, 04:40:03 | Hacker news
Techie
Techie