Oops
Anirudh Oppiliappan x@icyphox.sh
Wed, 22 Jul 2020 15:57:02 +0530
4 files changed,
16 insertions(+),
23 deletions(-)
M
pages/blog/2020-07-20.md
→
pages/blog/2020-07-20.md
@@ -16,10 +16,8 @@
I've begun working as an Engineering Intern at [CometChat](https://www.cometchat.com). It's been a very interesting experience so far. Most of my work revolves around infrastructure and -platform engineering -- pretty exciting stuff. Fun fact: one of the -world's biggest music festivals -- Tomorrowland -- is being hosted -online, on our platform! As a result, a lot of the work being done -infra-side is scaling up for it. +platform engineering -- pretty exciting stuff. [Oops, redacted] + I have also been extensively dabbling in XMPP and websocket internals, as I'm writing a websocket proxy of sorts. I'll probably talk about it
M
pages/blog/feed.xml
→
pages/blog/feed.xml
@@ -21,10 +21,7 @@
<p>I’ve begun working as an Engineering Intern at <a href="https://www.cometchat.com">CometChat</a>. It’s been a very interesting experience so far. Most of my work revolves around infrastructure and -platform engineering—pretty exciting stuff. Fun fact: one of the -world’s biggest music festivals—Tomorrowland—is being hosted -online, on our platform! As a result, a lot of the work being done -infra-side is scaling up for it.</p> +platform engineering—pretty exciting stuff. [Oops, redacted]</p> <p>I have also been extensively dabbling in XMPP and websocket internals, as I’m writing a websocket proxy of sorts. I’ll probably talk about it
M
pages/txt/2020-07-20.txt
→
pages/txt/2020-07-20.txt
@@ -16,10 +16,8 @@
I've begun working as an Engineering Intern at [CometChat](https://www.cometchat.com). It's been a very interesting experience so far. Most of my work revolves around infrastructure and -platform engineering -- pretty exciting stuff. Fun fact: one of the -world's biggest music festivals -- Tomorrowland -- is being hosted -online, on our platform! As a result, a lot of the work being done -infra-side is scaling up for it. +platform engineering -- pretty exciting stuff. [Oops, redacted] + I have also been extensively dabbling in XMPP and websocket internals, as I'm writing a websocket proxy of sorts. I'll probably talk about it
M
templates/text.html
→
templates/text.html
@@ -48,10 +48,15 @@ <hr>
<div class="openring"> <div class="openring-feed"> - <h4><a href="https://k1ss.org/blog/20200625a">25/06/2020: This month in KISS (#3)</a></h4> - <p>Welcome to the third monthly update for KISS Linux. The focus this month was on documentation and the reopening of the distribution's Wiki. A big thank you to those filling the Wiki with words.…</p> + <h4><a href="https://peppe.rs/posts/turing_complete_type_systems/">Turing Complete Type Systems</a></h4> + <p>Rust’s type system is Turing complete: + +FizzBuzz with Rust Traits +A Forth implementation with Rust Traits + +It is impossible to determine if a program written in a generally Turing complete system will ever stop. That is, it is impossible to write a program…</p> - <p>via <a href="https://k1ss.org">KISS Linux Blog</a> on Jun 25, 2020</p> + <p>via <a href="https://peppe.rs">nerdypepper's μblog</a> on Jun 18, 2020</p> </div>@@ -69,15 +74,10 @@ </div>
<div class="openring-feed"> - <h4><a href="https://peppe.rs/posts/turing_complete_type_systems/">Turing Complete Type Systems</a></h4> - <p>Rust’s type system is Turing complete: + <h4><a href="https://k1ss.org/blog/20200625a">25/06/2020: This month in KISS (#3)</a></h4> + <p>Welcome to the third monthly update for KISS Linux. The focus this month was on documentation and the reopening of the distribution's Wiki. A big thank you to those filling the Wiki with words.…</p> -FizzBuzz with Rust Traits -A Forth implementation with Rust Traits - -It is impossible to determine if a program written in a generally Turing complete system will ever stop. That is, it is impossible to write a program…</p> - - <p>via <a href="https://peppe.rs">nerdypepper's μblog</a> on Jun 18, 2020</p> + <p>via <a href="https://k1ss.org">KISS Linux Blog</a> on Jun 25, 2020</p> </div>