Today, I would like to talk about something less technical and more philosophical, something that is not explicitly related to technology, programming, and mathematics but instead leaves space for loose thoughts and interpretation. Every once in a while, I like … Read more
When I was eight years old, I had a profound realization: once you know how to read, it’s impossible not to. If you see the letters c-h-a-i-r in sequence, your mind conjures sit-able 4-legged furniture. You don’t choose to read … Read more
Ć is a programming language which can be translated automatically to C, C++, C#, Java, JavaScript, Python, Swift, TypeScript and OpenCL C. Instead of writing code in all these languages, you can write it once in Ć: public class HelloCi … Read more
Things are too quiet lately, so maybe its time to start a fun thread. I used this question as a lead in to a presentation on live programming I recently gave at a working group, but I thought it would … Read more
Pen is a statically typed functional programming language for application programming with system injection. Its design is heavily inspired by the Go programming language and many functional programming languages like Haskell and Koka. Vision Pen aims to make large-scale software … Read more
Introduction A strongly-typed and statically-compiled high-performance Pythonic language! Seq is a programming language for computational genomics and bioinformatics. With a Python-compatible syntax and a host of domain-specific features and optimizations, Seq makes writing high-performance genomics software as easy as writing … Read more
k programming language (atom list dict) kx.com kdb universal database (store anything. compute anything. fast.) examples adventofcode $k s:2 / atom(scalar) v:2 3 4 / list(vector) s+v 4 5 6 m:(v;3 4 5) / list(matrix) +/m / + over 5 … Read more
A language for Geometry Dash triggers. An easy way to create levels using code. SPWN is a programming language that compiles to Geometry Dash levels. What that means is that you can create levels by using not only the visual … Read more
GitHub – bobeff/programming-math-science: This is a list of links to different freely available learning resources about computer programming, math, and science. {{ message }} Files Permalink Failed to load latest commit information. Type Name Latest commit message Commit time Aug … Read more
The ATS Programming Language Unleashing the Potentials of Types and Templates! ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, … Read more