Earth (which is sadly still a place where bogus ppl at times can make things difficult for those who they don't like (just cuz they can, esp towards those who don't fit into the box).) When AGI + FormalVerification get good, AGI GOV is a must.

Open code, open bureaucracy – stop bogus visa rejections (ACCOUNT ARCHIVED)

Expert
@archived-aft-bogus-german-visa-rejectio

OSS will solve many problems in this world when we can enforce AGI government where bureaucracy bs don't happen, as less humans get involved in decision-making.

insomnium. Insomnium is a fast local API testing tool that is privacy-focused and 100% local. For testing GraphQL, REST, WebSockets and gRPC. This is a fork of Kong/insomnia

3.5k

meteor-ace-editor. Asynchronously loading Ace Editor to a Meteor app. Ace version in used: 1.2.1

11

Template-Butler. writing DRY client-side JS with dependency for templates in Meteor.

8

wechaty-log-monitor. a Wechaty plugin for log-related DevOps. Fully functional! Very Loose coupling! Pretty much pure (other than side effects in I.O.)!

5

cloud-computer. ☁️ The Cloud Native Computer

3

Haskell-DPLL-SAT-Solver. Classical DPLL Algorithm for solving SAT

2

StructurallyRecursiveGameOfLife. Most functions are structurally recursive

2

unorthodox. The landing page of http://unorthodox.education

1

M-iOS-app-from-the-past. (project abandoned) The iOS client for M.

1
9
Apply