Amaan Cheval AmaanC
AmaanC
/ Demos or Illusions to recreate.md
Last active
November 16, 2025 23:53
AmaanC
/ bananapi-panel-ilitek-ili9881c.c
Last active
February 6, 2020 16:04
A comparison between the Linux 5.5 ILI9881C panel driver vs. the one for BananaPi in buildroot
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // SPDX-License-Identifier: GPL-2.0+ | |
| /* | |
| * Copyright (C) 2017, Free Electrons | |
| * Author: Maxime Ripard <maxime.ripard@free-electrons.com> | |
| */ | |
| #include <linux/delay.h> | |
| #include <linux/device.h> | |
| #include <linux/err.h> | |
| #include <linux/errno.h> |
AmaanC
/ writeup.md
Created
August 29, 2019 08:34
— forked from edmundsmith/writeup.md
Method for Emulating Higher-Kinded Types in Rust
I've been fiddling about with an idea lately, looking at how higher-kinded types can be represented in such a way that we can reason with them in Rust here and now, without having to wait a couple years for what would be a significant change to the language and compiler.
There have been multiple discussions on introducing higher-ranked polymorphism into Rust, using Haskell-style Higher-Kinded Types (HKTs) or Scala-looking Generalised Associated Types (GATs). The benefit of higher-ranked polymorphism is to allow higher-level, richer abstractions and pattern expression than just the rank-1 polymorphism we have today.
As an example, currently we can express this type:
AmaanC
/ plfa-naturals-exercise-01-binary-representation-to-from.agda
Last active
November 27, 2018 11:01
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- My solution to: | |
| -- https://plfa.github.io/Naturals/#Bin | |
| import Relation.Binary.PropositionalEquality as Eq | |
| open Eq using (_≡_; refl) | |
| open Eq.≡-Reasoning using (begin_; _≡⟨⟩_; _∎) | |
| data ℕ : Set where | |
| zero : ℕ | |
| suc : ℕ → ℕ |
AmaanC
/ gsoc-commits-dump.md
Last active
August 16, 2018 15:44
AmaanC
/ podcasts.md
Created
December 10, 2017 06:36
Entertainment:
- Radiolab (the further back you go, the more science-y they get)
- This American Life
- Serial
- Invisibilia
- youarenotsosmart
Tech ones you may or may not be into:
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| main.wasm: main.c call-indirect.ll | |
| emcc $^ -o $@ \ | |
| -O3 \ | |
| -s LEGALIZE_JS_FFI=0 \ | |
| -s WASM=1 -s SIDE_MODULE=1 \ | |
| -g4 | |
| .PHONY: serve | |
| serve: main.wasm loader.js index.html | |
| python3 -m http.server 8888 |
AmaanC
/ mmx-instructions.md
Created
June 5, 2017 13:19
https://github.com/AmaanC/v86/commits/mmx-instructions
- emms
- movd
- movq
- packssdw
- packsswb
- packuswb
- paddb
- paddd
AmaanC
/ wikipedia-links.md
Created
May 20, 2017 14:25
A list of Wikipedia links I've found interesting enough to share with someone
- https://en.wikipedia.org/wiki/Blinkenlights
- https://en.wikipedia.org/wiki/Actor_model
- https://en.wikipedia.org/wiki/International_Space_Station#Assembly
- https://en.wikipedia.org/wiki/GmailFS
- https://en.wikipedia.org/wiki/Coreboot#Initializing_DRAM
- https://en.wikipedia.org/wiki/Coreboot
- https://en.wikipedia.org/wiki/Core_rope_memory
- https://en.wikipedia.org/wiki/Linkage_(mechanical)#Image_gallery
- https://en.wikipedia.org/wiki/Internet_protocol_suite
AmaanC
/ how-to-oscp-final.md
Created
December 26, 2016 11:06
— forked from unfo/how-to-oscp-final.md
NewerOlder