Skip to content

a journal for my ideas related to programming, math, logic, &co

Notifications You must be signed in to change notification settings

edemko/technical-notes

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Technical Notes

This is a collection of notes about ideas I have for research of programming. The entrypoint is [index.md].

The notes are given in notes/, and ./build.py generates the index.md file.

If the first line in a note starts with a single hash, the rest of the line is the title. Lines after the (optional) title that match (roughly) tag: +[a-z-]+ or tags: ([a-z-]+,)+ set tags for the note. Searching for tags stops after the first non-blank line that does not match.

A count of the tags is also generated by ./build.py and saved at tags.txt.

Specs

For lack of a better place to put them, I've put some draft specifications here. Ideally, they will get their own repositories, but while they are in a highly-experimental phase, there's not much point splitting them out.

About

a journal for my ideas related to programming, math, logic, &co

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published