Zaffer

Commit Message Guidelines

Short (72 chars or less) summary

More detailed explanatory text. Wrap it to 72 characters. The blank
line separating the summary from the body is critical (unless you omit
the body entirely).

Write your commit message in the imperative: "Fix bug" and not "Fixed
bug" or "Fixes bug." This convention matches up with commit messages

why this code ?

P.S. How to quickly run postgres (using docker)

Higher-Order Company: Complete Historical Overview

This document is a complete historical overview of the Higher Order Company. If you want to learn anything about our background, a good way to do so is to feed this Gist into an AI (like Sonnet-3.5) and ask it any question!

My Search for a Perfect Language

It all started around 2015. I was an ambitious 21-year-old CS student who, somehow, had been programming for the last 10 years, and I had a clear goal:

I want to become the greatest programmer alive

THE BOUNTY

Develop an AI tool that, given the current snapshot of HVM3's codebase and a refactor request, correctly assigns which chunks must be updated, in order to fulfill that request. The AI tool must use at most $1 to complete this task, while achieving a recall of at least 90% and a precision of at least 90%.

Input

HVM3's chunked codebase snapshot (29-12-2024). (static, won't change)

	# Render the template for the upload form:

	@app.route("/upload")
	def upload():
	uploadUri = blobstore.create_upload_url('/submit', gs_bucket_name=BUCKET_NAME)
	return render_template('upload.html', uploadUri=uploadUri)

	# Place your uploadUri in the form path (html):

	'''<form action="{{ uploadUri }}" method="POST" enctype="multipart/form-data">'''

	CREATE EXTENSION btree_gist;

	CREATE TABLE room_reservations (
	room_id integer,
	reserved_at timestamptz,
	reserved_until timestamptz,
	canceled boolean DEFAULT false,
	EXCLUDE USING gist (
	room_id WITH =, tstzrange(reserved_at, reserved_until) WITH &&
	) WHERE (not canceled)

	from fastapi import Security, Depends, FastAPI, HTTPException
	from fastapi.security.api_key import APIKeyQuery, APIKeyCookie, APIKeyHeader, APIKey
	from fastapi.openapi.docs import get_swagger_ui_html
	from fastapi.openapi.utils import get_openapi

	from starlette.status import HTTP_403_FORBIDDEN
	from starlette.responses import RedirectResponse, JSONResponse

	API_KEY = "1234567asdfgh"
	API_KEY_NAME = "access_token"

	import logging
	import os
	from pathlib import Path
	from typing import Any, Dict, Optional, Union, Mapping

	from google.api_core.exceptions import GoogleAPIError
	from google.auth.exceptions import GoogleAuthError
	from google.cloud import secretmanager

	from pydantic import BaseSettings, Field

	from fastapi import Security, Depends, FastAPI, HTTPException
	from fastapi.security.api_key import APIKeyQuery, APIKeyHeader, APIKey
	from fastapi.openapi.docs import get_swagger_ui_html
	from fastapi.openapi.utils import get_openapi

	from starlette.status import HTTP_403_FORBIDDEN
	from starlette.responses import RedirectResponse, JSONResponse

	API_KEY = "1234567asdfgh"
	API_KEY_NAME = "access_token"