lucadonnoh

:- discontiguous malicious/1.
:- discontiguous finalized_invalid_root/1.
:- discontiguous recovers/1.
:- discontiguous invalid_state/1.

% DEFINED IN PROXY

malicious_upgrade(proxy(_, Admin)) :- malicious(Admin).

% DEFINED IN MULTISIG (e.g. GNOSIS SAFE)

wilderlopes

List of terminal-based developer tools that deliver value in 30 seconds

• miniogre: from source code to reproducible envionments, in seconds
  • pip install miniogre
  • Go to project folder
  • Run miniogre run
• freeze: generate images of code and terminal output
  • brew install charmbracelet/tap/freeze
  • freeze --execute "ls -ltra"
• uv: An extremely fast Python package installer and resolver, written in Rust

Anniepoo

:- module(clpfdwsc, [go/1]).

:-use_module(library(clpfd)).

go(M) :-
    wsc([[0,0,0,0]], M),
    flatten(M, FM),
    label(FM).

wsc([[1,1,1,1]|R], [[1,1,1,1]|R]).

SansGuidon

FROM	centos
RUN	yum groupinstall -y "Development Tools" \
        && yum -y install epel-release \
	&& yum clean all
RUN	yum -y install \
		git \
		ninja-build \
		libunwind \
		freetype-devel \
		gmp-devel \

sol-prog

# Commands used in the video https://youtu.be/-bCG87jBDqA :

sudo apt update && sudo apt upgrade -y

git clone https://bitbucket.org/sol_prog/raspberry-pi-gcc-binary.git
cd raspberry-pi-gcc-binary
tar -xjvf gcc-9.1.0-armhf-raspbian.tar.bz2
sudo mv gcc-9.1.0 /opt
cd ..
rm -rf raspberry-pi-gcc-binary

mndrix

:- use_module(library(clpfd)).

dcg(Arabic) -->
    { Arabic in 1..3999 },
    roman(Arabic),
    !.

roman(Total) -->
    { Rest #>= 0 },
    { Total #= Value + Rest },

sergio-castro

import jpl.Atom;
import jpl.Compound;
import jpl.JPL;
import jpl.Query;
import jpl.Term;


/**
 * This class shows how to configure Logtalk in SWI or YAP using the Jpl library.
 * You need to have the jpl jar in your classpath to compile and execute this file.

dupuy

Markdown and reStructuredText

GitHub supports several lightweight markup languages for documentation; the most popular ones (generally, not just at GitHub) are Markdown and reStructuredText. Markdown is sometimes considered easier to use, and is often preferred when the purpose is simply to generate HTML. On the other hand, reStructuredText is more extensible and powerful, with native support (not just embedded HTML) for tables, as well as things like automatic generation of tables of contents.