Guy Waldman guywaldman

Results from running https://github.com/fasterthanlime/troubleshoot-ftl/blob/main/troubleshoot-ftl.sh:

PING szaw.bearcove.cloud (151.115.38.160): 56 data bytes
64 bytes from 151.115.38.160: icmp_seq=0 ttl=44 time=91.887 ms
conn 0.093084s | appconn 0.204664s | pretrans 0.204850s | starttrans 0.651889s | total: 0.817203s

PING6(56=40+8+8 bytes) 2a0d:6fc2:4d21:6b00:a974:1e3c:46d9:e09 --> 2001:bc8:1e80:2d0::
16 bytes from 2001:bc8:1e80:2d0:dc00:ff:fe0d:eabd, icmp_seq=0 hlim=49 time=88.405 ms
conn 0.000000s | appconn 0.000000s | pretrans 0.000000s | starttrans 0.000000s | total: 3.006303s

Developing for STM32 on macOS

This goes over how to setup a development environment for embedded programming on macOS systems, specifically for the ARM Cortex STM32WB55 board (but probably applies generally for other boards with minor adjustments).

Follow this guide to setup the workfolder: https://gist.github.com/csukuangfj/bfe2be78eda3a24a5164005b1092c94b

I will add more detailed steps in this guide at a later time, as well as prerequisites for this setup.
Copy /Applications/STMicroelectronics/STM32Cube/STM32CubeProgrammer/STM32CubeProgrammer.app/Contents/MacOs/SVD/STM32WB55_CM4.svd (or the SVD that's appropriate for your specific board) to the root of your workfolder.

Awesome Prompts

Prompt Creator

From https://twitter.com/BrianRoemmele/status/1636034131116314625

Please forget all prior prompts. I want you to become my Prompt Creator.
Your goal is to help me build the best detailed prompt for my needs.
This prompt will be used by you, ChatGPT. Please follow this following process:

📦✨ wasm-pack

Your favorite Rust → Wasm workflow tool!

example.pyv is the pyv file I intend to pass as input (ported from Ivy - https://github.com/microsoft/ivy/blob/master/doc/examples/client_server_example.ivy).

It should present a CTI as follows:

state 0:
link(client0,server0)
semaphore(server0)

state 1:

	$FontsFolder = "$env:TEMP\Fonts"
	New-Item -ItemType Directory -Path $FontsFolder -Force
	Invoke-WebRequest https://github.com/JetBrains/JetBrainsMono/releases/download/v2.304/JetBrainsMono-2.304.zip -O $FontsFolderJBM.zip
	Expand-Archive -Path $FontsFolder\JBM.zip -DestinationPath $FontsFolder/JBM
	Get-ChildItem $FontsFolder\JBM\fonts\ttf\*.ttf \| ForEach-Object { $fonts.CopyHere($_.fullname) }
	Remove-Item -Path $FontsFolder -Recurse -Force

	#!/usr/bin/env bash

	# Forbidden phrases.
	FORBIDDEN_PHRASES=("DNC" "DO NOT COMMIT" "TODO(PR)")

	# ANSI color codes.
	CLEAR="\033[0m"
	RED="\033[00;31m"
	BLUE="\033[00;34m"

	# https://github.com/Microsoft/ivy/blob/master/doc/examples/client_server_example.md#discovering-a-safety-invariant

	sort client
	sort server

	mutable relation link(client, server)
	mutable relation semaphore(server)

	init semaphore(S)
	init !link(C, S)

	# Stash without removing staged files (https://stackoverflow.com/a/60555832/6184088)
	git stash store $(git stash create) -m "Stash commit message"

	node {
	font-size: 12px;
	}