Search
Results
Programming Language and Theorem Prover — Lean
Everything you need to know about Finch, the latest programming language developed by MIT
[https://thenextweb.com/news/everything-know-about-finch-latest-programming-language-mit] - - public:mzimmerm
GitHub Next | SpecLang
Large language models and the rise of the AI code generators | InfoWorld
[https://www.infoworld.com/article/3696970/llms-and-the-rise-of-the-ai-code-generators.html] - - public:mzimmerm
Review of LLM specialized for code generation
OpenAI Codex - Wikipedia
[https://en.wikipedia.org/wiki/OpenAI_Codex] - - public:mzimmerm
Model which generates code for Python, Javascript, Go, Shell, Perl, Swifg, Ruby, PHP
codellama (Code Llama) - Huggingface model for generating programs. Maybe can be used for Newspeak?
Contempt Culture - The Particular Finest
[https://blog.aurynn.com/2015/12/16-contempt-culture/] - - public:mzimmerm
Contempt to programming languages that are 'not mine'
Programming idioms in any computer language
Wing Programming Language for the Cloud
A Taxonomy of Security Issues
[https://agoric.com/blog/all/taxonomy-of-security-issues/] - - public:mzimmerm
Languages and security - Security of languages, core principles.
The world's least popular programming language - DZone Open Source
The Tragedy of the Common Lisp:. by Mark S. Miller | by Mark S. Miller | Medium
[https://erights.medium.com/the-tragedy-of-the-common-lisp-why-large-languages-explode-4e83096239b9] - - public:mzimmerm