Blog of Răzvan Flavius Panda (freeman42x)

HTML version of the repository: https://razvan-flavius-panda.github.io/blog/

I work at Fairy Tale - Artificial General Intelligence Solutions. We are creating free or commercial open-source software. With the final goal to help humanity create Safe Artificial General Intelligence.

My resume: http://razvan-flavius-panda.com

Common blogging topics:

• Software Engineering: Haskell, Agda, Idris, Nix, NixOS, Functional Programming
• Artificial General Intelligence aka Strong Artificial Intelligence aka Human-Level Artificial Intelligence

Human Level Artificial Intelligence / Artificial General Intelligence (HLAI / AGI)

• Human-Level Artificial Intelligence research needs to improve

Agda:

• Agda dependently typed programming language self-paced study group
• Setting up Atom with agda-mode using Nix package manager
• Setting up Atom with agda-mode on Windows 10

Haskell:

• Static code analysis software
• Haskell web frameworks
• Haskell database access libraries

Project management:

• Project management tools
• List of topics that someone would need to assess to conduct a Project Feasibility Study

Funding:

• Crowdfunding