Resume for Donald Edward Hopkins

https://www.donhopkins.com/home/resume.html

mechanisms, software development kits; technical writing; documentation; white papers; tutorials; articles; technical evangelism; designing and writing clean, well commented exemp

Home Page - Metamath

https://us.metamath.org/

(development repository) Description: Mel O'Cat and Mario Carneiro's mmj2 GUI Proof Assistant for the Metamath language. Includes thorough file validation and proof verification,

How to choose a browser for everyday use?

http://digdeeper.love/articles/browsers.xhtml

such as independent development, lack of some antifeatures, less vulnerabilities (archive) (MozArchive) , XUL addons support , better UI (also the only one that can use GTK2 inste

esotericwarfare

https://imlauer.github.io/

and has active public development. The Internet has been fully mined, and it yielded 20T good tokens. For a Chinchilla optimal model, that’s only 1T weights (1e26 training run if

Golden Gate [X]press : Happy Birthday Fogcam

https://www.fogcam.org/HappyBirthdayFogcam/

on analysis, design development and evaluation of effective instructional materials utilizing multimedia technologies. �A lot of people think that we just play around with compute

Links

https://triptico.com/links/

C compiler flags during development » https://nullprogram.com/blog/2023/04/29/ Practical libc-free threading on Linux » https://nullprogram.com/blog/2023/03/23/ Few lesser known t

Site Construction

https://ohio.araw.xyz/site/

Adapted to web development, it means opting only for design choices that delivers the maximum information with minimum waste, if that makes sense. Admittedly, it is the result of
to oblique lair

Dave Raggett

https://www.w3.org/People/Raggett/

point has been the development of the chunks and rules format as an amalgam of RDF and Property Graphs. A series of demos are being developed to explore different aspects, using a

Peter Neumann's Home Page

https://www.csl.sri.com/users/neumann/

of Computer Software Development and Use: Zen and the Art of Computing, Theory and Practice of Software Technology, D. Ferrari, M. Bolognani, and J. Goguen (editors), North-Hollan

Stuff Michael Meeks is doing

https://apple-tree.life/~michael/blog/2008/

(eg.) have a complete development toolchain on the Live-CD. Lunch, Lydia came over, more mail, call with Jon, OMT fun. Stefan Seyfried pointed out the nice printk.time=1 kernel pa

Svedic.org

https://svedic.org/

usual corporate product development process would start with implementing the product, then creating marketing materials, and ending with a press release and support documents.  J

Blog

https://bykozy.me/blog/

are called “full-stack development” nowadays. I spent several days playing with those 3 commenting systems, studying and modifying their code, so this is not going to be a set of

Find more...