Home Page - Metamathhttps://us.metamath.org/
by David A. Wheeler. Software developers may want to see the Metamath-lamp source code repository . yamma - Yamma is a Metamath proof assistant for Visual Studio Code (VS Code). I
Home Page of Evan Millerhttps://www.evanmiller.org/
Two-Star Rating Pit The Software Scientist Apple’s RAM Problem Marketing Your Startup Hub The Feature Matrix Unsolicited book prefaces Preface to A Lost Lady Preface to Brave New
Articles, software, calculators, and opinions.
Richard J Kinch, PhDhttps://www.truetex.com/
graphics, including software and consulting on planar constructive geometry. Essays on topics of Bezier curve intersection and motif classification . The ttf_edit TrueType font ta
Richard J. Kinch, Engineer
SEGA ROM Readerhttps://www.pjrc.com/2021/07/
versions of the Arduino software. If you are unsure which version you have, click Help > About to check. On Macintosh, the About menu item is found under the program name rath
ChatGPT: Failing at FizzBuzzhttps://astharoshe.net/2024-12-30-ChatGPT__Failing_at_FizzBuzz.html
some even tell us that software developers will not be needed anymore in a few years (some say five, some say ten ...). I want to take this opportunity to remind us that our shiny
Introduction to TeXhttps://math.vanderbilt.edu/schectex/wincd/intro_to_tex.htm
pages about free TeX software available for Windows computers and how to use TeX on our department's Unix computers . Outline of this page: What is (La)TeX? The editing cycle Forw
Steven's Home Pagehttps://web.mit.edu/~stevenj/
for the curious. Free Software Sometimes, I pretend to be a computer scientist: I collaborated with Matteo Frigo of the Laboratory for Computer Science to develop the Fastest Four
MicroMac 90MHz Carrera040 Acceleratorhttps://www.micromac.com/products/90mhz_carrera040.html
- Accelerator Software: Carrera040 v1.8 Utilities Software: Speedometer 4.0 Order the 90MHz Carrera040 Accelerator Mac II Series Accelerators To Accelerator Products Home | What's
Samuel R. Buss: Home pagehttps://mathweb.ucsd.edu//~sbuss/
modern OpenGL software and tutorials are also available. Old courses on the web An archive of old course web pages. Personal: Family
Jamie Brandonhttps://www.scattered-thoughts.net/
things: How to trade software for small money? Miscellaneous ideas Unexplanations - untangling bad answers to good questions. Query optimization works because sql is declarative R
Red Blob Gameshttps://www.redblobgames.com/
student, and hobbyist software developers. I started experimenting with interactive explanations in 2004, but didn’t figure out until 2007 the style of interactive explanation I u
Interactive tutorials for math and algorithms
Landon Curt Nollhttps://www.isthe.com/chongo/index.html
publications Published software Astronomy Fremont Peak Observatory LavaRand tm random numbers Coop computing awards FNV hash Prime numbers Curious primes Largest known prim
Landon Curt Noll home page
Find more...