March 2022 - cypherpunks - lists.cpunks.org

Alias Stone and Jones
by professor rat 09 Mar '22

09 Mar '22

Gramps garbage-scow truckers are reportedly meeting with Ted Cruz and Ron Johnson. The abyss calling the abyss. And in other related swamp news . . . https://www.palmerreport.com/analysis/doj-indicts-proud-boys-leader-enrique…

1 0

Rockets to Russia
by professor rat 09 Mar '22

09 Mar '22

@pwnallthethings · 15m V interesting statement by Poland on providing jets to UA. Looks like they’ll be flown to Ramstein Air Base in Germany, and rebranded as US aircraft prior to being delivered as a construction to keep Poland and Polish airbases out of it https://gov.pl/web/diplomacy/statement-of-the-minister-of-foreign-affairs-o… Sometimes you have to sail West to get to the East - Amirite?

1 0

Adam Zarazinski needs killing ( My 20 sats )
by professor rat 09 Mar '22

09 Mar '22

Adam Zarazinski is CEO of Inca Digital, a digital asset data and analytics provider for cryptocurrency exchanges, financial institutions and government agencies, including the Department of Defense. He is a Major in the U.S. Air Force Reserve. https://www.coindesk.com/layer2/2022/03/08/national-security-at-stake-with-…

1 0

We're Witnessing Birth of a New World
by professor rat 09 Mar '22

09 Mar '22

https://www.coindesk.com/policy/2022/03/08/credit-suisse-strategist-says-we… Don't let dumb and cowardly types ( like Ron Wyden ) put you off.

1 0

Fwd: [External Message Added] City of Miami public records request #22-459
by Gunnar Larson 09 Mar '22

09 Mar '22

---------- Forwarded message --------- From: PublicRecords(a)miamigov.com <support(a)nextrequest.com> Date: Tue, Mar 8, 2022, 12:07 PM Subject: [External Message Added] City of Miami public records request #22-459 To: <g(a)xny.io> -- Attach a non-image file and/or reply ABOVE THIS LINE with a message, and it will be sent to staff on this request. -- City of Miami Public Records A message was sent to you regarding record request #22-459: Good afternoon, The special service charge for revised searches is $42.81. As Mr. Fossler stated on 2/11/22, we can waive the fee to narrow down the results. However, any future revised searches will require a fee of $42.81. Thus, if the search terms I sent to you yesterday are fine, please let us know, and we will run the search. If you wish to propose other terms, please do so no later than cease of business 3/9/22; otherwise, the search will be run as stated below. Dates: 1/1/2021 – 2/7/2022 Search Terms / Phrases: ("Harvard Management Company” OR “Digital World Acquisition Corp*” OR “DWAC”) AND (“Citycoin” OR “Miamicoin” OR “STX” OR “Stack”) Thank you. View Request 22-459 <https://miami.nextrequest.com/requests/22-459> https://miami.nextrequest.com/requests/22-459 POWERED BY NEXTREQUEST <https://www.nextrequest.com> The All in One Records Requests Platform *Questions about your request?* Reply to this email or sign in to contact staff at City of Miami. *Technical support:* See our help page <https://help.nextrequest.com/knowledge/requester-resources>

1 0

One stablecoin to find them
by professor rat 09 Mar '22

09 Mar '22

And in the darknets bind them https://dailyhodl.com/2022/03/08/crypto-analyst-says-technology-behind-terr… “Our view on LUNA is as follows: I do love it. I do believe decentralized, algorithmic-based, fiat-pegged stablecoins are the future. They will be the mechanism by which all payments are made on the blockchain and perhaps in other parts of the world. . . "

1 0

Women in cryptoanarchy
by professor rat 09 Mar '22

09 Mar '22

The Sandbox, World of Women Form $25M NFT Alliance https://decrypt.co/94583/the-sandbox-world-women-form-25m-nft-alliance-wow-… foundation will create educational and mentorship opportunities for women—both within the metaverse game world and beyond. ALSO . . . Unstoppable Domains Giving Away $10M in Domains to Support Women in Web3 More than 60 prominent Web2 and Web3 companies have signed a pledge to “feature work created by historically marginalized groups.” ( DECRYPT )

1 0

Calling all Natural Rights Anarchists
by professor rat 09 Mar '22

09 Mar '22

Stand up - stand up for natural-rights-anarchy in the Donbass! https://www.palmerreport.com/analysis/putin-just-gave-away-how-afraid-he-is…

1 0

Computer science for cypherpunks
by professor rat 09 Mar '22

09 Mar '22

Though modern computer science increasingly resembles quantum-physics and list policy informally sorts long technical posts for ' Coderpunks ', there could always be a place for basic machine logic here. An if statement is a programming conditional statement that, if proved true, performs a function or displays information. Below is a general example of an if statement, not specific to any particular programming language. " If a cypherpunk supported Jeremy Hammond they are far too stupid to be an activist let alone any kind of anarchist."

1 0

[spam][julia][wrong] Probabilistic Program Synthesis?
by Undiscussed Horrific Abuse, One Victim of Many 09 Mar '22

09 Mar '22

The first thing you think when reading about julialang is probably along the lines of, "oh i could totally make a hyperintelligent computer virus that took over the world, with that". Imagine crowds and crowds of engineers thinking this. Well, I websearched for "julia function synthesis", and lo and behold, it's in the standard library. Or maybe they just centralise the docs for the package repository, I'm not sure. https://docs.juliahub.com/Synthesizer/b8Maw/0.1.0/ I'll read this while typing it into this email, so that I might get farther. It sounds cool. Note: It may be productive to focus on speeding the crafting of tests. Additionally, the function generator does not yet consolidate and optimize its result. - This is the documentation for the Synthesizer.jl program synthesis system. [ https://github.com/femtomc/Synthesizer.jl ] The goal of this package is to provide a set of interfaces for probabilistic program synthesis via sketching. he hope is to faciliate research into probabilistic program synthesis, as well as provide a pipeline to optimize synthesized programs as IR fragments, before compilation into a method body in Julia. The idea behind sketching is to provide a high-level skeleton of the program (or function) you want to synthesize. This high-level skeleton contains a number of "holes" which the synthesizer should fill with an expression or function. Let's say we wanted to synthesize a sorting program. function sort!(x::Array{T}) where T <: Number while !check(x) x = hole(array_operation, x) end return x end Here, I've provided the high-level structure of the function (e.g. control flow) but I've also inserted a hole, and I'm telling the synthesizer what sort of hole it should be (an array_operation function, which acts on x). array_operation is defined by a miniature DSL. @lang (array_operation) _1 expr = begin 0.20 => swap!(_1) 0.20 => reorder(_1) 0.20 => swap_head!(_1) 0.20 => swap_tail!(_1) 0.20 => reverse(_1) end This DSL is probabilistic - the numbers on the left-hand side correspond to probability of selection by the synthesizer. Furthermore, we've specified that holes of array_operation take in a single argument (here, by specifying _1 before defining the expr of type array_operation). In our high-level program, we've cheated a bit by providing a way for the program to determine if it's sorted the list correctly. The function check checks if the array satisfies the sorted condition. function check(x::Array{T}) where T <: Number length(x) == 1 && return true i = x[1] for j in x[2 : end] if !(i < j) return false end i = j end return true end To summarize: in Synthesizer.jl, the user writes small probabilistic DSLs (specifically, probabilistic context-free grammars) which can then be used inside holes in other functions. The process of synthesis is expressed using a universal trace-based probabilistic programming system. [ https://github.com/femtomc/Jaynes.jl ] The core of the engine is a multi-threaded rejection sampler. function synthesize(sel::Array{K}, fn::Function, pair::T; iters = 50) where {K <: Jaynes.ConstrainedSelection, T <: Tuple} in, out = pair success = Jaynes.CallSite[] Threads.@threads for s in sel for i in iters ret, cl, w = generate(s, fn, in) out == ret && push!(success, cl) end end return success end function synthesize(fn::Function, pairs::Array{T}; iters = 50) where T <: Tuple local cls constraints = [selection()] for p in pairs cls = synthesize(constraints, fn, p; iters = iters) cls == nothing && return cls constraints = map(cls) do cl get_selection(cl) end end return cls end Here, synthesize requires that the user pass in a function with holes, as well as pairs of (input, output) tuples. generate generates a set of possible solutions. This version of synthesize will return an Array of successful traces (if the search succeeds). The CallSite representation is a trace of the original function, as well as a recording of the choices made by the PCFG. In future versions, Synthesizer.jl will support the ability to compile these traces into IR and generate a new (optimized) method body for the synthesized function.

1 12