saulshanabrook

MIT License

Copyright (c) 2023 Oliver Flatt

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

saulshanabrook

                                 Apache License
                           Version 2.0, January 2004
                        http://www.apache.org/licenses/

   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION

   1. Definitions.

      "License" shall mean the terms and conditions for use, reproduction,
      and distribution as defined by Sections 1 through 9 of this document.

saulshanabrook

Backoff Scheduler Semantics: egg versus current egglog

This report records minimal reproductions showing that the current experimental egglog backoff scheduler does not implement the same match lifecycle as egg::BackoffScheduler. It also checks whether those differences occur in the Math microbenchmark when run with the paper's backoff parameters.

The direct reproductions used:

• egglog-encoding commit a90ff9acf27577709ce8e28b7de0d79fee0e207a;

saulshanabrook

"""
The goal here is to see if we can replicate the PEGGY paper but by embedding it in an egglog
dialect that has fixpoint as a builtin as well as higher order functions.

If we can implement fix point fusion as a rule,
"""
# mypy: disable-error-code="empty-body"

from collections.abc import Callable
from typing import Generic, Protocol, TypeAlias, TypeVar, cast

saulshanabrook

saulshanabrook

saulshanabrook

saulshanabrook

$ cat ~/.codex/skills/scientific-method-debugging/agents/openai.yaml
interface:
  display_name: "Scientific Method Debugging"
  short_description: "Falsifiable debugging loop"
  default_prompt: "Use $scientific-method-debugging to investigate this bug with observation, competing hypotheses, falsifiable probes, and regression-checked fixes."
$ cat ~/.codex/skills/scientific-method-debugging/SKILL.md
---
name: scientific-method-debugging
description: Run an evidence-first scientific debugging loop for debugging, performance analysis, semantic drift, or codebase comparisons. Use when a user wants claims backed by actual runs, when multiple plausible causes exist, when a bug needs to be shrunk to the smallest repro, or when fixes should be accepted only if they flip the target case without regressing a known comparison set.
---

saulshanabrook

city,month,month_num,temp_low,temp_high,precip_days,precip_inches,sunshine_hours,latitude,longitude
Seattle,Jan,0,37,47,18,5.55,69,47.608013,-122.335167
Seattle,Feb,1,37,50,14,3.46,108,47.608013,-122.335167
Seattle,Mar,2,39,54,16,3.7,178,47.608013,-122.335167
Seattle,Apr,3,42,58,14,2.68,207,47.608013,-122.335167
Seattle,May,4,47,65,12,1.93,253,47.608013,-122.335167
Seattle,Jun,5,52,70,9,1.54,268,47.608013,-122.335167
Seattle,Jul,6,56,76,5,0.67,312,47.608013,-122.335167
Seattle,Aug,7,56,76,4,0.87,281,47.608013,-122.335167
Seattle,Sep,8,52,71,7,1.42,221,47.608013,-122.335167

saulshanabrook

(sort egglog.exp.array_api.RecursiveValue)
(sort egglog.exp.array_api.NDArray)
(constructor egglog_exp_array_api_NDArray_to_recursive_value (egglog.exp.array_api.NDArray) egglog.exp.array_api.RecursiveValue)
(constructor egglog_exp_array_api_vecdot (egglog.exp.array_api.NDArray egglog.exp.array_api.NDArray) egglog.exp.array_api.NDArray :unextractable)
(constructor egglog_exp_array_api_NDArray___init__ (egglog.exp.array_api.RecursiveValue) egglog.exp.array_api.NDArray)
(sort egglog.builtins.Vec[egglog.exp.array_api.RecursiveValue] (Vec egglog.exp.array_api.RecursiveValue))
(constructor egglog_exp_array_api_RecursiveValue_vec (egglog.builtins.Vec[egglog.exp.array_api.RecursiveValue]) egglog.exp.array_api.RecursiveValue)
(sort egglog.exp.array_api.Value)
(constructor egglog_exp_array_api_RecursiveValue___init__ (egglog.exp.array_api.Value) egglog.exp.array_api.RecursiveValue)
(sort egglog.exp.array_api.Int)