Skip to content

Instantly share code, notes, and snippets.

View raspberrypisig's full-sized avatar

raspberrypisig

10 followers · 1 following
View GitHub Profile
@raspberrypisig
raspberrypisig / heatpump.md
Created November 8, 2025 01:18
@raspberrypisig
raspberrypisig / ConceptsAndSynchronizations.txt
Created November 7, 2025 12:10
https://arxiv.org/html/2508.14511v2#S4
4. Concept Specifications
Our specification language is mostly informal, except for the definition of state components and action signatures. Here, for example, is a specification for a Password authentication concept.
concept Password [U]
purpose
to securely store and validate user credentials
state
password: U -> string
salt: U -> string
@raspberrypisig
raspberrypisig / rust-books.md
Created November 6, 2025 02:53
@raspberrypisig
raspberrypisig / Automation-rassl-dsl.rs
Last active November 4, 2025 11:23
rule! {
name: "door_alert",
on: rising(door_sensor),
if: wake_hours,
then:
buzzer = on,
wait: 5s,
buzzer = off;
}
@raspberrypisig
raspberrypisig / Awesome-hassl.md
Created November 4, 2025 02:12
@raspberrypisig
raspberrypisig / Wled_esp32c6.md
Last active November 5, 2025 03:00
@raspberrypisig
raspberrypisig / Idea-gui-app.md
Created November 1, 2025 21:06
@raspberrypisig
raspberrypisig / bs4demo.py
Last active November 1, 2025 03:45
from bs4 import BeautifulSoup
def bs4demo():
html = """
<table>
<tr>
<th>Name</th>
<th>Age</th>
</tr>
<tr>
@raspberrypisig
raspberrypisig / bom128.md
Created November 1, 2025 03:28
@raspberrypisig
raspberrypisig / pearls-of-wisdom.md
Created October 28, 2025 02:02