keyboardhttps://www.thissideofsanity.com/tools/keyboard.html
work on developing the specifications, drawing, schematics, and other documents necessary for fabrication will be released under the M.I.T. license. canabalizing I mentioned above
open source keyboard
Home Page - Metamathhttps://us.metamath.org/
Metamath has a small specification that enables you to state a collection of axioms (assumptions), theorems, and proofs (aka a "database"). We have databases for several axiomatic
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!
C++ Applicationshttps://www.stroustrup.com/applications.html
. CoWare : system/chip specification in C++. Credit Agricole Indosuez Cheuvreux : uses C++ exclusively for tracking orders on the European stock markets. Dantz Development Corpora
slime — wingologhttp://wingolog.org/archives/2006/01/02/slime
and the negative specification wastrelly wabbits 2 responses programming musings » Blog Archive » Slime, a review by andy wingo says: 6 January 2006 3:11 AM [.
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 [...]
Markua Spechttps://markua.com/
This formal specification of Markua was developed at Leanpub , is written by Peter Armstrong, is based on the CommonMark Spec (version 0.31.2) by John MacFarlane, and is licensed
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
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
Balisage 2018 - Participant Bioshttps://www.balisage.net/2018/Bios.html
Adaptive XML Publishing Specification, as well as various metadata and identifier systems. Since 2008, he has served as Secretary of the ISO/TC 46/SC 9 - Identification and Descri
Tunes is a Useful, Not Expedient, Systemhttp://www.madore.org/~david/computers/tunes.html
each program comes with specifications, and the role of the operating system is to check that it matches these specifications. One such secification is the type - and in fact for
A description of the (hypothetical) Tunes Operating System lang=en
Find more...