Skip to content

Instantly share code, notes, and snippets.

View Kaleidosium's full-sized avatar

Dania Rifki Kaleidosium

View GitHub Profile
@exelotl
exelotl / tonc-dark.user.css
Last active June 4, 2023 21:09
Dark theme for the Tonc GBA tutorial
/* ==UserStyle==
@name Tonc Dark
@namespace exelo.tl
@version 1.0.4
@description A dark theme for the Tonc GBA tutorial, based on Water.css
@updateURL https://gist.githubusercontent.com/exelotl/b6b1592a910ae7914e48fda14c593cd3/raw/tonc-dark.user.css
@author exelotl
==/UserStyle== */
@-moz-document url-prefix("https://www.coranac.com/tonc/text/"), url-prefix("https://coranac.com/tonc/text/"), url-prefix("http://www.coranac.com/tonc/text/"), url-prefix("http://coranac.com/tonc/text/") {
@exelotl
exelotl / gbatek-dark.user.css
Last active June 4, 2023 21:09
GBATEK dark theme
/* ==UserStyle==
@name GBATEK Dark
@namespace exelo.tl
@version 1.0.2
@description GBATEK dark userstyle based on Water.css
@updateURL https://gist.githubusercontent.com/exelotl/8bdb37470e16174f668a54be62094cef/raw/gbatek-dark.user.css
@author exelotl
==/UserStyle== */
@-moz-document url("http://problemkaputt.de/gbatek.htm"),
url("https://problemkaputt.de/gbatek.htm"),
@IanColdwater
IanColdwater / twittermute.txt
Last active August 18, 2025 07:02
Here are some terms to mute on Twitter to clean your timeline up a bit.
Mute these words in your settings here: https://twitter.com/settings/muted_keywords
ActivityTweet
generic_activity_highlights
generic_activity_momentsbreaking
RankedOrganicTweet
suggest_activity
suggest_activity_feed
suggest_activity_highlights
suggest_activity_tweet
@pngwn
pngwn / ssg.md
Last active June 20, 2025 06:22
A Simple Svelte SSG.

The Simplest Svelte Static Site Generator

Assuming you don't want to statically export a Sapper app, most of the parts to build a simple SSG for Svelte already exist. The only thing that is missing is the tooling ('only').

However, you don't need a lot to get things going: just a couple of rollup builds and a config file will get you most of the way there. Just some glue.

What follows is a bunch of rambling, half thought out thoughts on how I would probably go about this. Most of the stuff discussed here is stuff I've actually done or half done or am in the process of doing with varying degrees of success. It is something I'll be spending more time on in the future. There are other things I have done, want to do, or think would be a good idea that are not listed here as they don't fall into the scope of a simple SSG.

*Dislaimer: This is how I would build an SSG, this isn't the only way, but I like this approach as there are a bunch of compile-time optimisations you can per

Foreward

This document was originally written several years ago. At the time I was working as an execution core verification engineer at Arm. The following points are coloured heavily by working in and around the execution cores of various processors. Apply a pinch of salt; points contain varying degrees of opinion.

It is still my opinion that RISC-V could be much better designed; though I will also say that if I was building a 32 or 64-bit CPU today I'd likely implement the architecture to benefit from the existing tooling.

Mostly based upon the RISC-V ISA spec v2.0. Some updates have been made for v2.2

Original Foreword: Some Opinion

The RISC-V ISA has pursued minimalism to a fault. There is a large emphasis on minimizing instruction count, normalizing encoding, etc. This pursuit of minimalism has resulted in false orthogonalities (such as reusing the same instruction for branches, calls and returns) and a requirement for superfluous instructions which impacts code density both in terms of size and

@stepney141
stepney141 / BookmarkAPI_en.md
Last active April 4, 2023 01:45
(DEPRECATED) Twitter Undocumented Endpoints for Bookmark
@JoeyBurzynski
JoeyBurzynski / 55-bytes-of-css.md
Last active August 4, 2025 13:45
58 bytes of css to look great nearly everywhere

58 bytes of CSS to look great nearly everywhere

When making this website, i wanted a simple, reasonable way to make it look good on most displays. Not counting any minimization techniques, the following 58 bytes worked well for me:

main {
  max-width: 38rem;
  padding: 2rem;
  margin: auto;
}
@Eiyeron
Eiyeron / eb_shader.glsl
Last active November 10, 2021 13:25
Earthbound-ish background shader
/*
Copyright © 2019, Florian Dormont
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
The Software is provided “as is”, without warranty of any kind, express or implied, including but not limited to the warranties of merchantability, fitness for a particular purpose and noninfringement. In no event shall the authors or copyright holders X be liable for any claim, damages or other liability, whether in an action of contract, tort or otherwise, arising from, out of or in connection with the software or the

1. Separation of immutable and mutable logic

Quite a lot of different people have been on the same trail of thought. Gary Bernhardt's formulation of a "functional core, imperative shell" seems to be the most voiced.

"Boundaries" - Gary Bernhardt

"Imperative shell" that wraps and uses your "functional core".. The result of this is that the shell has fewer paths, but more dependencies. The core contains no dependencies, but encapsulates the different logic paths. So we’re encapsulating dependencies on one side, and business logic on the other side. Or put another way, the way to figure out the separation is by doing as much as you can without mutation, and then encapsulating the mutation separately. Functional core — Many fast unit tests. Imperative shell — Few integration tests

https://www.youtube.com/watch?v=yTkzNHF6rMs

@sinclairtarget
sinclairtarget / bernoulli.c
Created August 17, 2018 20:22
Lovelace's Note G Program in C
#include <stdio.h>
/*
* Calculates what Ada Lovelace labeled "B7", which today we would call the 8th
* Bernoulli number.
*/
int main(int argc, char* argv[])
{
// ------------------------------------------------------------------------
// Data