lukestanley

"""
# MIT License (c) Luke Stanley 2024
AIOHTTP server to save webpage text changes with timestamps.
Prints changes to the console and saves them to 'changes.jsonl' in the background.

Dependencies: aiohttp, asyncio

Install: pip install aiohttp
Run: python3 logging_server_aio.py

lukestanley

lukestanley

Despite best intentions, for my own failings, I found the exchange between my good friend David Pearce and the influential Connor Leahy hard to follow so I had GPT-4o translate and summarise it for me, including some extracts David pointed to from his sites.

You can see how it was made here: https://chatgpt.com/share/fe5493d7-b725-4c30-abe1-763bb4bd5eab

Introduction

This explains a conversation between Connor Leahy and David Pearce about quantum consciousness. It also breaks down David Pearce’s ideas on how our perception of reality might be distorted.

Connor Leahy:

lukestanley

#!/usr/bin/env python3

"""
You can put this script somewhere you can easily run it.
You can mark it executable and run it directly on nix systems, e.g Mac, Linux etc.
Assuming you saved it to your home directory, mark it executable:
chmod +x ~/git_untracked_easy_filter.py

Usage:
`~/git_untracked_easy_filter.py`

lukestanley

Making podcast summaries when only the audio is available.
Find MP3 of the podcast.
Use a Whisper API, such as https://replicate.com/thomasmol/whisper-diarization (I logged in via GitHub with my paid account). I put the mp3 URL into the file_url section. I set the num_speakers to 2 (which turned out to be a bit wrong after I heard the podcast, due to additional voices for the adverts). I put 'en' as the language.
In the prompt string I pasted an introduction to the podcast to help it be more accurate with names. 
I pressed "Run". 2 minutes later, I checked out the JSON section on the right hand side, and pressed the copy button.
I selected an extract of the start of the JSON, showing the structure, stopped after the first array item that contained the transcript text and speaker ID.  I saved it as a JSON file.
I provided it to ChatGPT 4. In particular I used this instruction after the extract:
`Parse the JSON to get a text transcript. Think step by step sharing very detailed working out. Use Python. we want o

lukestanley

def extract_messages(file_path="conversations.json", conversation_limit=None, message_limit=None):
    with open(file_path, "r") as file:
        data = json.load(file)

    extracted_conversations = []
    conv_titles = []

    # Use the specified limits or the entire data length if no limit is specified
    conversation_count = conversation_limit if conversation_limit else len(data)

lukestanley

Maggie: Maybe the past generation of programmers were sort of subjecteded to a really awful version of visual programming, but it would be really sad to let that frustration that other people have felt ruin what visualprogramming could be in a much better design format, or just done in very different ways, done in ways that combine graphics and text.
Adam: Hello, and welcome to Metamuse. Muse is a tool for thought on iPad. But this podcast isn't about Muse the product, it's about Muse the company and the small team behind it. I'm Adam Wiggins, joined by my colleague Mark McGranigan. Hey, Adam. And our guest, Maggie Appleton from Egghead.
Maggie: Hello.
Adam: Thanks for joining us, Maggie. Now, listeners of the podcast will know that Mark and I are fans of computing history. We think sometimes the technology industry is a little unaware of its own history. And I understand you recently visited a museum on that topic in your area.
Maggie: I did. I got last weekend to go up to Cambridge, which is about an hour a

lukestanley

And I feel like this idea really changes the abstractions that operating systems should provide, because maybe OSes should not just be providing this model of files as a sequence of bytes, but this higher-level CRDT-like model. And how does that impact the entire way how software is developed? And we've talked before about Mark's dabbling in playing the piano. I understand this is a hobby you're starting to look into as well, Martin. Oh, yes. I've been playing the piano, trying to do it a bit more consistently for the last year and a half or so. A lockdown project. And you have a technique for not annoying your neighbors. For the neighbors? Or is this an electronic piano, or how do you do that? It's an electric piano, although I don't think it's too bad for the neighbors. Lately, I've been trying to learn a Debussy 400 piece that I can play together with my wife. So she'll play two hands, and I'll play the other two. Nice. I suspect a lot of our listeners know you already, Martin. I think you're within your s

lukestanley

# Set API_KEY!

import requests

headers = {
    'Authorization': API_KEY,
    'Content-Type': 'application/json'
}

query = """

lukestanley

# Set API_KEY!

import requests

headers = {
    'Authorization': API_KEY,
    'Content-Type': 'application/json'
}

# Search for issues that have been synced from LinearSync: