Lauren Yim cherryblossom000

quick recap on complex numbers

Take a number, square it, the result is non-negative. Because positive * positive = positive and negative * negative is positive. Or $0^2 = 0^2$.

But someone wanted to take square roots of negative numbers, so they did, and called it 'i'. $\sqrt{-1} = i$. A lot of people were frustrated upon learning this "You can't do that!", "How do you know that it doesn't lead to contradictions".

The solution, to put imaginary and complex numbers on a solid foundation is something called a ring quotient. What you do is you start with the ring (meaning number system) of polynomials over the real numbers $R[i]$, which looks like this:

$1, 2 3.5, \pi$ etc.
$i, i^2, 0.3 + 9.5 i + 23 i^3$ and so on.

A guide to ANSI on Discord

Discord is now slowly rolling out the ability to send colored messages within code blocks. It uses the ANSI color codes, so if you've tried to print colored text in your terminal or console with Python or other languages then it will be easy for you.

Quick Explanation

To be able to send a colored text, you need to use the ansi language for your code block and provide a prefix of this format before writing your text:

\u001b[{format};{color}m

Second summary by NovaFox161: https://gist.github.com/NovaFox161/74a92ca07353df67a7e73d8c80fbe8cc

Full recording by spiral: https://www.youtube.com/watch?v=MsvemFPvnKs

Permissions V2.01

Foreshadowed for a while
Super super super close.
Didn't want to merge a huge change close to holidays
Testing in Jan-2022 with private group of Devs + mods

DDevs Q&A November 2021 Summary

Forward

This is a nonexhaustive summary of the DDevs Q&A stage. Most of the points below are paraphrased for brevity. Ephasis is my own unless explicitly stated, and my opinions on certain things may shine through. Please refer to a VOD of the stage for the exact wording from the Discord Developers.

Upcoming Features (and demos if available)

App Discoverability (partially released)
- making it easier to find useful fun bots.
- Part of this was the "Add to Server" Button.
Verification is not required for adding the button.

Ian: Well, hello everyone and welcome to the DDev stage channel. So just the heads up before we get started, we're recording this session. So you don't have to, you still can if you want.

Ian: You can share if your friends missed it afterwards. We'll post it. So, my name is Ian, I'm an engineering manager, and I'm joined here by Mason, the product manager for the Bots and API team at Discord along with pretty much the entire Bots team and about 500 of you.

Ian: And today, we're gonna have some fun. We're gathered here for some updates on some of the latest stuff that engineers on the team are building. And we've narrowed it down to four big changes that we've been cooking up. We've managed to get three Discord engineering staff in here and then there's Mason and together, they will talk through some of the changes that we're making.

Ian: And it's honestly very exciting to me just to be able to straight up present our work to the whole community. This is something that we'd like to do more of earlier. So,

macOS, Zsh, and more

The .*shrc file

At the beginning of 2030, I found this essay in my archives. From what I know today, I think it was very insightful at the moment of writing. And I feel it should be published because it can teach us, Rust developers, how to prevent that sad story from happening again.

What killed Haskell, could kill Rust, too

What killed Haskell, could kill Rust, too. Why would I even mention Haskell in this context? Well, Haskell and Rust are deeply related. Not because Rust is Haskell without HKTs. (Some of you know what that means, and the rest of you will wonder for a very long time). Much of the style of Rust is similar in many ways to the style of Haskell. In some sense Rust is a reincarnation of Haskell, with a little bit of C-ish like syntax, a very small amount.

Is Haskell dead?

	<!DOCTYPE html>
	<html lang="en">
	<head>
	<link rel="icon" type="image/x-icon" href="/favicon.ico">
	<title>Rebane's Discord Colored Text Generator</title>
	<meta charset="UTF-8">
	<meta name="description" content="Rebane's Discord Colored Text Generator">
	<meta name="author" content="rebane2001">
	<style>
	/*

	{{FrontSide}}

	<div class="outside"> Answer</div>

	<div class="card-back shadow">

	<div class="back">{{Back}}</div>
	{{#BackOpt}}
	<hr />
	<div class="backopt">{{BackOpt}}</div>

	/*********************************************************************************
	Copyright (c) 2019, Greg Lockwood
	All rights reserved.

	Redistribution and use in source and binary forms, with or without
	modification, are permitted provided that the following conditions are met:

	* Redistributions of source code must retain the above copyright notice, this
	list of conditions and the following disclaimer.