Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 861f591bb0 Merge branch 'worktree-agent-ac5ad16091bc3a40e' into dev-loop Joseph Ferano 2026-09-13 15:33:52 +07:00
• a9c0c3e9bf The listing buffers are malloc'd, and a followed pointer says why it stops Joseph Ferano 2026-09-13 15:33:25 +07:00
• fe858811cb An address answers with a type, and a killed program is asked rather than hooked Joseph Ferano 2026-09-13 15:27:31 +07:00
• 16226c71d0 Merge branch 'worktree-agent-a721d74291e5f212c' into dev-loop Joseph Ferano 2026-09-13 15:26:43 +07:00
• 95697d230f Merge branch 'worktree-agent-ac605f8a376484762' into dev-loop Joseph Ferano 2026-09-13 15:24:28 +07:00
• 8b79cae837 Merge branch 'worktree-agent-a4778b00512de90d3' into dev-loop Joseph Ferano 2026-09-13 15:24:04 +07:00
• 762bc988fa The map operations are deferred, and the clause is what pays for it Joseph Ferano 2026-09-13 15:23:37 +07:00
• dec4bcb88b Say why the family argument in bindings does not reach the slice wrappers Joseph Ferano 2026-09-13 15:18:37 +07:00
• 5a1c2745b0 An idiomatic layer over the raylib bindings, and raymath in Flan Joseph Ferano 2026-09-13 15:16:40 +07:00
• fc4e51a106 The dev backend, wired — and conditions were never in the way Joseph Ferano 2026-09-13 15:14:33 +07:00
• 58b1f49cf2 A discarded value was being stored over the return address Joseph Ferano 2026-09-13 15:08:38 +07:00
• fcdaa105af Unions and a two-index (at), which the corpus asked for by name Joseph Ferano 2026-09-13 15:06:31 +07:00
• ff548996df Merge branch 'worktree-agent-ab63ab2e0656f837e' into dev-loop Joseph Ferano 2026-09-13 15:04:26 +07:00
• 786656dfee (at a i) on the left of a set has to reach the array Joseph Ferano 2026-09-13 15:03:41 +07:00
• 75a430dce2 Strike two NEXT sections the day overtook Joseph Ferano 2026-09-13 15:03:19 +07:00
• eebd5d6d2c Merge branch 'dev-loop' into worktree-agent-ab63ab2e0656f837e Joseph Ferano 2026-09-13 15:02:17 +07:00
• b3cb657992 hashable? gates the type and not the operations, and say so where it bites Joseph Ferano 2026-09-13 15:01:49 +07:00
• 8472c50d57 Merge branch 'worktree-agent-ad330000e84e78a2f' into dev-loop Joseph Ferano 2026-09-13 15:01:35 +07:00
• 19353648a0 The game's state is fixed arrays with counts, so the verdict stops being conditional Joseph Ferano 2026-09-13 14:59:32 +07:00
• 70af1966a2 Braces are no longer a type: (Map K V) is the only spelling Joseph Ferano 2026-09-13 14:58:27 +07:00
• 2155c41465 A whole program goes through the hand-written backend and runs Joseph Ferano 2026-09-13 14:56:14 +07:00
• de93ffc89e A cast to a type variable, and the container builtins over one Joseph Ferano 2026-09-13 14:52:17 +07:00
• 3e6886831d Queue the pointer-length question, with the three examples it blocks Joseph Ferano 2026-09-13 14:51:31 +07:00
• dad725afe4 The prelude's per-type families collapse: 22 functions become 10, 27 become 16 Joseph Ferano 2026-09-13 14:49:11 +07:00
• 10edda6de4 Two comments in vendor/raylib that this batch made false Joseph Ferano 2026-09-13 14:46:00 +07:00
• d7ceec448e Ten more raylib examples, and the three small structs 3D needed Joseph Ferano 2026-09-13 14:42:49 +07:00
• b438a71031 C-c C-c on a generic installs its copies, and a refusal about one says where it came from Joseph Ferano 2026-09-13 14:37:55 +07:00
• 68625a535e A bindings gap stops a build, and says which file to edit Joseph Ferano 2026-09-13 14:34:19 +07:00
• 7f86f32699 where predicates admit operators, and a type variable is move-only until it says otherwise Joseph Ferano 2026-09-13 14:33:45 +07:00
• 2957804ebc The header ships with the package, so the check is not optional any more Joseph Ferano 2026-09-13 14:32:38 +07:00
• d66d717716 Queue generic structs and array lengths, after the core lane and not beside it Joseph Ferano 2026-09-13 14:29:14 +07:00
• 70e19753dd Merge branch 'worktree-agent-afcd2406f3660629b' into worktree-agent-ab63ab2e0656f837e Joseph Ferano 2026-09-13 14:22:33 +07:00
• b5d2b5eabd Merge branch 'worktree-agent-a638e5d0f0de7a058' into dev-loop Joseph Ferano 2026-09-13 14:20:56 +07:00
• e4487bb782 Merge branch 'worktree-agent-a596c7c569d5b0ec9' into dev-loop Joseph Ferano 2026-09-13 14:20:51 +07:00
• 06810e3906 Merge branch 'worktree-agent-a8eecdace6e85881f' into dev-loop Joseph Ferano 2026-09-13 14:20:51 +07:00
• cebd07c530 Park two decisions from the bindings lane Joseph Ferano 2026-09-13 14:20:31 +07:00
• 4ff3e9a922 A finding about the bindings file is not a reason to stop a build Joseph Ferano 2026-09-13 14:16:57 +07:00
• 4072dd2089 A type variable moves unless it says otherwise, and the clause is a map Joseph Ferano 2026-09-13 14:14:55 +07:00
• 9223c9002a An enum is four bytes, and the header check now reads the constants Joseph Ferano 2026-09-13 14:11:35 +07:00
• 0a6199b8df The failure path says which socket it was, checked by running it Joseph Ferano 2026-09-13 14:06:46 +07:00
• cdcdd70c4e The object cache outlives the run, and the await says which wait it was Joseph Ferano 2026-09-13 14:04:50 +07:00
• b6bb1e502b Generics: abstract checking with where predicates, and plan.org was wrong about Odin twice Joseph Ferano 2026-09-13 14:04:01 +07:00
• 635f4d30a6 A stopped program does not sample, so the editor stops asking for a new window Joseph Ferano 2026-09-13 13:57:52 +07:00
• 781295e862 Merge branch 'worktree-agent-a30e436605521558c' into dev-loop Joseph Ferano 2026-09-13 13:47:12 +07:00
• 72d6b8b00e Merge branch 'worktree-agent-a7fa4f6e37607b13b' into dev-loop Joseph Ferano 2026-09-13 13:46:47 +07:00
• 03804a8045 Merge branch 'worktree-agent-aeb659068ba14ba05' into dev-loop Joseph Ferano 2026-09-13 13:46:47 +07:00
• 122ca45ebd Merge branch 'worktree-agent-a26b9a22ff124dd1a' into dev-loop Joseph Ferano 2026-09-13 13:46:47 +07:00
• 5fde614c92 Say which reference clones are on this machine, and what each answers Joseph Ferano 2026-09-13 13:38:31 +07:00
• eec0dfd1c3 A runaway instantiation refuses instead of hanging the editor Joseph Ferano 2026-09-13 13:32:33 +07:00
• 75c630ada9 The generics spike, answered Joseph Ferano 2026-09-13 13:29:21 +07:00
• 0749913420 A generic filter allocates its Vec, and the sweep says what a rebuild costs Joseph Ferano 2026-09-13 13:24:45 +07:00
• 50798aac89 A generic sort takes its comparison as a value, and an operator over a variable is refused Joseph Ferano 2026-09-13 13:20:12 +07:00
• cb56fc14b1 Generic functions instantiated at their call sites, spiked Joseph Ferano 2026-09-13 13:13:10 +07:00
• 6de6c079b0 What the "never listened" flake actually was, written where it was hunted Joseph Ferano 2026-09-13 13:12:17 +07:00
• 7be57efe18 A type variable is marked, because absence is a bad thing to give meaning to Joseph Ferano 2026-09-13 13:09:25 +07:00
• f2be0a62dd A pause is waited for by name, and a build is not a socket Joseph Ferano 2026-09-13 13:07:25 +07:00
• 6e7b53b988 A numeric watch has a site, and an empty window has none Joseph Ferano 2026-09-13 12:56:26 +07:00
• 97cb77d949 Five gaps the examples hit, written down before they are forgotten Joseph Ferano 2026-09-13 12:54:42 +07:00
• 1df6f7a642 Five more core examples, and the 3D half of the bindings they wanted Joseph Ferano 2026-09-13 12:49:28 +07:00
• 5791faee4e A breakpoint is a function call, and the editor only says where Joseph Ferano 2026-09-13 12:51:06 +07:00
• 191dcc1246 An abandoned frame rolls back, and restore goes after the defers Joseph Ferano 2026-09-13 12:41:13 +07:00
• a016c3f226 Queue what four lanes left, and where each one wrote it down Joseph Ferano 2026-09-13 12:22:17 +07:00
• 6592cff743 Merge branch 'worktree-agent-aac8d8a2a09e2b151' into dev-loop Joseph Ferano 2026-09-13 12:19:20 +07:00
• bbd1c67474 Merge branch 'worktree-agent-a19373b804f289af0' into dev-loop Joseph Ferano 2026-09-13 12:19:20 +07:00
• 74011e6cbe Merge branch 'worktree-agent-adf4bf6c83bd6d2f9' into dev-loop Joseph Ferano 2026-09-13 12:19:20 +07:00
• aa6087af91 sand.flan is the game the other ports are, and nothing else Joseph Ferano 2026-09-13 12:19:13 +07:00
• fc319474b6 A hot loop keeps five numbers, and the window is the editor's Joseph Ferano 2026-09-13 10:35:20 +07:00
• f80a7a98e7 A reply is the ordering the socket check was missing Joseph Ferano 2026-09-13 10:33:02 +07:00
• 6f8a7300d5 A pause mark travels beside the source, not inside it Joseph Ferano 2026-09-13 10:25:47 +07:00
• 344e571c8c An x86-64 encoder and frame model, not yet wired to anything Joseph Ferano 2026-09-13 09:43:15 +07:00
• 66d315813f The encoder and the frame model for a hand-written x86-64 backend Joseph Ferano 2026-09-13 09:42:50 +07:00
• f715be029d Measure what a whole-program x86 build would have to lower Joseph Ferano 2026-09-13 09:37:30 +07:00
• d07edef8e5 loop and recur, and into that fuses a chain Joseph Ferano 2026-09-13 09:35:49 +07:00
• cd0fef35eb A restart is not a transaction, and a watched value shows at its call site Joseph Ferano 2026-09-13 09:35:43 +07:00
• c586eed138 Ghost text finds its anchor in the buffer, not in the table Joseph Ferano 2026-09-13 09:33:16 +07:00
• 0405666b1f The two cases the tests did not cover, and one leak of a permission Joseph Ferano 2026-09-13 09:32:58 +07:00
• 7b11dc07c0 The registry answers what is at an address, and a dead pointer says what it was Joseph Ferano 2026-09-13 09:29:17 +07:00
• f795548ef7 The step number in dev-ptr's header is a counter, not a promise Joseph Ferano 2026-09-13 09:27:26 +07:00
• ca14394e0f into fuses at compile time because it is a macro, not a transducer Joseph Ferano 2026-09-13 09:27:20 +07:00
• c95f11ff18 What the registry answers, and the two places a release build is not free Joseph Ferano 2026-09-13 09:25:51 +07:00
• f1ebdde7f8 A spike that lowers Tast to x86-64 bytes, and the verdict on doing it for real Joseph Ferano 2026-09-13 09:24:08 +07:00
• 6ebcea6d3a The writer's side gets the probe, the reader's side gets the scan Joseph Ferano 2026-09-13 09:24:08 +07:00
• 6bd353bb8c The aggregate claim, checked against a control instead of asserted Joseph Ferano 2026-09-13 09:23:36 +07:00
• e403e74b90 Feasible, unforgiving, and not the next thing to do Joseph Ferano 2026-09-13 09:22:04 +07:00
• fedaec3e18 recur is checked, which is the reason to prefer it over tail calls Joseph Ferano 2026-09-13 09:17:56 +07:00
• c897526e47 Following a pointer was never a type question; it was a permission question Joseph Ferano 2026-09-13 09:17:47 +07:00
• c73f05b052 Disassembly on request, and it is a debugging aid rather than evidence Joseph Ferano 2026-09-13 09:15:50 +07:00
• 042b2ce4d0 A restart is not a transaction, and nothing rolls back Joseph Ferano 2026-09-13 09:14:46 +07:00
• ec5062a0ed Alignment is a counter, not a property of the prologue Joseph Ferano 2026-09-13 09:14:44 +07:00
• faba8a49f8 The ABI probe catches a real misalignment, which is why it exists Joseph Ferano 2026-09-13 09:14:09 +07:00
• 662b25ef5b The note is emitted where the type is known, and dropped where it is not Joseph Ferano 2026-09-13 09:13:36 +07:00
• 0fbca40446 One function goes from Tast to machine code and answers correctly Joseph Ferano 2026-09-13 09:12:55 +07:00
• 61c41ed27c Structural typing and tuples are one piece of work Joseph Ferano 2026-09-13 09:09:29 +07:00
• ac31ebc211 An address can answer with a type, because the allocator's caller knew one Joseph Ferano 2026-09-13 09:08:38 +07:00
• 83369196a9 Keep the registry simple; revisit only on evidence Joseph Ferano 2026-09-13 08:59:27 +07:00
• fc6b0f5aba An allocation registry answers what is at an address, without tagging a struct Joseph Ferano 2026-09-13 08:57:13 +07:00
• 324d1c6c60 The generated bindings are committed, and the hand-written three stay excluded from them Joseph Ferano 2026-09-13 08:27:17 +07:00
• 1504258afb What the header check can actually contradict, said in headers too Joseph Ferano 2026-09-13 08:23:30 +07:00
• 7332bed14a The acceptance case stops asking for a header it no longer needs Joseph Ferano 2026-09-13 08:22:10 +07:00
• 4789ec0ddb A bad index signals, and the bindings a game's frame path needs are hand-written Joseph Ferano 2026-09-13 08:17:49 +07:00