David Larlet davidbgk

## AGENTS.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                davidbgk
                / AGENTS.md
            
            
              Created
              March 2, 2026 22:02
                — forked from minimaxir/AGENTS.md
            
              
                Rust AGENTS.md (2026-02-23)
              
          
    Agent Guidelines for Rust Code Quality

This document provides guidelines for maintaining high-quality Rust code. These rules MUST be followed by all AI coding agents and contributors.
Your Core Principles

All code you write MUST be fully optimized.
"Fully optimized" includes:

  
## AGENTS.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                davidbgk
                / AGENTS.md
            
            
              Created
              March 2, 2026 22:01
                — forked from minimaxir/AGENTS.md
            
              
                Python AGENTS.md (2026-02-23)
              
          
    Agent Guidelines for Python Code Quality

This document provides guidelines for maintaining high-quality Python code. These rules MUST be followed by all AI coding agents and contributors.
Your Core Principles

All code you write MUST be fully optimized.
"Fully optimized" includes:

  
## Git_Commit_Freeze_Solution.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                davidbgk
                / Git_Commit_Freeze_Solution.md
            
            
              Created
              January 5, 2026 00:55
                — forked from bahadiraraz/Git_Commit_Freeze_Solution.md
            
              
                Git Commit Freeze Due to GPG Lock Issues (Solution)
              
          
    Git Commit Freeze Due to GPG Lock Issues

If you encounter a problem where you cannot commit changes in Git – neither through the terminal nor via the GitHub Desktop application – the issue might be a freeze during the Git commit process. This is often caused by GPG lock issues. Below is a concise and step-by-step guide to resolve this problem.
Solution Steps

1. Check for GPG Lock Messages

Open your terminal and try to perform a GPG operation (like signing a test message). If you see repeated messages like gpg: waiting for lock (held by [process_id]) ..., it indicates a lock issue.

  
## server.py
import http.server
import socketserver
from http import HTTPStatus


class Handler(http.server.SimpleHTTPRequestHandler):
    def do_GET(self):
        self.send_response(HTTPStatus.OK)
        self.end_headers()
        self.wfile.write(b'Hello world')

## download-site.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                davidbgk
                / download-site.md
            
            
              Created
              June 1, 2025 00:03
                — forked from pmeinhardt/download-site.md
            
              
                download an entire page (including css, js, images) for offline-reading, archiving… using wget
              
          
    If you ever need to download an entire website, perhaps for off-line viewing, wget can do the job — for example:
$ wget --recursive --no-clobber --page-requisites --html-extension --convert-links --restrict-file-names=windows --domains website.org --no-parent  www.website.org/tutorials/html/

This command downloads the website www.website.org/tutorials/html/.
The options are:

--recursive: download the entire website
--domains website.org: don't follow links outside website.org


## embedMap.js
class EmbedMap extends HTMLElement {
    constructor () {
        super();
    }
    loadScript(src, callback) {
        let script = document.createElement('script');
        script.src = src;
        script.addEventListener('load', callback);
        document.querySelector('head').appendChild(script);
    }

## fields.py

from django import forms

class EmptyChoiceField(forms.ChoiceField):
    def __init__(self, choices=(), empty_label=None, required=True, widget=None, label=None,
                 initial=None, help_text=None, *args, **kwargs):

        # prepend an empty label if it exists (and field is not required!)
        if not required and empty_label is not None:
            choices = tuple([(u'', empty_label)] + list(choices))

## python.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                davidbgk
                / python.md
            
            
              Created
              October 20, 2022 02:41
                — forked from eyeseast/python.md
            
              
                How to set up Python in 2022
              
          
    Python

This is my recommended Python setup, as of Fall 2022. The Python landscape can be a confusing mess of overlapping tools that sometimes don't work well together. This is an effort to standardize our approach and environments.
Tools and helpful links:


Python docs: https://docs.python.org/3/
Python Standard Library: https://docs.python.org/3/library/index.html - Start here when you're trying to solve a specific problem
pip: https://pip.pypa.io/en/stable/ - Python's standard package installer, included with the language itself
pipx: https://pipxproject.github.io/pipx/ - Global script installer, built on top of pip


## watch_turtle.py
"""Reloads the `my_turtle.py` code on save.

Put simple turtle instructions in the `my_turtle.py` file,
and they'll be re-run (on a clean window) on each file save.

Usage:
1/ put some turtle instructions in a `my_turtle.py` file
   (eg `turtle.forward(100)`)
2/ run `python watch_turtle.py` on a commandline
   (no dependencies needed)

## index.html
<!doctype html>
<meta charset=utf-8>
<title>Test DOM Content Loaded and promises</title>
<script>
    console.log(document.querySelector('main')) // => null
    document.ready = new Promise(
        (resolve) => document.addEventListener('DOMContentLoaded', resolve))
    document.ready.then(() => console.log(document.querySelector('main'))) // => <main>
</script>
<main></main>
	import http.server
	import socketserver
	from http import HTTPStatus


	class Handler(http.server.SimpleHTTPRequestHandler):
	def do_GET(self):
	self.send_response(HTTPStatus.OK)
	self.end_headers()
	self.wfile.write(b'Hello world')
	class EmbedMap extends HTMLElement {
	constructor () {
	super();
	}
	loadScript(src, callback) {
	let script = document.createElement('script');
	script.src = src;
	script.addEventListener('load', callback);
	document.querySelector('head').appendChild(script);
	}

	from django import forms

	class EmptyChoiceField(forms.ChoiceField):
	def __init__(self, choices=(), empty_label=None, required=True, widget=None, label=None,
	initial=None, help_text=None, args, *kwargs):

	# prepend an empty label if it exists (and field is not required!)
	if not required and empty_label is not None:
	choices = tuple([(u'', empty_label)] + list(choices))
	"""Reloads the `my_turtle.py` code on save.

	Put simple turtle instructions in the `my_turtle.py` file,
	and they'll be re-run (on a clean window) on each file save.

	Usage:
	1/ put some turtle instructions in a `my_turtle.py` file
	(eg `turtle.forward(100)`)
	2/ run `python watch_turtle.py` on a commandline
	(no dependencies needed)
	<!doctype html>
	<meta charset=utf-8>
	<title>Test DOM Content Loaded and promises</title>
	<script>
	console.log(document.querySelector('main')) // => null
	document.ready = new Promise(
	(resolve) => document.addEventListener('DOMContentLoaded', resolve))
	document.ready.then(() => console.log(document.querySelector('main'))) // => <main>
	</script>
	<main></main>