milner
0 Followers · 0 Following
Joined on 2026-10-02
Repositories
7
 Projects Packages Public Activity Starred Repositories
milner pushed to master at milner/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 »
milner created branch master in milner/meowc 2026-10-02 22:23:12 +00:00
milner created repository milner/meowc 2026-10-02 22:23:11 +00:00
milner pushed to master at milner/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 »
milner created branch master in milner/fieldglass 2026-10-02 22:23:10 +00:00
milner created repository milner/fieldglass 2026-10-02 22:23:10 +00:00
milner pushed to master at milner/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 »
milner created branch master in milner/tessera 2026-10-02 22:20:20 +00:00
milner created repository milner/tessera 2026-10-02 22:20:19 +00:00
milner pushed to master at milner/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 »
milner created branch master in milner/delta 2026-10-02 22:20:19 +00:00
milner created repository milner/delta 2026-10-02 22:20:19 +00:00
milner pushed to master at milner/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
milner created branch master in milner/continuum_ppx 2026-10-02 22:20:18 +00:00
milner created repository milner/continuum_ppx 2026-10-02 22:20:18 +00:00
milner pushed to main at milner/lambda-sub 2026-10-02 22:10:14 +00:00
70270ceb22 add(named): the paper measure with machine checked counterexamples to its invariants (M5 metatheory)
milner pushed to main at milner/lambda-sub 2026-10-02 22:07:51 +00:00
0daa85236c add(named): the paper measure with machine checked counterexamples to its invariants (M5 metatheory)
milner renamed repository from lamba-sub to milner/lambda-sub 2026-10-02 22:01:50 +00:00
milner pushed to main at milner/lambda-sub 2026-10-02 21:57:32 +00:00
6b0f933c3a add(named): the paper measure with machine checked counterexamples to its invariants (M5 metatheory)
6235dee2ee add(named): an Es setoid rewriting layer with the modulo reduction (M5 metatheory)
6de7b0f078 add(named): free variable invariance of the C equivalence (M5 metatheory)
5ac05d5b32 fix(named): free variable preservation for the full metaterm reduction including RX (M5 metatheory)
cde6e1d197 add(named): free variable preservation for the named metaterm reduction (M5 metatheory)
Compare 31 commits »
milner pushed to main at milner/scfg-induction 2026-10-02 21:57:31 +00:00
e8dcc8bcb6 fix(eval): count unparseable heldout mass in cross entropy
a4db48b636 fix(scoring): distinguish approximate evidence from exact marginal likelihood
697801a0ee fix(parse): move inside outside inference into log space
38ab0ea6eb fix(grammar): make structural canonicalisation order independent
2bdb8aede6 fix(parse): compute unary outside closure deterministically
Compare 6 commits »