Skip to content

Instantly share code, notes, and snippets.

View cherryblossom000's full-sized avatar

Lauren Yim cherryblossom000

38 followers · 28 following
View GitHub Profile
@rain-1
rain-1 / ring.md
Created June 26, 2022 18:45
Ring Quotient For Programmers

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.
@rebane2001
rebane2001 / discord-colored-text-generator.html
Last active May 21, 2024 11:36
https://rebane2001.com/discord-colored-text-generator/
<!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>
/*
@kkrypt0nn
kkrypt0nn / ansi-colors-discord.md
Last active May 18, 2024 14:10
A guide to ANSI on Discord

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

\u001b is the unicode escape for ESCAPE/ESC, meant to be used in the source of your bot (see ). If you wish to send colored text without using your bot you need to copy the character from the website.

@Stalruth
Stalruth / stage_2021-12-18.md
Last active May 10, 2022 10:00
December 2021 Discord Developer stage
@NovaFox161
NovaFox161 / summary.md
Last active August 18, 2023 02:05
DDevs Q&A Summary 22/11/2021

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.
@soya-daizu
soya-daizu / qa_transcript.md
Last active May 10, 2022 10:00

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,

@Linerre
Linerre / Setting $PATH for zsh on macOS.md
Last active May 15, 2024 05:34
Properly setting $PATH for zsh on macOS (fighting with path_helper)
@leiteg
leiteg / back.html
Last active September 4, 2022 20:41
Anki theme with Dracula-inspired colors.
{{FrontSide}}
<div class="outside"> Answer</div>
<div class="card-back shadow">
<div class="back">{{Back}}</div>
{{#BackOpt}}
<hr />
<div class="backopt">{{BackOpt}}</div>
@graninas
graninas / What_killed_Haskell_could_kill_Rust.md
Last active March 18, 2024 14:57
What killed Haskell, could kill Rust, too

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?

@greglockwood
greglockwood / no-extra-properties.ts
Last active August 6, 2023 21:18
NoExtraProperties<T> TypeScript type
/*********************************************************************************
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.