Skip to content

Instantly share code, notes, and snippets.

View WhaleFell's full-sized avatar
🐱
Purring

WhaleFall WhaleFell

🐱
Purring
  • 223.220.134.188
  • 223.220.134.188
View GitHub Profile
@t3dotgg
t3dotgg / try-catch.ts
Last active July 14, 2026 20:54
Theo's preferred way of handling try/catch in TypeScript
// Types for the result object with discriminated union
type Success<T> = {
data: T;
error: null;
};
type Failure<E> = {
data: null;
error: E;
};
@tomac4t
tomac4t / cernet2-v6.csv
Last active June 3, 2026 01:37
中国教育网学校 IPv6 地址段
IPv6 国家 省份 城市 学校/教育机构
2001:da8:0200::/48 中国 北京 北京 清华大学
2001:da8:0201::/48 中国 北京 北京 北京大学
2001:da8:0202::/48 中国 北京 北京 北京邮电大学
2001:da8:0203::/48 中国 北京 北京 北京航空航天大学
2001:da8:0204::/48 中国 北京 北京 北京理工大学
2001:da8:0205::/48 中国 北京 北京 北京交通大学
2001:da8:0206::/48 中国 北京 北京 北京城市学院
2001:da8:0207::/48 中国 北京 北京 北京师范大学
2001:da8:0208::/48 中国 北京 北京 北京科技大学
@M0r13n
M0r13n / README.md
Last active March 2, 2026 03:40
Logging with Loguru in Flask

This is a simple example of how to use loguru in your flask application

Just create a new InterceptHandler and add it to your app. Different settings should be configured in your config file, so that it is easy to change settings.

Logging is then as easy as:

from loguru import logger

logger.info("I am logging from loguru!")

@bmaupin
bmaupin / free-database-hosting.md
Last active July 20, 2026 16:53
Free database hosting
@dmfigol
dmfigol / asyncio_loop_in_thread.py
Last active November 24, 2025 13:16
Python asyncio event loop in a separate thread
"""
This gist shows how to run asyncio loop in a separate thread.
It could be useful if you want to mix sync and async code together.
Python 3.7+
"""
import asyncio
from datetime import datetime
from threading import Thread
from typing import Tuple, List, Iterable
@eskriett
eskriett / GoogleMapDownloader.py
Last active June 22, 2026 16:45
A python script to download high resolution Google map images given a longitude, latitude and zoom level.
#!/usr/bin/python
# GoogleMapDownloader.py
# Created by Hayden Eskriett [http://eskriett.com]
#
# A script which when given a longitude, latitude and zoom level downloads a
# high resolution google map
# Find the associated blog post at: http://blog.eskriett.com/2013/07/19/downloading-google-maps/
import urllib
import Image