Navdeep Singh Rathore nsrCodes

Practical Type Coercion

A quick summary of how the author sees type coercion / casting / conversion in programming languages, followed by a somewhat novel proposal.

Type casting is a special form of functional programming, where we rewrite a function B(source:A, options...) as a cast operation A -> B<options...>, where B is now a type template, and options... is an optional list of auxiliary compile time constants that become attributes of the type template.

Type casting is effectively data conversion. You have source data in format A that you would like to transform to target data in format B. And as in actual data conversion, we have two levels of quality:

Lossless conversion, which transforms the data without destroying information, which means the conversion is invertible, the mapping is bijective and time-symmetrical. Some examples of a lossless conversion are "big endian to little endian", "upcast type to tagged union", "sign-extend integer from 32-bit to 64-bit",

Option 1: Via macOS environment variable:

mkdir -p ~/Library/LaunchAgents
Put tlskeylogger.plist at ~/Library/LaunchAgents/tlskeylogger.plist
launchctl load ~/Library/LaunchAgents/tlskeylogger.plist, so it will load on the next restart
launchctl start ~/Library/LaunchAgents/tlskeylogger.plist, so it will load the environment variable immediately
Restart your browser(s)
See how TLS keys are being written to ~/.tlskeyfile via tail -f ~/.tlskeyfile

NB: This may be hit or miss and many apps do not respect the env var.

Introduction

Hi everyone! Today I'm going to be giving you a crash course in video processing using Python. Coming out of this talk, you'll be able to take video from pretty much any source, decode it, apply visual effects, and display it on-screen. To do this, we're going to be using a library named GStreamer, an incredibly powerful and versatile framework. This is the same tool that the pros use, but don't feel intimidated! GStreamer actually makes it very easy to do impressive things with video and you'll be well on your way to making something great in just the time it takes to watch this talk.

If you fall behind at any point during the live presentation, don't worry! I have a text version of this talk available with the same content and more. There should be a link in the description.

Installing Dependencies

Let's start by installing everything we'll need to start using GStreamer in Python. This is probably the hardest part, so if you managed to do it before this talk, it's all smooth sailing fro

Learning Rust

The following is a list of resources for learning Rust as well as tips and tricks for learning the language faster.

Warning

Rust is not C or C++ so the way your accustomed to do things in those languages might not work in Rust. The best way to learn Rust is to embrace its best practices and see where that takes you.

The generally recommended path is to start by reading the books, and doing small coding exercises until the rules around borrow checking become intuitive. Once this happens, then you can expand to more real world projects. If you find yourself struggling hard with the borrow checker, seek help. It very well could be that you're trying to solve your problem in a way that goes against how Rust wants you to work.

Semantic Commit Messages

See how a minor change to your commit message style can make you a better programmer.

Format: <type>(<scope>): <subject>

<scope> is optional

	#!/bin/bash

	# Production Docker Host Setup Script
	# This script sets up a secure, production-ready Docker host on Ubuntu Server 22.04 LTS
	# It includes security hardening, performance optimizations, and best practices
	# CAUTION: This script makes significant system changes. Use at your own risk.

	set -euo pipefail

	# --- AESTHETICS ---

	"""
	stable diffusion dreaming
	creates hypnotic moving videos by smoothly walking randomly through the sample space

	example way to run this script:

	$ python stablediffusionwalk.py --prompt "blueberry spaghetti" --name blueberry

	to stitch together the images, e.g.:
	$ ffmpeg -r 10 -f image2 -s 512x512 -i blueberry/frame%06d.jpg -vcodec libx264 -crf 10 -pix_fmt yuv420p blueberry.mp4

	/**
	* This Gist is part of a medium article - read here:
	* https://jamiecurnow.medium.com/using-firestore-with-typescript-65bd2a602945
	*/

	// import firstore (obviously)
	import { firestore } from "firebase-admin"

	// Import or define your types
	// import { YourType } from '~/@types'

	#! /bin/bash

	# ECHO COMMAND
	# echo Hello World!

	# VARIABLES
	# Uppercase by convention
	# Letters, numbers, underscores
	NAME="Bob"
	# echo "My name is $NAME"

	daemon off;

	worker_processes auto;

	error_log /var/log/nginx/error.log debug;

	events {
	worker_connections 1024;
	}