Skip to content

Instantly share code, notes, and snippets.

@Morgan-Griffiths
Morgan-Griffiths / Submission.lean
Created July 12, 2026 21:40
Lean-FRO brouwer_fixed_point v8 flattened multifile export
import Mathlib
-- BEGIN INLINED FILE: Mathlib/Support/brouwer_fixed_point_01f7e049e5/CompactApprox.lean
section
open Set Topology
namespace BrouwerSupport
/-- A standard compactness reduction in analytic proofs of the finite dimensional
[
{
"role": "user",
"content": "What settings can I change right now?"
},
{
"role": "assistant",
"content": "Here's where we're sitting: context_size 4000, conversation_budget 16000. Want me to bump either?",
"reasoning": "Settings request - call get_settings first so I read real values instead of guessing.",
"raw_output": "<|channel>thought\nSettings request - call get_settings first so I read real values instead of guessing.\n<channel|>Here's where we're sitting: context_size 4000, conversation_budget 16000. Want me to bump either?"
diff --git a/httpx/_client.py b/httpx/_client.py
index 3465a10..aa210e3 100644
--- a/httpx/_client.py
+++ b/httpx/_client.py
@@ -325,9 +325,29 @@ class BaseClient:
"""
merge_url = URL(url)
if merge_url.is_relative_url:
+ has_authority = merge_url._uri_reference.authority is not None
+ if has_authority:
diff --git a/httpx/_client.py b/httpx/_client.py
index 3465a10..1b318d1 100644
--- a/httpx/_client.py
+++ b/httpx/_client.py
@@ -325,9 +325,22 @@ class BaseClient:
"""
merge_url = URL(url)
if merge_url.is_relative_url:
+ if self.base_url == "":
+ raise InvalidURL(
@bunch-area-dollop
bunch-area-dollop / LEGO Jurassic World.mdx
Created July 12, 2026 21:39
Download LEGO Jurassic World NSP ROM Full Game

LEGO Jurassic World is an action-adventure game developed by Traveller's Tales and published by Warner Bros. Interactive Entertainment. Released in 2015, the game adapts the stories of Jurassic Park, The Lost World: Jurassic Park, Jurassic Park III, and Jurassic World into one humorous LEGO adventure.

Players journey through Isla Nublar and Isla Sorna while experiencing memorable scenes from all four films. Along the way, they solve puzzles, collect LEGO studs, unlock hidden secrets, and control both human characters and dinosaurs. The game faithfully recreates iconic movie moments while adding the signature comedy and creativity found in LEGO games.

@brandonhimpfen
brandonhimpfen / node-profile-approx-distinct-counts.js
Created July 12, 2026 21:39
Estimate distinct values in CSV or JSONL columns while streaming in Node.js using a bounded-memory bitmap and linear counting, with nested JSON paths and no dependencies.
#!/usr/bin/env node
/**
* Estimate distinct value counts in CSV or JSONL while streaming.
*
* Uses a fixed-size bitmap and linear counting:
*
* estimated cardinality = -m × ln(V / m)
*
* where:
* m = total number of bitmap bits
@vi70x4
vi70x4 / cmdline
Created July 12, 2026 21:38
ultra gaming cmdline linux kernel
intel_pstate=passive split_lock_detect=off initrd=\d715c402184f48d1981266899acedbfa\7.1.3-273-tkg-eevdf-llvm\initrd nvme_load=YES nowatchdog mitigations=off split_lock_detect=off skew_tick=1 pcie_aspm=performance rcu_nocbs=1-15 processor.max_cstate=1 nmi_watchdog=0 threadirqs nvidia-drm.modeset=1 sched_child_runs_first=1 preempt=full transparent_hugepage=never amd_iommu=force_isolation elevator=none rcu_nocb_poll irqaffinity=0 workqueue.power_efficient=false numa=off pcie_port_pm=off scsi_mod.use_blk_mq=y rw rootflags=subvol=/@ root=UUID=ed75f77b-6784-4e42-bcd7-76545acc016d systemd.machine_id=d715c402184f48d1981266899acedbfa
@mthomasmypolicypoint
mthomasmypolicypoint / results.json
Created July 12, 2026 21:37
PolicyPoint Member Experience Dashboard — live results snapshot
{
"generatedAt": "2026-07-12T21:37:36.275Z",
"tenDay": {
"thisMonth": {
"label": "July 2026",
"key": "07-2026",
"total": 954,
"successful": 144,
"unsuccessful": 41,
"untouched": 751,
<div class="block"><div class="jsx-6d23f35167deb67d space-y-5"><div class="jsx-6d23f35167deb67d relative max-h-[720px] overflow-y-auto pr-1 sm:pr-2"><div class="jsx-6d23f35167deb67d space-y-6"><div class="jsx-6d23f35167deb67d space-y-4"><div class="jsx-6d23f35167deb67d grid grid-cols-1 gap-x-10 gap-y-2 sm:grid-cols-2 xl:grid-cols-3"><a class="group flex min-w-0 items-center gap-3 rounded-md px-2 py-2 text-left transition " href="/chapter/nowhere-stars/the-tower-10-8"><span class="jsx-6d23f35167deb67d mt-0.5 shrink-0 transition text-site-secondary group-hover:text-site-accent"><svg class="h-5 w-5" viewBox="0 0 28 28" fill="none" aria-hidden="true"><circle cx="14" cy="14" r="8.75" stroke="currentColor" stroke-width="1.55"></circle><path d="M11.2 9.2H15.3L17.1 11V18.1H12.4C11.74 18.1 11.2 17.56 11.2 16.9V9.2Z" stroke="currentColor" stroke-width="1.7" stroke-linejoin="round"></path><path d="M15.3 9.2V11H17.1" stroke="currentColor" stroke-width="1.7" stroke-linejoin="round"></path><path d="M12.7 13H15.5M12.7 15H15
// ==UserScript==
// @name Stream/SharePoint Auto-Scraper Definitivo
// @namespace http://tampermonkey.net/
// @version 5.0
// @description Automatiza el scroll y extrae la transcripción evadiendo la lista virtual.
// @author Gemini
// @match *://*.sharepoint.com/*
// @match *://*.microsoftstream.com/*
// @grant none
// ==/UserScript==