OPFN is developing a purely functional application platform. We call the platform an "operating function" and it is defined as a pure function of its event input stream. The system is based on a principled restriction of lambda calculus using supercombinators.
We hypothesize that by extending typed functional programming to the entire OS environment, small teams will be able to outcompete Big Tech. Our system is fast, provides automatic durable execution, metaprogramming, and has been designed to run with almost no dependencies.
Our exokernel and runtime:
https://github.com/operating-function/pallasPublished at
2024-09-10 12:27:14Event JSON
{
"id": "d6a2f2067489442d4298a2393945ee3639959d48f76f4cda86409f270879054f",
"pubkey": "3889431899a92a33bdfe69154ae5ca286dcedc65e5b86e95802e48b6119a0521",
"created_at": 1725971234,
"kind": 0,
"tags": [
[
"client",
"noStrudel",
"31990:266815e0c9210dfa324c6cba3573b14bee49da4209a9456f9484e5106cd408a5:1686066542546"
]
],
"content": "{\"name\":\"opfn\",\"picture\":\"https://avatars.githubusercontent.com/u/175734748?s=200\u0026v=4\",\"display_name\":\"the Operating Function Company\",\"displayName\":\"the Operating Function Company\",\"about\":\"OPFN is developing a purely functional application platform. We call the platform an \\\"operating function\\\" and it is defined as a pure function of its event input stream. The system is based on a principled restriction of lambda calculus using supercombinators.\\n\\nWe hypothesize that by extending typed functional programming to the entire OS environment, small teams will be able to outcompete Big Tech. Our system is fast, provides automatic durable execution, metaprogramming, and has been designed to run with almost no dependencies.\\n\\nOur exokernel and runtime: https://github.com/operating-function/pallas\",\"website\":\"https://vaporware.network/\",\"pubkey\":\"3889431899a92a33bdfe69154ae5ca286dcedc65e5b86e95802e48b6119a0521\"}",
"sig": "a976c7131eedb1320419bcab01af242e88e5bb987ba10705bef1a7af59c29ef00c781a567c7aa848bfcbf3be521b383f2c9ae66046741b0a4abdf8af99284274"
}