You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
agent performance rules for `ergodis` algebraic optimizer
Ergodis performance playbook
This is the routed detail behind performance.md. Load it completely before
implementing or changing a hot loop, profiling, running an A/B, adding a
measurement stage, or writing a performance report. performance.md states
the rules; this file says how each is met on this host, with the method
lessons this project has already paid for. Where the two differ, the stricter
reading binds.
Part one is the contract in full. Part two is the operating playbook.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
https://x.com/__alpoge__/status/2087504785952182273 4096 unreadable chars and a shell script.
----
Lemma: four ±1 circulants of order m, row sums (2,0,0,0), ΣPAF(s) = −4 for s≠0 ⇒ the bordered Goethals–Seidel array is Hadamard of order 4m+4. 668 = 4·166+4.
Proof: Write X for A, B, C, D and m = 166. The autocorrelation hypothesis says AAᵀ + BBᵀ + CCᵀ + DDᵀ = (4m+4)I − 4J. In the Goethals–Seidel array the R-conjugates of circulants commute, so the body Gram matrix is I₄ ⊗ (ΣXXᵀ) = (4m+4)I − 4(I₄ ⊗ J). Distinct body rows therefore have body inner product −4 within a block row and 0 across block rows.
Border the array by prefixing the four block rows with the pairwise orthogonal vectors +++−, −−+−, −+−−, +−−−. Two body rows in the same block row share a prefix, contributing +4 and cancelling the −4. Two body rows in different block rows contribute 0 in the prefix and 0 in the body. All body rows are now orthogonal, and each has norm 4m+4.
Adjoin four border rows whose blocks are constant ±1. Against a body r
i want you to do detailed Rich Hickey inspired review of our architecture. what have complected?
launch another inspired by John Ousterhout
and a Yaron Minsky review
now shriram krishnamurthi's review
...
Kmett's:
then finally Casey Muratori
...
This lead me to ChatGPT to see if it could talk sensibly about this research before the fact and in some way predict the approach used.
Tavis Rudd: Hypothetical ways to make a Traversable Wormhole with a Quantum Computer using AdS/CFT. Discuss it from the perspective of information theory and geometry
One possible approach to creating a traversable wormhole using a quantum computer and AdS/CFT is to leverage the holographic principle, which states that the physics of a gravitational system can be described by a lower-dimensional boundary theory. In the case of AdS/CFT, this boundary theory is a conformal field theory (CFT) that encodes the information about the bulk AdS space.
Using this principle, one could attempt to encode the geometry of the wormhole in the CFT, and then use the quantum computer to manipulate the CFT in order to manipulat
Messing around with type elaboration from ADT -> GADT
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Lazy, infinite recursive sequences in Bash (like in Haskell, if you squint). The result is ugly but interesting.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
some links related to my voice coding talk at #pycon
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
A partial list of the Kinesis Advantage / Controllermate / Emacs keybinding tweaks I've done.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters