Full site

MAP OF KNOWLEDGE

Français
DEVELOPMENTS

Philosophy

Cafés philo

Linguistics

L'origine des langues

Miscellaneous

Le piège de l'agriculture
PHYSICS

Computing

Source code

Coroutines in C : Linux Windows 10

Prolog compiler : Linux Windows 10

Forth compilers :
for Pocket PC Windows Mobile
for Compiled Virtual Machine
for Minimal Programming Language

Raspberry Pi

Comparison of proof assistants

Character strings formatting in web applications

Encoding of web pages

Music

Wavelet analysis

FM synthesizer with creation of instruments

Examples of instruments :
saturoid resident bizarre etrange exotic

Synthesizer with sound creation from harmonic synthesis :
for DOS; for Windows Zipped

Neural networks

Résumé du livre "Les réseaux de neurones" de Hervé Abdi

Mémoires hétéro-associatives linéaires en J, d'après Hervé Abdi

Neural net in C for DOS and Unix/Linux Perceptron

Physics

Electromagnetisme et gravitation relativistes, champs de jauge et theorie de Kaluza-Klein

Gauge fields, Kaluza Klein theory, least action principle, relativity, Dirac equations, string theory

Mathematics

Analyse de données

Régression linéaire mobile exponentielle
Régression polynomiale

Optimisation et jeux différentiels
Transfinite Connections

Metaphysics

Metaphysical reflections

Commentaires

Fondements ontologiques

Spirit, consciousness, free will and infinite nesting

Le paradoxe du lapin blanc - Simplicité cachée de l'univers et théories d'univers mathématiques
LOGIC

Logic

Fondements de la théorie du traitement de l'information : logique combinatoire et lambda calcul

From Combinatory Logic to Proof Logic
Proof Logic v5 v8 Tutorial
FOUNDATIONS

jacques.bailhache@gmail.com