[ / / / / / / / / / / / / / ] [ dir / random / 93 / biohzrd / hkacade / hkpnd / tct / utd / uy / yebalnia ]

/templeos/ - The 64-Bit Temple Operating System

Discuss God and Code.

Name
Email
Subject
REC
STOP
Comment *
File
Password (Randomized for file and post deletion; you may also set your own.)
Archive
* = required field[▶Show post options & limits]
Confused? See the FAQ.
Flag
Embed
(replaces files and can be used instead)
Options
dicesidesmodifier

Allowed file types:jpg, jpeg, gif, png, webp,webm, mp4, mov, swf, pdf
Max filesize is16 MB.
Max image dimensions are15000 x15000.
You may upload5 per post.


File: 3bd2d6a45c8a9bd⋯.jpg (12.16 KB,256x256,1:1,3bd2d6a45c8a9bd95984b8ecb1….jpg)

 No.1560

Hey, guys, I re-wrote Temple in Haskell, with (dependent) Holyskell in place of HolyC. It runs fucking great. Why? Because God is a Monad.

Briefer for plebs:

https://en.wikipedia.org/wiki/Monad_(philosophy)

https://en.wikipedia.org/wiki/Monad_(functional_programming)

I've been working on this for the past year, and haven't said anything about it because

1. Networking sucks and I don't give a shit what anyone has to say insofar as input about my transliteration of the word of God

2. The word of God speaks directly. And God told me exactly how and why to do this. I'd explain it, but it'd probably melt all of you to death like the ark of the covenant.

Anyway, I was trying to use Coq a year ago to generate proofs based off of Wittgenstein's Tractatus Logico-Philisophicus. At the same time, I was dicking around with Kaballah based programs using OCaml. Long story short, I ran into some type errors and then just gave them their own Satan type and then made them work - wound up writing a fork of Haskell that uses dependent types that depend on type errors, i.e. using Satans to define the functions of God. I like to call it Holy Algebra, because it seems like it shouldn't prove, but it does, in both Coq and Agda. What's great is that it's, like, confirmation that God is perfect even with the "errance" of Lucifer. And it compiles, and I fucking rewrote Temple in it. Sorry if this is Schismatic.

Anyway, here's the github link for it. Happy installing:

{redacted by nigger CIA}

____________________________
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.

 No.1566

>>1560

You got me excited

Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.

 No.1589

>>1560

Intresting concept, but Haskell is shit.

Use C hipster nigger. I wish XMonad had some of the spriting features of TempleOS though.

Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.

 No.1592

bump;

Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.



[Return][Go to top][Catalog][Nerve Center][Random][Post a Reply]
Delete Post [ ]
[]
[ / / / / / / / / / / / / / ] [ dir / random / 93 / biohzrd / hkacade / hkpnd / tct / utd / uy / yebalnia ]