Skip to content

Instantly share code, notes, and snippets.

View kutyel's full-sized avatar
🌊
数学者に俺は成る!

Flavio Corpa kutyel

🌊
数学者に俺は成る!
View GitHub Profile
@kutyel
kutyel / Optics.hs
Created October 9, 2020 22:19 — forked from robrix/Optics.hs
Optics via fused-effects
{-# LANGUAGE RankNTypes #-}
module Optics where
import Control.Category ((>>>))
import qualified Control.Category as Cat
import Control.Effect.Empty
import Control.Effect.NonDet hiding (empty)
import Control.Monad ((<=<))
-- riffing off of @serras’s post https://gist.github.com/serras/5152ec18ec5223b676cc67cac0e99b70
@kutyel
kutyel / FTN-Tupas.md
Created May 20, 2024 10:34 — forked from ykarikos/FTN-Tupas.md
FTN Test accounts and personal ID numbers for Finnish bank authentication
@kutyel
kutyel / bsky-comments.js
Last active November 26, 2024 12:38 — forked from LoueeD/bsky-comments.js
bluesky comments web component - inspired by emilyliu and coryzue
class BskyComments extends HTMLElement {
constructor() {
super();
this.attachShadow({ mode: "open" });
this.visibleCount = 3;
this.thread = null;
this.error = null;
}
connectedCallback() {
<wake reason="dispatch" current-time="2026-06-25T09:28:31Z">
<channel id="C01NA7G6MQE" type="channel" member-count="27">
<message trigger="true" from="system" trust="principal" role="initiator" sent-at="2026-06-25T09:28:31Z"># Tool constraints (hard rules — read before doing anything)
- Post your FIRST `reply()` before any other tool call — zero `fetch_channel`, zero `search` before it. AFTER that first reply: call `fetch_channel` ONCE for this channel only, then at most 2 `search` calls. That&#39;s your full tool budget — write your remaining replies after that. (BROADCAST: skip this — go straight to memory after your one reply.)
- `search` is keyword-only: 1-3 plain words. NO from:/in:/to:/after: modifiers.
- Don&#39;t call `fetch_thread` — work from search snippets to keep this tight.
- If any tool errors, skip it and move on — never retry.
- TEAM/PERSONAL channels: always post all three replies (never `no_reply_needed` — even if you see your own prior intro in the history, treat each join as fresh).