Skip to content

Instantly share code, notes, and snippets.

View micimize's full-sized avatar

Michael Joseph Rosenthal micimize

  • San Francisco, CA
View GitHub Profile
@micimize
micimize / vim_buftab_nerdtree.vim
Created December 13, 2020 20:12
Get NERDTreeTabs behavior, without the tabs
" https://github.com/jistr/vim-nerdtree-tabs
" display list of buffers like tabs
Plugin 'ap/vim-buftabline'
" claims to solve w/wq edge cases and I believe them
Plugin 'mhinz/vim-sayonara'
" automatically enter/exit paste on inhuman input speed
" added because paste disables abbreviations,
@micimize
micimize / language.md
Last active October 13, 2020 22:22
An ill-formed model for language that could potentially be useful in AGI work

My Model of Language

My current model of natural language is that it could and should be modeled as a programming language, and that this modeling could prove fruitful, and possibly vital for producing AGI

Expression Rewriting Interpreter

If language is code, it is fundamentally a pure expression rewrite system, like Wolfram. This is the root of the "signs only point to signs" problem, concretion is only possible at runtime. Looseness can be afforded because of the robustness and extensibility of its interpreter.

All language concepts available present in their final form. The haskell type system has nothing on our type system. Expressions can be curried, transformed, inverted, dereferenced. None of this is surprising – programming languages constructs are mostly formalized derived from natural language (mostly english).

Evalation at Runtime

@micimize
micimize / englishify.md
Last active October 15, 2020 00:25
idea for how programming could be written in almost english
* "traveral" here is from Lazy Depth First Traversal
* "lazily take each" here is from Iterators

To lazily group the connected components given a collection of nodes:
    First, mark all nodes unseen.
    Then, with a traversal that can stop early when unmarkable
    lazily take each node from unseen,
    grouping the traversal of that node into a component
@micimize
micimize / amqdn-crl.ipynb
Created July 3, 2020 16:51 — forked from amqdn/amqdn-crl.ipynb
Implementing Class Rectification Loss in fast.ai
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
extension FetchMore on GraphQLClient {
/// fetch more results and then merge them with [previousResult]
/// according to [FetchMoreOptions.updateQuery]
Future<QueryResult> fetchMore(
FetchMoreOptions fetchMoreOptions, {
@required QueryOptions options,
@required QueryResult previousResult,
/// rebroadcast other queries unless caching is disabled
/// for this query via `options`
@micimize
micimize / 1_fastlane_github_ci.md
Last active May 5, 2020 19:36
Notes from troubleshooting fastlane CI/CD with github actions (iOS only atm)

My #1 piece of advice here is that if you're an independent app developer using a personal apple id, put CI/CD off for a while and just release from local. Just because something can be automated doesn't mean it should

In hindsight, implementing CI before feeling the crunch to scale was not worth the time and was a premature optimization. Being [enrolled as an Organization][enroll] also allows for easier and more idiomatic setups.

  • Read the [fastlane CI best practices][best_practices] and these tips before getting started, not just for troubleshooting

  • You're in a very slow troubleshooting loop where you need to push-to-test.

Loose Lockbot Thoughts

Closed issue threads, even very old ones, have a great deal of utility to project communities. They are a common place for users to share workarounds, caveats, and link to related issues.

Instead of simply locking a thread, if we could:

  • automatically unsubscribe maintainers (and comment "tag {maintainer} if and only if this is still an issue")
  • comment and label the issue accordingly
import 'package:flutter/material.dart';
void main() => runApp(MyApp());
class MyApp extends StatelessWidget {
@override
Widget build(BuildContext context) {
return MaterialApp(
title: 'Flutter Demo',
debugShowCheckedModeBanner: false,
@micimize
micimize / init_gcloud_sql.sh
Created April 8, 2020 15:41
snipped I might later use as part of an idempotent google cloud deployment script
description=$(gcloud sql instances describe $DB 2>&1)
if [ $? -ne 0 ]
then
if [[ $description == *HTTPError* ]]
then
gcloud sql instances create $ \
--database-version=POSTGRES_12 \
--cpu=1 --memory=614MB \
--region=us-central1