The Sail instruction-set semantics specification language

Article URL: https://alasdair.github.io/manual.html

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

Points: 11

# Comments: 3

https://alasdair.github.io/manual.html

Utworzony 1mo | 26 lip 2025, 21:50:04

Zaloguj się, aby dodać komentarz

Inne posty w tej grupie

Using Your Phone on Toilet May Give You Hemorrhoids: Study

Using Your Phone on Toilet May Give You Hemorrhoids: Study

Article URL: https://www.nbcnews.com/health/health-news/phone-use-hemorrhoids-

5 wrz 2025, 16:20:13 | Hacker news

1TB Raspberry Pi SSD on sale now for $70

1TB Raspberry Pi SSD on sale now for $70

Article URL: https://www.raspberrypi.com/news/1tb-raspberry-pi-ssd-on-sale-now-for-70/

Comments URL:

5 wrz 2025, 16:20:12 | Hacker news

A computer upgrade has shut down BART

A computer upgrade has shut down BART

Article URL: https://www.bart.gov/news/articles/2025/news20250905

Comments URL:

5 wrz 2025, 16:20:10 | Hacker news

South Korea: 'many' of its nationals detained in ICE raid on GA Hyundai facility

South Korea: 'many' of its nationals detained in ICE raid on GA Hyundai facility

Article URL: https://www.nbcnews.com/news/us-news/ice-hyundai-plant-georgia-enforcement-actio

5 wrz 2025, 16:20:08 | Hacker news

Heap-based buffer overflow in Kernel Streaming

Heap-based buffer overflow in Kernel Streaming

Article URL: https://www.crowdfense.com/cve-2025-53149-windows-ksthunk-heap-overflow/

Comments URL:

5 wrz 2025, 14:10:26 | Hacker news

Interview with Japanese Demoscener – 0b5vr

Interview with Japanese Demoscener – 0b5vr

Article URL: https://6octaves.com/2025/09/interview-with-demoscener-0b5vr.html

Comments URL:

5 wrz 2025, 14:10:16 | Hacker news

Nepal moves to block Facebook, X, YouTube and others

Nepal moves to block Facebook, X, YouTube and others

Article URL: https://www.aljazeera.com/news/2025/9/4/nepal-moves-to-block-facebook-x-youtube-an

5 wrz 2025, 14:10:15 | Hacker news

Techie