etorreborre

RULES FOR THIS UNIQUE REPO

• This repo exists to give agents durable memory while working with *Unison/UCM.
• Unison code is not primarily stored as files; Unison sketches are created in ephemeral .u files which can be typechecked, and once they typecheck, can be added to the "unison codebase" aka "codebase" which is managed by UCM
• you Interact with UCM via the unison MCP
• therefore, do not treat .u files as durable source-of-truth.
• Use beads when possible so workflow context is injected about the specific task being worked on
• Try to keep tasks in beads small
• Assume that any library a project depends on is also in UCM. You should aggressively suggest improvements to other projects by creating issues in their beads database.
• For any project we work with in UCM we will on demand create a projects/<slug>/' directory using ./bin/add-project `. This will create the directory structure, initialize a beads database, and create the initial PROJECT.md file.

etorreborre

Latency Comparison Numbers (~2012)
----------------------------------
L1 cache reference                           0.5 ns
Branch mispredict                            5   ns
L2 cache reference                           7   ns                      14x L1 cache
Mutex lock/unlock                           25   ns
Main memory reference                      100   ns                      20x L2 cache, 200x L1 cache
Compress 1K bytes with Zippy             3,000   ns        3 us
Send 1K bytes over 1 Gbps network       10,000   ns       10 us
Read 4K randomly from SSD*             150,000   ns      150 us          ~1GB/sec SSD

etorreborre

{
  "lockfile-version": 1,
  "manifest": {
    "version": 1,
    "install": {
      "cabal-install": {
        "pkg-path": "cabal-install"
      },
      "ghc": {
        "pkg-path": "ghc"

etorreborre

2024-12-28T15:58:44.713835Z DEBUG flox: set _FLOX_PKGDB_VERBOSITY=3
2024-12-28T15:58:44.715656Z DEBUG flox::config: reading raw config (initialized: true, reload: false)
2024-12-28T15:58:44.718015Z DEBUG flox::commands: Skipping update check in development mode
2024-12-28T15:58:44.718371Z DEBUG flox::commands: Metrics collection disabled
2024-12-28T15:58:44.719836Z DEBUG flox::utils::init::catalog_client: using catalog client with url: https://api.flox.dev
2024-12-28T15:58:44.725297Z DEBUG flox::utils::init::metrics: Attempting to read own UUID from file
2024-12-28T15:58:44.725645Z TRACE flox_command: subcommand="activate"
2024-12-28T15:58:44.725655Z DEBUG flox::utils::metrics: No metrics client setup, skipping record
2024-12-28T15:58:44.726884Z DEBUG flox::commands: detected concrete environment type: managed
2024-12-28T15:58:44.727338Z DEBUG flox_rust_sdk::models::floxmeta: no FloxHub token configured

etorreborre

2024-12-28T15:59:18.437238Z DEBUG flox: set _FLOX_PKGDB_VERBOSITY=3
2024-12-28T15:59:18.438991Z DEBUG flox::config: reading raw config (initialized: true, reload: false)
2024-12-28T15:59:18.440693Z DEBUG flox::commands: Metrics collection disabled
2024-12-28T15:59:18.440741Z DEBUG flox::commands: Skipping update check because we can't prompt the user
2024-12-28T15:59:18.441874Z DEBUG flox::utils::init::catalog_client: using catalog client with url: https://api.flox.dev
2024-12-28T15:59:18.446854Z DEBUG flox::utils::init::metrics: Attempting to read own UUID from file
2024-12-28T15:59:18.447053Z TRACE flox_command: subcommand="activate"
2024-12-28T15:59:18.447063Z DEBUG flox::utils::metrics: No metrics client setup, skipping record
2024-12-28T15:59:18.447909Z DEBUG flox::commands: detected concrete environment type: managed
2024-12-28T15:59:18.448152Z DEBUG flox_rust_sdk::models::floxmeta: no FloxHub token configured

etorreborre

```
git log -1 --pretty=full | head -1 | awk '{ print $2 }' | pbcopy
```

etorreborre

ssh-keygen -t rsa -b 4096 -N '' -C "rthijssen@gmail.com" -f ~/.ssh/id_rsa
ssh-keygen -t rsa -b 4096 -N '' -C "rthijssen@gmail.com" -f ~/.ssh/github_rsa
ssh-keygen -t rsa -b 4096 -N '' -C "rthijssen@gmail.com" -f ~/.ssh/mozilla_rsa

etorreborre

{-
It would be nice to be able to derive a `FFunctor` instance for some data types as
shown below
-}

class FFunctor f where
  ffmap :: (forall a. m a -> n a) -> f m -> f n

  -- can we define a default ffmap which would work when m :: Type -> Type?
  -- default ffmap

etorreborre

{-

See https://www.reddit.com/r/haskell/comments/q1oyws/dependency_injection_using_a_recordoffunctions
for full context

-}


{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE DeriveGeneric #-}

etorreborre

package examples

import org.specs2.*

class AssertionSpec extends Specification:
  def is = s2"""
    authors must be correct $book1
    authors must be correct $book2
    book must be correct $book3
  """