This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /** | |
| * A transducer that can be applied synchronously | |
| */ | |
| export interface Transducer<A, B> { | |
| /** | |
| * Applies the transducer to the given iterable | |
| */ | |
| (iterable: Iterable<A>): Iterable<B>; | |
| /** |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Function to fetch paginated GitHub API responses | |
| async function fetchPaginatedGitHubData(url: string, headers: Headers): Promise<any[]> { | |
| let results: any[] = []; | |
| let nextPageUrl: string | null = url; | |
| while (nextPageUrl) { | |
| const response: Response = await fetch(nextPageUrl, { headers }); | |
| const data = await response.json(); | |
| results = results.concat(data); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # Whisper Push-to-Talk Dictation Tool | |
| # Runs whisper.cpp continuously, only processes output when key is held | |
| set -euo pipefail | |
| # Get script directory | |
| SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" |
OlderNewer