bokner

%% Author: bokner
%% Created: Apr 10, 2010
%% Description: HTTP digest authentication
%% Note: the code follows the informal explanation given on Wikipedia.
%% Note: the test/0 function doesn't intend to send a proper data to webdav service, 
%% it just shows how to pass the authorization.
%% Disclaimer: Use on your own risk. The author disclaims any liability 
%% with regard to using this code.

-module(digest_auth).

bokner

#!/usr/bin/env escript

main([]) ->  

{ok, Client} = gen_client:start("[email protected]", "localhost", 5222, "password"),

%% We can add any number of handlers (callbacks) to the session
%% Message handler
gen_client:add_handler(Client, 
  fun(#received_packet{packet_type = message, type_attr = "chat", from = Jid}, _Session) ->

bokner

%% @author bokner
%% @doc Implementation of function call with recovery 


-module(recovery_test).

%% ====================================================================
%% API functions
%% ====================================================================
-export([test/1]).

bokner

#!/bin/sh
#
# %CopyrightBegin%
# 
# Copyright Ericsson AB 1996-2012. All Rights Reserved.
# 
# The contents of this file are subject to the Erlang Public License,
# Version 1.1, (the "License"); you may not use this file except in
# compliance with the License. You should have received a copy of the
# Erlang Public License along with this software. If not, it can be

bokner

1> l(dyntrace).
{module,dyntrace}

2> Match = [{'_', [], [{return_trace}]}]. %% Enable return trace for functions of any arity             
[{'_',[],[{return_trace}]}]

3> erlang:trace_pattern({'_','_','_'}, Match, []). %% Trace all functions     
2411

4> erlang:trace(all, true, [call,{tracer,dyntrace,[]}]). %% Trace function calls with dyntrace (i.e. LTTng)

bokner

## Commands to create lttng session/channel, start, stop and view results

### Create session 'test-0131' and channel 'ejabberd', specify the buffer size (4M)
lttng create test-0131
sudo lttng enable-channel ejabberd -u --subbuf-size=4M --session=test-0131

## Enable tracepoints (function_call and function_return)
sudo lttng enable-event -u org_erlang_dyntrace:function_return -c ejabberd
sudo lttng enable-event -u org_erlang_dyntrace:function_call -c ejabberd

bokner

async function loadScript(url) {
  let response = await fetch(url);
  let script = await response.text();
  eval(script);
}

loadScript("https://cdn.jsdelivr.net/pako/1.0.3/pako.min.js")

bokner

cd minisearch
## Note the path for solver executable
minisearch --stdlib-dir ./share/minizinc --solver /snap/minizinc/254/bin/fzn-gecode n_queens.mzn

Solution 1:
8 queens, CP version:
. Q . . . . . . 
. . . Q . . . . 
. . . . . Q . . 
. . . . . . . Q 

bokner

-module(bit_vector).

-export([new/1, get/2, set/2, clear/2, flip/2, print/1]).


new(Size) ->
    Words = (Size + 63) div 64,
    {?MODULE, Size, atomics:new(Words, [{signed, false}])}.

get({?MODULE, _Size, Aref}, Bix) ->

bokner

alias CPSolver.IntVariable
alias CPSolver.Model
alias CPSolver.Constraint
alias CPSolver.Constraint.Factory
alias CPSolver.Constraint.NotEqual  
alias CPSolver.Constraint.Equal
import CPSolver.Variable.View.Factory # For linear

x = IntVariable.new(0..3, name: "x")
y = IntVariable.new(0..3, name: "y")