dicej

Classes
* Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking
* Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction
* Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/

Books and Articles
* Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/
* x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html
* Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
* Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/

Alir3z4

import os
import pickle
import warnings

import numpy as np
import pandas as pd
from sklearn.model_selection import train_test_split
from tensorflow.keras.callbacks import EarlyStopping
from tensorflow.keras.layers import Dense
from tensorflow.keras.layers import Dropout

joepie91

The Freenode resignation FAQ, or: "what the fuck is going on?"

IMPORTANT NOTE:

It's come to my attention that some people have been spamming issue trackers with a link to this gist. While it's a good idea to inform people of the situation in principle, please do not do this. By all means spread the word in the communities that you are a part of, after verifying that they are not aware yet, but unsolicited spam is not helpful. It will just frustrate people.

Update 3 (May 24, 2021)

A number of things have happened since the last update.

insin

function updatePasswords() {
  let oldPassword = prompt('Old password:')
  if (!oldPassword) return
  
  let loginManager = Components.classes['@mozilla.org/login-manager;1']
                               .getService(Components.interfaces.nsILoginManager)
  let matchingLogins = loginManager.getAllLogins().filter(l => l.password === oldPassword)
  let matchCount = matchingLogins.length
  if (matchCount === 0) return alert('No matching logins found')

kontez

Backing up and recovering 2FA tokens from FreeOTP

Backing up FreeOTP

Using adb, create a backup of the app using the following command:

adb backup -f freeotp-backup.ab -apk org.fedorahosted.freeotp

abatkin

In order to make Citrix Receiver on Linux function nicely, I have modified the following settings in ~/.ICAClient/All_Regions.ini:

• In [Virtual Channels\Seamless Windows]:
  • Set TWIMode=FALSE
  • This forces the window into true Fullscreen mode (as opposed to Seamless mode where the window happens to be fullscreen - there is a big difference!)
• In [Virtual Channels\Mouse]:
  • Set MouseSendsControlV=False
  • This makes the middle mouse button function as a middle mouse button (as opposed to sending Ctrl+V, which I can't imagine anyone on Earth would actually want)
• In [Virtual Channels\Keyboard]:
• Set TransparentKeyPassthrough=FullScreenOnly

parmentf

Inspired by dannyfritz/commit-message-emoji

See also gitmoji.

Commit type	Emoji
Initial commit	🎉 :tada:
Version tag	🔖 :bookmark:
New feature	✨ :sparkles:
Bugfix	🐛 :bug:

FunTimeCoding

#! /bin/sh
### BEGIN INIT INFO
# Provides:          phd
# Required-Start:    $remote_fs $syslog
# Required-Stop:     $remote_fs $syslog
# Default-Start:     2 3 4 5
# Default-Stop:      0 1 6
# Short-Description: phabricator
# Description:       manages phd
### END INIT INFO

renestein

using System;
using System.Collections.Generic;
using System.Dynamic;
using System.Globalization;
using System.Linq;
using System.Security.AccessControl;
using System.Text;
using System.Threading.Tasks;

namespace Mormegill_test

renestein

public static Func<TA, TResult> DeepSpace9<TA, TResult>(Func<Func<TA, TResult>, Func<TA, TResult>> a)
{
      return
        t => a(DeepSpace9(a))(t); 
}