Thread: Systems Programming with Zig

Certified Programming with Dependent Types, by Adam Chlipala (adam.chlipala.net)

L 19 pts 13 comments by kragen May 8, 2014 bookmathprogramming Programming (General)Science / Math / Physics Culture / Philosophy / History / Reading thread

The author writes: > "This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. > "I'm following an unusual philosophy in this book, so it may ...

Programming and Programming Languages (papl.cs.brown.edu)

L 1 pts 0 comments by pushcx Dec 15, 2014 bookprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Author popped up [in the HN comments](https://news.ycombinator.com/item?id=8750354) to say his previous book Programming Languages: Application and Interpretation "is almost completely subsumed into PAPL".

Professor Frisby's Mostly Adequate Guide to Functional Programming (github.com)

L 4 pts 0 comments by pushcx Jul 21, 2015 bookjavascriptprogramming Web Development Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Programming Concepts in the Real World (seppo0010.github.io)

L 15 pts 0 comments by seppo0010 Sep 5, 2015 bookprogrammingshow Programming (General)Culture / Philosophy / History / Reading thread

Why Rust? Trustworthy, Concurrent Systems Programming (oreilly.com)

L 16 pts 1 comments by pushcx Sep 9, 2015 bookprogrammingrust Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

The Implementation of Functional Programming Languages (1987 Book by Simon Peyton Jones) (research.microsoft.com)

L 15 pts 2 comments by twopoint718 Nov 21, 2015 bookprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

"Programming in D" ebook is at major retailers (forum.dlang.org)

L 7 pts 0 comments by mulander Dec 14, 2015 bookprogramming Programming (General)Culture / Philosophy / History / Reading thread

Embedded Programming with the GNU Toolchain (bravegnu.org)

L 1 pts 0 comments by pushcx Dec 30, 2015 bookprogramming Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

Introduction to the Zig Programming Language (andrewkelley.me)

L 23 pts 0 comments by sanxiyn Feb 9, 2016 programmingzig Programming (General)Programming Languages / CS Theory thread

My Top 100 Programming, Computer and Science Books (catonmat.net)

L 7 pts 1 comments by superpat Apr 27, 2016 bookprogrammingscience Programming (General)Science / Math / Physics Culture / Philosophy / History / Reading thread

Leanpub: a website with work-in-progress and finished programming books that can be bought for free (leanpub.com)

L 4 pts 0 comments by inactive-user Jun 4, 2016 bookprogramming Programming (General)Culture / Philosophy / History / Reading thread

Functional programming books overview (alexott.net)

L 23 pts 2 comments by unbalancedparentheses Jun 8, 2016 bookprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Zig: System programming language intended to replace C (ziglang.org)

L 35 pts 18 comments by pyk Aug 29, 2016 programmingzig Programming (General)Programming Languages / CS Theory thread

Programming books you might want to consider reading (danluu.com)

L 16 pts 2 comments by calvin Oct 17, 2016 bookcompscimathprogramming Programming (General)Programming Languages / CS Theory Science / Math / Physics Culture / Philosophy / History / Reading thread

Real-Time Programming Lecture Notes by Plodereder (2004) (www2.informatik.uni-stuttgart.de)

L 3 pts 0 comments by nickpsecurity Apr 15, 2017 bookpdfprogramming Programming (General)Culture / Philosophy / History / Reading thread

Plodereder is notable for co-authoring the official reference of Ada 2012 with Tucker Taft.

Game Programming Patterns (gameprogrammingpatterns.com)

L 20 pts 0 comments by stevejalim Aug 17, 2017 bookprogramming Programming (General)Gaming / Retro Computing Culture / Philosophy / History / Reading thread

No longer WIP, and recommended to me as one of the most eye-opening books on OOP (even if you're not a game developer)

Programming a Problem-Oriented Language (forth.org)

L 12 pts 1 comments by pushcx Oct 26, 2017 bookpdfprogramming Programming (General)Culture / Philosophy / History / Reading thread

Zig: December 2017 in Review (andrewkelley.me)

L 9 pts 0 comments by jfo Jan 3, 2018 compilerspltprogrammingzig Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Unsafe Zig is Safer Than Unsafe Rust (andrewkelley.me)

L 32 pts 14 comments by jfo Jan 24, 2018 compilerspltprogrammingzig Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

How Zig Do? (blog.jfo.click)

L 36 pts 13 comments by jfo Mar 15, 2018 programmingzig Programming (General) thread

Zig 0.2.0 has been released today: https://ziglang.org/download/0.2.0/release-notes.html so I wrote this post about using the language for a small project.

Big Integers in Zig (tiehuis.github.io)

L 10 pts 1 comments by jfo May 13, 2018 performanceprogrammingzig Programming (General)Data / Databases / Infrastructure thread

I Quit My Cushy Job at OkCupid to Live on Donations to Zig (andrewkelley.me)

L 54 pts 27 comments by calvin Jun 7, 2018 personprogrammingzig Programming (General)Culture / Philosophy / History / Reading thread

A Practical Theory Of Programming (cs.toronto.edu)

L 18 pts 4 comments by zdsmith Aug 1, 2018 bookcompscipdfprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Type Theory and Functional Programming (1999) (cs.kent.ac.uk)

L 6 pts 2 comments by nickpsecurity Aug 6, 2018 bookformalmethodspdfprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

String Matching based on Compile Time Perfect Hashing in Zig (andrewkelley.me)

L 11 pts 6 comments by andrewrk Sep 16, 2018 programmingshowzig Programming (General) thread

Godbolt Compiler Explorer gains Zig support (godbolt.org)

L 6 pts 0 comments by andrewrk Sep 25, 2018 performanceprogrammingzig Systems / Low-Level / OS Programming (General)Data / Databases / Infrastructure thread

Zig 0.3.0 Released (ziglang.org)

L 38 pts 7 comments by jfo Sep 28, 2018 compilersprogrammingreleasezig Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

The Art of Unix Programming, reformatted (arp242.net)

L 29 pts 13 comments by inactive-user Jan 15, 2019 bookprogrammingunix Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

Moving to Zig for ARM Development (sjdh.us)

L 26 pts 1 comments by trousers Feb 14, 2019 programmingzig Programming (General) thread

Porting Zig to NetBSD - a fun, speedy port (coypu.sdf.org)

L 43 pts 1 comments by coypoop Feb 17, 2019 netbsdprogrammingzig Systems / Low-Level / OS Programming (General) thread