Minimalist GitHub Actions: Your workflows should do lessterrateam.io3 points·by gmgn·6 tháng trước·0 comments
Myst Markdown – Markdown for technical/scientific documentmystmd.org195 points·by gmgn·2 năm trước·44 comments
Global telecom leaders join forces to redefine the industry with network APIsericsson.com1 points·by gmgn·2 năm trước·0 comments
in Rust we trust? White House Office urges memory safetystackoverflow.blog2 points·by gmgn·2 năm trước·0 comments
Systems Benchmarking for Scientists and Engineersbenchmarking-book.com1 points·by gmgn·3 năm trước·0 comments
Software Architecture: The Next Step (2004) [pdf]researchgate.net2 points·by gmgn·3 năm trước·0 comments
Chinese hackers spying on US critical infrastructure, Western intelligence saysreuters.com4 points·by gmgn·3 năm trước·1 comments
Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf]publications.lib.chalmers.se2 points·by gmgn·4 năm trước·0 comments
Proposal – Enabling Generic Functions and Parametric Types in C [pdf]ltcmelo.com1 points·by gmgn·4 năm trước·0 comments
Understanding Upgrade Failures in Distributed Systemsasatarin.github.io1 points·by gmgn·4 năm trước·0 comments
Lightweight Formal Methods to Validate Amazon S3 – A Summaryasatarin.github.io3 points·by gmgn·4 năm trước·0 comments
Increasing Bus Factor in Software Development Teamsmatt-rickard.com6 points·by gmgn·4 năm trước·2 comments
GoSTL: Algorithm and datastructure library for Go similar to C++ STLgithub.com89 points·by gmgn·4 năm trước·47 comments
Just(JS) – A JavaScript web framework in the top of the TechEmpower Benchmarkjust.billywhizz.io13 points·by gmgn·4 năm trước·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 năm trước·1 comments