Skip to content

Instantly share code, notes, and snippets.

View dellamora's full-sized avatar
:shipit:
^^

Francielle Dellamora dellamora

:shipit:
^^
View GitHub Profile
@dellamora
dellamora / madarawasright.md
Last active January 13, 2025 23:03
So here's why Madara actually had a point in Naruto (stay with me on this)
placeholder image

The more I analyze Madara's perspective, the more it makes sense. Let me break this down:

First off, let's talk about how fundamentally messed up the ninja world is. The Uchiha's power system is literally built on trauma (you have to experience severe emotional pain to unlock the Sharingan. That's not even getting into the Mangekyo, which requires watching someone you love die. The system is designed around suffering.)

The "Village System" is Just Institutionalized Violence

Workout Series A

  • Hip Thrust Machine

    • Sets: 5
    • Reps: 12x
  • Bulgarian Split Squat

    • Sets: 4
    • Reps: 12x
  1. Base/Empty/Empty.agda
  2. Base/Unit/Unit.agda
  3. Base/Bool/Bool.agda
  4. Base/Char/Char.agda
  5. Base/Nat/Nat.agda
  6. Base/String/String.agda
  7. Base/List/List.agda
  8. Base/Maybe/Maybe.agda
  9. Base/Pair/Pair.agda
  10. Base/Equal/Equal.agda
File: UG/SM/remove-future-states.agda
Dependencies:
Base/Nat/Nat.agda
Base/Nat/add.agda
UG/SM/SM.agda
UG/SM/StateLogs/StateLogs.agda
UG/SM/StateLogs/find-rollback-amount.agda
UG/SM/StateLogs/rollback.agda
UG/SM/Tick/Tick.agda

ARC/DSL/Functions/

0/

  • add.agda
  • apply.agda
  • compose.agda
  • container-to-list.agda
  • dedupe.agda
  • equality.agda
  • first.agda
  • greater.agda
0 ARC/DSL/Functions/add.agda
0 ARC/DSL/Functions/apply.agda
0 ARC/DSL/Functions/compose.agda
0 ARC/DSL/Functions/container-to-list.agda
0 ARC/DSL/Functions/dedupe.agda
0 ARC/DSL/Functions/equality.agda
0 ARC/DSL/Functions/first.agda
0 ARC/DSL/Functions/greater.agda
0 ARC/DSL/Functions/int-cmp.agda
0 ARC/DSL/Functions/leastcommon.agda
Weekly Workout Plan
Monday: Glutes and Legs
1. Barbell Squats - 4 sets of 10-12 reps
2. Lunges (with dumbbells) - 3 sets of 10-12 reps (each leg)
3. Abductor Machine - 3 sets of 12-15 reps
4. Stiff-Legged Deadlift - 4 sets of 10-12 reps
5. Hip Thrusts - 3 sets of 12-15 reps
@dellamora
dellamora / .agda
Last active September 11, 2024 18:44
-- Type
module Data.U64.Type where
open import Data.Nat.Type
open import Data.Bool.Type
-- Represents a 64-bit machine word.
postulate U64 : Set
{-# BUILTIN WORD64 U64 #-}
@dellamora
dellamora / vaga-desenvolvedor-senior.md
Last active July 17, 2024 00:52
Vaga: Desenvolvedor(a) com Experiência em Programação Funcional [PJ] [REMOTO] [Gamedev]
Shinomiya_Kaguya_Holding_Haskell_Programming

Olá, pessoal!

Estamos à procura de um(a) desenvolvedor(a) sênior com experiência em programação funcional e interesse em desenvolvimento de jogos!

Sobre o Projeto

@dellamora
dellamora / JSON
Created April 5, 2023 16:44
Response from a GraphQL query
{
"data": {
"characters": {
"results": [
{
"name": "Rick Sanchez",
"gender": "Male",
"status": "Alive"
},
{