Skip to content

Instantly share code, notes, and snippets.

This file has been truncated, but you can view the full file.
var e=Object.create,t=Object.defineProperty,n=Object.getOwnPropertyDescriptor,r=Object.getOwnPropertyNames,i=Object.getPrototypeOf,a=Object.prototype.hasOwnProperty,o=(e,t)=>()=>(t||(e((t={exports:{}}).exports,t),e=null),t.exports),s=(e,n)=>{let r={};for(var i in e)t(r,i,{get:e[i],enumerable:!0});return n||t(r,Symbol.toStringTag,{value:`Module`}),r},c=(e,i,o,s)=>{if(i&&typeof i==`object`||typeof i==`function`)for(var c=r(i),l=0,u=c.length,d;l<u;l++)d=c[l],!a.call(e,d)&&d!==o&&t(e,d,{get:(e=>i[e]).bind(null,d),enumerable:!(s=n(i,d))||s.enumerable});return e},l=(n,r,a)=>(a=n==null?{}:e(i(n)),c(r||!n||!n.__esModule?t(a,`default`,{value:n,enumerable:!0}):a,n));(function(){let e=document.createElement(`link`).relList;if(e&&e.supports&&e.supports(`modulepreload`))return;for(let e of document.querySelectorAll(`link[rel="modulepreload"]`))n(e);new MutationObserver(e=>{for(let t of e)if(t.type===`childList`)for(let e of t.addedNodes)e.tagName===`LINK`&&e.rel===`modulepreload`&&n(e)}).observe(document,{childList:!0,sub
@nrs-status
nrs-status / gist:27c55caf11825af1761d40cd11d10a66
Created June 29, 2026 17:01
CyclingIteratorExample.lean
import Std
open Std Iterators
structure Cycler (α : Type) where
target : List α
pos : Fin target.length
def Cycler.next (c : Cycler α) : α :=
c.target[c.pos]
UxXBIrgBAwAA/uwC5XQAAAAAAAC4f7afAYq1Afw/5VrzzwEAAAMKAIBB32kAAAAAP/+mSgCeygEAAM9lvAWWBhMKdu1Uy58CAAAAAD//pkoAnsoByFBNnVD/tQSWBhMKoCXsZMufAgAAAADDjaZKAJ7KAcsbTZ1Q/6cElgYDCuAl7GTLnwIAAAAAPHGmSgCeygHaL02dUKcElgYACgDtOuRqAAAAAAAAEw8AAAAAAAAABxymSgCeygHNhQG8EM9l/9sElgYDDwAAAAAAAAD44qZKAJ7KAac6vBDPZdsElgYACgCuC8ulAQAAAAAAAAMSAOoK6CoAAAAAAACOdaKKAYq1Aec6/1DgqgGdBMwGAxMAljbPZQAAAAA//6ZKAKCqAQAA0UUElwYTE4sg8WXYT/43AADDjaZKAKCqAfAkTcdb/4kDlQYDE8sg8WXYT/43AAA8caZKAKCqAfUlTcdbiQOVBhMTdshL9pkCAAAAAD//pkoAoKoByFBNm3D/xgSZBgATAME+0FUAAAAAAAADGNJUnAKqCgAAAAAHHKZKAKCqAfIe5wP6X4kDlQYTGJJUnAKqCgAAAAD44qZKAKCqAfMr5wP6X/+JA5UGAxMA6grgqgEAAAAAAAC6X451oKoB/S/rO+CqAQAAAxuDK4sBz2UAAAAAP/+mSgC2nwGSNagq0UWFAp4GExt29SX2mQIAAAAAP/+mSgCgqgHIUE2bcP+cBJkGExuxFMZR0UX8cAAAw42mSgC2nwHTJQD7T/92ngYDG/EUxlHRRfxwAAA8caZKALafAdMlAPtPdp4GABsA3zD7TwAAAAAAAAMgklRUta8BAAAAAPjipkoAtp8B0zL6AfD/AdoBngYTINJUVLWvAQAAAAAHHKZKALafAdIY+gHw/wH/2gGeBgAbANMD/akBAAAAAAAAAyMAAAAAAAAAAACmSpQVvh/TJacY4CAAAAMjAAAAAAAAAAAApkqUFb4f0yW7LeAgAAADIwAAAAAAAAAAAJI1pzqmSuka/yHC
id station stationid value unit obstime date
0 流浮山 RF001 0 mm 2026-06-30T00:45:00+08:00 2026-06-30
1 湿地公园 RF002 0 mm 2026-06-30T00:45:00+08:00 2026-06-30
2 水边围 N12 0 mm 2026-06-30T00:45:00+08:00 2026-06-30
3 石岗 RF003 M mm 2026-06-30T00:45:00+08:00 2026-06-30
4 大美督 RF004 0 mm 2026-06-30T00:45:00+08:00 2026-06-30
5 大埔墟 RF005 0 mm 2026-06-30T00:45:00+08:00 2026-06-30
6 北潭涌 RF006 0 mm 2026-06-30T00:45:00+08:00 2026-06-30
7 滘西洲 RF007 0 mm 2026-06-30T00:45:00+08:00 2026-06-30
8 西贡 N15 0 mm 2026-06-30T00:45:00+08:00 2026-06-30
7ab9bd2ca7c810c862ce256d6e01e29e199449589e510e92c5ca1c747bcdafe5 @ 1782752461.4615734
7ab9bd2ca7c810c862ce256d6e01e29e199449589e510e92c5ca1c747bcdafe5 @ 1782752460.2954943
@obsdaily
obsdaily / README.md
Created June 29, 2026 17:00
[شاهد البث المباشر!] مباراة البرازيل واليابان في كأس العالم لكرة القدم مباشرة مجاناً عبر الإنترنت على قناة تلفزيونية، 29 يونيو 2026

مباراة البرازيل واليابان مباشرةً ضمن منافسات كأس العالم FIFA 2026 - كل التفاصيل، أبرز اللقطات، والتحليلات.

آخر تحديث: 29 يونيو 2026

انقر هنا لمشاهدة مباراة البرازيل واليابان مباشرةً عبر الإنترنت

تواجه البرازيل اليابان اليوم في مباراة حاسمة للتأهل إلى دور الـ16. تُعدّ هذه المباراة من أقوى المواجهات في البطولة حتى الآن.

نُقدم لكم تحليلاً شاملاً لمباراة البرازيل واليابان. تُقام مباراة كأس العالم FIFA 2026 بين البرازيل واليابان في بث مباشر. نستعرض لكم خلفية المباراة، وأحداثها، وحماس الجماهير، والتكتيكات، وأهمية هذه المواجهة. نُقدم لكم معلومات واضحة، ونُسلط الضوء على السياق، ونُضفي مزيداً من الإثارة. لنستمتع معاً بهذه المباراة الدرامية.