Applying Minilanguageshttp://www.catb.org/esr/writings/taoup/html/ch08s02.html
Expressions A kind of specification that turns up repeatedly in Unix tools and scripting languages is the regular expression (‘regexp’ for short). We consider it here
2019 - Strange Loophttps://thestrangeloop.com/2019/sessions.html
Shetty LinkedIn Formal Specification and Taming Other People's Tech Marianne Bellotti Auth0 Typing the Untyped: Soundness in Gradual Type Systems Ben Weissmann Tulip From Video Ga
Strange Loop is a conference for software developers covering programming langs, databases, distributed systems, security, machine learning, creativity, and more!
slime — wingologhttp://wingolog.org/archives/2006/01/02/slime
and the negative specification cps in hoot 2 responses programming musings » Blog Archive » Slime, a review by andy wingo says: 6 January 2006 3:11 AM [...] An
An interview with Joey Hess [LWN.net]https://lwn.net/Articles/672352/
human readable specification. I'd worry about bugs in the tests themselves though, without strong types. The best idea I ever had around testing is: put the test suite in your pro
Two of the earliest figures in the Linux community were Lars Wirzenius and Joey Hess. So when [...]
WAI-ARIA 1.0 User Agent Implementation Guidehttps://www.w3.org/TR/2014/REC-wai-aria-implementation-20140320/
draw attention to the specification and to promote its widespread deployment. This enhances the functionality and interoperability of the Web. To comment on this document, send em
Character Model for the World Wide Web 1.0https://www.w3.org/TR/2003/WD-charmod-20030822/
This Architectural Specification provides authors of specifications, software developers, and content developers with a common reference for interoperable text manipulation on the
Stuff Michael Meeks is doinghttps://apple-tree.life/~michael/blog/2008/
the GUI, the critical specification can be included as a multi-page adendum to each flow chart element, and consider the sheer productivity wins from the new language ... First of
The Nascom Home Pagehttp://nascomhomepage.com/
Nascom 2 Manual: NASBUS specification. Nascom 2 Manual: Construction Manual. Nascom 2 Manual: Getting started Nascom 2 Manual: Hardware Manual. 2708/2716 EPROM programmer Gemini G
The UCS-X Family of UCS Extensions (Draft Proposal)http://ucsx.org/
progress, not finalized specifications. They all may change. Authors : Tom Bishop ( tbishop@wenlin.com ) and Richard Cook ( rscook@wenlin.com ). Updated May 15, 2012. Abst
https://www.jot.fm/issues/issue_2009_01/article4/https://www.jot.fm/issues/issue_2009_01/article4/
of the OpenStep specification, published by NeXT (now Apple) and Sun and generally regarded as the standard library for Objective-C. The author of the runtime presented in this pa
Amorphous Computing Paper Listinghttps://groups.csail.mit.edu/mac/projects/amorphous/paperlisting.html
organization of growth specification. Conference version in postscript and PDF . Title: Determining Articulator Configuration in Voiced Stop Consonants by Matching Time-domain Pat
Stroustrup: FAQhttps://www.stroustrup.com/bs_faq.html
part of the Java 7 specification is slightly longer in terms of number of pages than the ISO C++11 language specification.] I have commented (negatively) about Java hype and ascri
Find more...