paldepind

Keybase proof

I hereby claim:

• I am paldepind on github.
• I am paldepind (https://keybase.io/paldepind) on keybase.
• I have a public key ASD8KH9Ww6dB3tn7d8hJkbL3zhgaChfCqHn-T7JnVfjThgo

To claim this, I am signing this object:

paldepind

import 'package:flutter/material.dart';

void main() => runApp(const LogoApp());

double? first = null;

class AnimatedLogo extends AnimatedWidget {
  const AnimatedLogo({super.key, required Animation<double> animation})
      : super(listenable: animation);

paldepind

import 'package:flutter/material.dart';

void main() => runApp(TestApp());

class TestApp extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return MaterialApp(
        home: Theme(
            data: ThemeData(brightness: Brightness.dark),

paldepind

import 'package:flutter/cupertino.dart';

void main() => runApp(TestApp());

class TestApp extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return const CupertinoApp(
        home: CupertinoTheme(
            data: CupertinoThemeData(brightness: Brightness.dark),

paldepind

const fs = require("fs");

const bundle = fs.readFileSync("path-to-webpack-bundle.html", "utf8");

const escaped = JSON.stringify(bundle);
const js = `export default ${escaped}`;

fs.writeFileSync("javascript-output-file.ts", js);

paldepind

From iris.bi Require Import bi.
Import bi.
From iris.proofmode Require Import tactics environments intro_patterns monpred.

Section intuit_to_spatial.
  Context {PROP : bi}.

  Implicit Types Γ Γp Γs : env PROP.
  Implicit Types Δ : envs PROP.
  Implicit Types P Q : PROP.

paldepind

var couchUrl = "foobar";
$.getJSON(couch-url + "view-name-here", function(data) {
    data.rows.forEach(function (doc) {
        $.ajax({
            url: couch-url + doc.value._id + '?rev=' + doc.value._rev,
            type: 'DELETE',
            success: function(result) {
                console.log("Deleted document with id " + doc.value._id);
            }
        });

paldepind

From Coq Require Import QArith Qcanon.
From stdpp Require Export base decidable option numbers.

(* Strictly positive rationals *)

(* Positive fractions. *)
Record Qpos : Set := mk_Qpos {
  Qpos_num : positive;
  Qpos_den : positive
}.

paldepind

module Experiment
  ( mapHeterogenousRecord
  , mapRecordBuilder
  , class MapRecord
  ) where

import Prelude

import Prim.Row as Row
import Prim.RowList as RL

paldepind

            DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE
                    Version 2, December 2004

 Copyright (C) 2014 Simon Friis Vindum <simon@vindum.io>

 Everyone is permitted to copy and distribute verbatim or modified
 copies of this license document, and changing it is allowed as long
 as the name is changed.

            DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE