ajsb85

Introduction

A layperson looks at this and sees an incomprehensible mess. A mathematician looks at this and says, "Well, yeah, obviously." A layperson or mathematician who doesn't want to admit they don't comprehend this will also shrug and say, "Well, yeah, obviously." But I don't want you to be one of those people. The problem is that symbolic logic, if you're unfamiliar with it, can be really intimidating on the surface. But I promise you that at the end of this short video, you'll understand everything that's going on here and agree that yes, this is obviously true.

Disclaimer

This video is intended as a primer on first-order logic to help students who are learning this subject for the first time. If it's something that you're already familiar with, this might not be the video for you. Or maybe you'll see a fresh perspective, new ways of thinking about, or new ways to teach the material that you'd never considered before. I probably shouldn't discourage people from watching my own video, but I just w

ajsb85

GNOME Shell Extensions Installer

This script automates the installation of several popular GNOME Shell extensions. It uses the gnome-shell-extension-installer utility to download and install extensions directly from the GNOME Extensions Website.

Features

The script installs the following extensions:

• apps-menu: Adds a GNOME 2.x style menu on the panel.
• auto-move-windows: Automatically assigns windows to specific workspaces.

ajsb85

GNOME Circle App Installer

This script automates the installation of GNOME Circle apps on Ubuntu systems. It attempts to install apps using snap, flatpak, and apt in a non-interactive manner.

Features

• Installs GNOME Circle apps from snap, flatpak, and apt.
• Prioritizes flathub for Flatpak installations.
• Automatically tries the edge channel for missing Snaps (optional).
• Detects and skips already installed apps.

ajsb85

#include <stdio.h>
#include <time.h>
#include <sys/time.h>
#include <unistd.h>
#include <assert.h>

static void set_time(void);
static void get_time(void);

int main(void)

igrr

#include <stdio.h>
#include <time.h>
#include <sys/time.h>
#include <unistd.h>

static void set_time(void);
static void get_time(void);

void app_main(void)
{

vixtory09678

#include <Arduino.h>
#include <mbedtls/aes.h>

#define PROCESS_FAIL -1

int encrypt(uint8_t *input, uint8_t size, uint8_t key[16], uint8_t *encrypt) {
  mbedtls_aes_context encryptContext;
  uint8_t iv[16] = {0};
  int ret = 0;
  

xidameng

// "variant.cpp"

PinDescription g_APinDescription[TOTAL_GPIO_PIN_NUM]=
{
    {PB_2,     NOT_INITIAL, PIO_GPIO | PIO_GPIO_IRQ              , NOT_INITIAL}, //D0
    {PB_1,     NOT_INITIAL, PIO_GPIO | PIO_GPIO_IRQ              , NOT_INITIAL}, //D1
    {PB_3,     NOT_INITIAL, PIO_GPIO | PIO_GPIO_IRQ              , NOT_INITIAL}, //D2
    {PB_31,    NOT_INITIAL, PIO_GPIO | PIO_GPIO_IRQ              , NOT_INITIAL}, //D3
    {PB_30,    NOT_INITIAL, PIO_GPIO | PIO_GPIO_IRQ              , NOT_INITIAL}, //D4
    {PB_28,    NOT_INITIAL, PIO_GPIO | PIO_GPIO_IRQ              , NOT_INITIAL}, //D5

ubidefeo

/* This Sketch is tested on 
 * - Nano 33 RP2040 Connect
 * - Nano 33 IoT
 * - MKR WiFi 1010
 
 To compile and use it requires
 
 Libraries:
 - CNMAT OSC Library (https://github.com/CNMAT/OSC) - Arduino Library Manager
 - Arduino WiFiNINA (https://github.com/arduino-libraries/WiFiNINA) - Arduino Library Manager

b01

#!/bin/sh

# Copyright 2023 Khalifah K. Shabazz
#
# Permission is hereby granted, free of charge, to any person obtaining a
# copy of this software and associated documentation files (the “Software”),
# to deal in the Software without restriction, including without limitation
# the rights to use, copy, modify, merge, publish, distribute, sublicense,
# and/or sell copies of the Software, and to permit persons to whom the
# Software is furnished to do so, subject to the following conditions:

ajsb85

adb tcpip 5555
adb shell ip route
adb connect 10.0.105.13