sneeker

sneeker pushed to master at sneeker/meowc

2026-10-03 02:33:11 +00:00

30729512d2 feat(tools): record a live watch session

82afcaf27f fix(watch): drop the digest memo between rounds

5af9dfd8a8 feat(tools): record meowc building a real project

e723bb853d feat(tools): showcase the core claim on the bundled example

1a81ef4a55 feat(tools): record the three language pipeline

Compare 70 commits »

sneeker pushed to master at sneeker/fieldglass

2026-10-03 02:33:09 +00:00

5a8074d115 Verify rewriter and runtime linkage through explicit interfaces

46cde28b41 Verify polymorphic updates, name hygiene, and configuration combinations

7c10887385 Validate configuration and diagnose unsupported record declarations

a3d0d4d778 Disambiguate recursive record groups and share group configuration

faefa72427 Select generated operations without introducing hidden dependencies

Compare 20 commits »

sneeker pushed to master at sneeker/tessera

2026-10-03 02:33:09 +00:00

853885e5b6 differentially validate coverage witnesses and compiled dispatch

5e8bc13794 implement protocol ast and instruction-selection examples

d16ff1aa0d render labelled decision trees as graphviz diagrams

e8a2f30163 persist trees and expose execution and diagnostic commands

6d750d74c9 select decision columns using inspection-cost heuristics

Compare 16 commits »

sneeker pushed to master at sneeker/delta

2026-10-03 02:33:08 +00:00

0d18990630 Install runtime artifacts and verify external builds

39dd21eee2 Measure changed-key work on large collections

abe98c29fb Exercise generated programs with update sequences

bc80f1d459 Check incremental results against full evaluation

4aed01729d Add typed wire input and native executable builds

Compare 23 commits »

sneeker pushed to master at sneeker/continuum_ppx

2026-10-03 02:33:07 +00:00

d9b096fbb6 Check diagnostics for recursive and simultaneous bindings

ca8297c5bc Test nested callbacks, patterns, evaluation count, and exceptions

a9c92107ea Build the PPX executable with compiler-libs and make

ec87737db5 Implement continuation expansion with the OCaml AST mapper

Compare 4 commits »

sneeker pushed to main at sneeker/lambda-sub

2026-10-03 02:33:07 +00:00

7e4a3687ef add(named): the paper measure with machine checked counterexamples to its invariants (M5 metatheory)

847bdd9e6a add(named): an Es setoid rewriting layer with the modulo reduction (M5 metatheory)

7038dd65ec add(named): free variable invariance of the C equivalence (M5 metatheory)

77aa271eca fix(named): free variable preservation for the full metaterm reduction including RX (M5 metatheory)

ba65b61b4a add(named): free variable preservation for the named metaterm reduction (M5 metatheory)

Compare 31 commits »

sneeker pushed to main at sneeker/scfg-induction

2026-10-03 02:33:06 +00:00

321bf25cb2 fix(eval): count unparseable heldout mass in cross entropy

e0e51568d8 fix(scoring): distinguish approximate evidence from exact marginal likelihood

d99e51e856 fix(parse): move inside outside inference into log space

039f562f4b fix(grammar): make structural canonicalisation order independent

f8edd32f6b fix(parse): compute unary outside closure deterministically

Compare 6 commits »

sneeker pushed to master at sneeker/meowc

2026-10-02 22:23:12 +00:00

610f0e7b20 feat(tools): record a live watch session

273645805a fix(watch): drop the digest memo between rounds

3e3d55074d feat(tools): record meowc building a real project

4b9163fd66 feat(tools): showcase the core claim on the bundled example

3400b17e57 feat(tools): record the three language pipeline

Compare 10 commits »

sneeker created branch master in sneeker/meowc

2026-10-02 22:23:12 +00:00

sneeker created repository sneeker/meowc

2026-10-02 22:23:11 +00:00

sneeker pushed to master at sneeker/fieldglass

2026-10-02 22:23:10 +00:00

ef4c7899d5 Verify rewriter and runtime linkage through explicit interfaces

16fc1d6cee Verify polymorphic updates, name hygiene, and configuration combinations

871995ff90 Validate configuration and diagnose unsupported record declarations

e7b4859a7e Disambiguate recursive record groups and share group configuration

3bde617d17 Select generated operations without introducing hidden dependencies

Compare 10 commits »

sneeker created branch master in sneeker/fieldglass

2026-10-02 22:23:10 +00:00

sneeker created repository sneeker/fieldglass

2026-10-02 22:23:10 +00:00

sneeker pushed to master at sneeker/tessera

2026-10-02 22:20:20 +00:00

9317226bb3 differentially validate coverage witnesses and compiled dispatch

819e78225c implement protocol ast and instruction-selection examples

d38ebcf1b5 render labelled decision trees as graphviz diagrams

b61a0893a3 persist trees and expose execution and diagnostic commands

d543c82e41 select decision columns using inspection-cost heuristics

Compare 10 commits »

sneeker created branch master in sneeker/tessera

2026-10-02 22:20:20 +00:00

sneeker created repository sneeker/tessera

2026-10-02 22:20:19 +00:00

sneeker pushed to master at sneeker/delta

2026-10-02 22:20:19 +00:00

e9d2bbe224 Install runtime artifacts and verify external builds

f1ecbaa517 Measure changed-key work on large collections

0f087dc753 Exercise generated programs with update sequences

10be5334b1 Check incremental results against full evaluation

dc1e1e9b03 Add typed wire input and native executable builds

Compare 10 commits »

sneeker created branch master in sneeker/delta

2026-10-02 22:20:19 +00:00

sneeker created repository sneeker/delta

2026-10-02 22:20:19 +00:00

sneeker pushed to master at sneeker/continuum_ppx

2026-10-02 22:20:18 +00:00

09ae108207 Check diagnostics for recursive and simultaneous bindings

4294931e7f Test nested callbacks, patterns, evaluation count, and exceptions

eac9de583b Build the PPX executable with compiler-libs and make

9e3baa0132 Implement continuation expansion with the OCaml AST mapper