Minimalist GitHub Actions: Your workflows should do lessterrateam.io3 points·by gmgn·6개월 전·0 comments
Myst Markdown – Markdown for technical/scientific documentmystmd.org195 points·by gmgn·2년 전·44 comments
Global telecom leaders join forces to redefine the industry with network APIsericsson.com1 points·by gmgn·2년 전·0 comments
in Rust we trust? White House Office urges memory safetystackoverflow.blog2 points·by gmgn·2년 전·0 comments
Systems Benchmarking for Scientists and Engineersbenchmarking-book.com1 points·by gmgn·2년 전·0 comments
Chinese hackers spying on US critical infrastructure, Western intelligence saysreuters.com4 points·by gmgn·3년 전·1 comments
Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf]publications.lib.chalmers.se2 points·by gmgn·4년 전·0 comments
Proposal – Enabling Generic Functions and Parametric Types in C [pdf]ltcmelo.com1 points·by gmgn·4년 전·0 comments
Understanding Upgrade Failures in Distributed Systemsasatarin.github.io1 points·by gmgn·4년 전·0 comments
Lightweight Formal Methods to Validate Amazon S3 – A Summaryasatarin.github.io3 points·by gmgn·4년 전·0 comments
GoSTL: Algorithm and datastructure library for Go similar to C++ STLgithub.com89 points·by gmgn·4년 전·47 comments
Just(JS) – A JavaScript web framework in the top of the TechEmpower Benchmarkjust.billywhizz.io13 points·by gmgn·4년 전·0 comments
Finding a Path to CS for All: How Many U.S. High School Students Have Taken CS?cacm.acm.org1 points·by gmgn·5년 전·1 comments