This website requires JavaScript.
Explore
Help
Sign In
giles
0 Followers
·
0 Following
Joined on
2024-04-09
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
Projects
Packages
Public Activity
Starred Repositories
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-26 19:54:05 +00:00
46e0653911
fed-prims: Phase J — http-request + 6 tests
giles
pushed to
loops/fed-sx-m1
at
coop/rose-ash
2026-05-26 19:45:03 +00:00
11ed4ddf27
fed-sx-m1: Step 1a — next/ skeleton + README + gitignore
abde5fbac1
Merge loops/erlang into architecture: Phase 8 host-primitive BIFs (crypto/cid/file:list_dir)
Compare 2 commits »
giles
created branch
loops/fed-sx-m1
in
coop/rose-ash
2026-05-26 19:45:03 +00:00
giles
pushed to
loops/erlang
at
coop/rose-ash
2026-05-18 22:03:53 +00:00
b7fcd17e6e
Merge remote-tracking branch 'origin/loops/erlang' into loops/erlang
89ce7b857d
erlang: wire file:list_dir/1 against file-list-dir (Phase 8, +4 ffi tests); 729/729, progress log
4591ac530b
erlang: wire cid:from_bytes/1 + cid:to_string/1 against cid-from-bytes/cid-from-sx (Phase 8, +7 ffi tests)
250d0511c0
erlang: wire crypto:hash/2 against crypto-sha256/512/sha3-256 (Phase 8, +6 ffi tests)
380bc69f94
Merge loops/fed-prims into architecture: fed-sx host primitives (Phases A-I)
Compare 1531 commits »
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 18:48:37 +00:00
4548461bfc
fed-prims: Phase I — handoff (RESOLVED blocker + primitive->BIF mapping)
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 18:25:26 +00:00
7d9dddcc80
fed-prims: Phase H — native-only http-listen HTTP/1.1 server + curl test
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 17:57:22 +00:00
36be6bf44b
fed-prims: Phase G — file-list-dir (Sys.readdir, sorted, native-safe)
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 17:32:36 +00:00
f8fc04840a
fed-prims: Phase F — RSA-SHA256 PKCS#1 v1.5 verify, pure OCaml, RSA-2048 vector
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 17:06:02 +00:00
76d1e9f53a
fed-prims: Phase E — Ed25519 verify (RFC 8032), pure-OCaml bignum + edwards25519
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 16:36:45 +00:00
d8b57784fe
fed-prims: Phase D — CIDv1 (multihash + base32 multibase), pure OCaml, canonical IPFS vectors
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 16:10:38 +00:00
bcaaa11916
fed-prims: Phase C — dag-cbor encode/decode, pure OCaml, RFC 8949 vectors + determinism
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 15:43:53 +00:00
451bd4be62
fed-prims: Phase B — SHA3-256 (Keccak-f[1600]), pure OCaml, 4 NIST vectors
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 15:17:56 +00:00
19932a42a9
fed-prims: Phase A — SHA-256 + SHA-512, pure OCaml, 7 NIST vectors
giles
pushed to
loops/fed-prims
at
coop/rose-ash
2026-05-18 15:00:48 +00:00
3629dd96a9
fed-prims: bootstrap plan + loop briefing
a341041627
datalog: scoreboard bump (preserve before loops/erlang merge)
715fab86d2
Merge loops/sx-vm-extensions into architecture: hosts/ocaml VM opcode extension mechanism
f026177e63
vm-ext: phase E — JIT skips lambdas containing extension opcodes
f3192f7fda
vm-ext: phase D — extensions/ subtree + test_ext + opcode_name lookup
Compare 9 commits »
giles
created branch
loops/fed-prims
in
coop/rose-ash
2026-05-18 15:00:46 +00:00
giles
pushed to
architecture
at
coop/rose-ash
2026-05-14 20:40:03 +00:00
a76d072d3f
lua: re-apply arch's GUEST-lex prefix-rename refactor on top of merged loops/lua
97c800a36b
Merge lib/guest/test-runner into architecture: test-runner.sx + Kernel migration (POC)
0526f796f4
Merge lib/guest/quoting into architecture: quoting.sx + Kernel/Scheme migrations
e5d751c5fb
Merge lib/guest/method-chain into architecture: class-chain.sx + Smalltalk/CLOS migrations
8525165594
Merge loops/minikanren into architecture: Phase 5 disequality + Phase 6 FD constraints + Phase 7 SLG tabling
Compare 788 commits »
giles
pushed to
lib/guest/quoting
at
coop/rose-ash
2026-05-14 07:55:12 +00:00
90cd0f8f6f
plans: kernel-on-sx — log quoting.sx extraction + evaluator.sx decline
giles
pushed to
lib/guest/quoting
at
coop/rose-ash
2026-05-14 07:54:20 +00:00
818e68a2f8
reflective: extract quoting.sx — Kernel + Scheme share quasiquote walker
giles
created branch
lib/guest/quoting
in
coop/rose-ash
2026-05-14 07:54:20 +00:00
giles
pushed to
loops/scheme
at
coop/rose-ash
2026-05-14 06:53:39 +00:00
26112f1003
plans: scheme-on-sx progress log — 11 phases done, 296 tests
First
Previous
...
4
5
6
7
8
...
Next
Last