mpizenberg

CIP-179 V6: potential improvements

Notes from an exploration of what a future version of CIP-179 could add. This is not a specification: it records directions, trade-offs and open questions, without settling encodings.

1. Goal and principles

V5 serves electorates the Cardano ledger already defines: DReps, SPOs, CC members, stake, keyholders. It is epoch-based because stake-weighted counting reads epoch snapshots.

V6 aims to reach real-world settings V5 cannot serve: electorates defined off-chain, answers that must stay private, and votes whose outcome binds a decision.

mpizenberg

# /// script
# requires-python = ">=3.10"
# dependencies = [
#     "matplotlib",
#     "numpy",
# ]
# ///

# Start the script with "uv run reserves-treasury-plot.py"

mpizenberg

# /// script
# requires-python = ">=3.10"
# dependencies = [
#     "requests",
# ]
# ///


import requests
import json

mpizenberg

Me

If I wanted to implement a new benchmarking tool for the Elm language, that would be similar to Emery Berger’s causal profiler called Coz, how could I do it?

Claude

To implement a benchmarking tool for Elm similar to Emery Berger's Coz causal profiler, you'd need to tackle several key aspects. Here's an outline of how you might approach this:

1. Understand Coz and causal profiling:

• Coz is a causal profiler that helps developers identify optimization opportunities in their code.

mpizenberg

#set par(justify: true)

*Goal*: being able to add line numbers, which are correct even in case of long lines that need wrapping.

*Strategy*: duplicate the code block, once for getting the line numbers correct, and the other for syntax highlighting. The idea is to split lines and prefix each line with its line number such that line wrapping should be respected.

#show raw.where(block: true): it => { set par(justify: false); grid(
  columns: (100%, 100%),
  column-gutter: -100%,
  block(width: 100%, inset: 1em, for i, line in it.text.split("\n") {

mpizenberg

function varargout = cached(cache_filepath, f, varargin )

if exist(cache_filepath, 'file') == 2
	load(cache_filepath, 'varargout');
else
	[varargout{1:nargout}] = f( varargin{:} );
	save(cache_filepath, 'varargout');
end

end

mpizenberg

type Msg = Debounce VirtualTime | ...

-- create a deferred (by timeout) command taking currentVirtualTime as an argument
checkIfNothingHappenedIn : Time -> VirtualTime -> Cmd Msg
checkIfNothingHappenedIn timeout currentVirtualTime =
    deferredCmd timeout (Debounce currentVirtualTime)

deferredCmd : Time -> Msg -> Cmd Msg

mpizenberg

isItLongEnoughCmd : Cmd Msg
isItLongEnoughCmd = Task.perform IsItLongEnough Time.now

mpizenberg

type alias Model = { ... , state : Debounce.State }

mpizenberg

// Avoid costly calculations while the window size is in flux.
jQuery(window).on(‘resize’, _.debounce(calculateLayout, 150));