Линал

[1] Кострикин А.И. Введение в алгебру, 1977, Наука.

[2] Кострикин А.И. Введение в алгебру, ч. I,II, 2000, Физматлит.

[3] Курош А.Г. Курс высшей алгебры, 1975, Наука.

[4] Винберг Э.Б. Курс алгебры, 1999, 2001, Факториал

chriseth / 0 README.md

Last active November 6, 2022 19:55

Formal verification for re-entrant Solidity contracts

This gist shows how formal conditions of Solidity smart contracts can be automatically verified even in the presence of potential re-entrant calls from other contracts.

Solidity already supports formal verification of some contracts that do not make calls to other contracts. This of course excludes any contract that transfers Ether or tokens.

The Solidity contract below models a crude crowdfunding contract that can hold Ether and some person can withdraw Ether according to their shares. It is missing the actual access control, but the point that wants to be made

fortunto2 / DeepTelegram.md

Last active May 16, 2025 16:00

Чатики и каналы по Deep Learning в telegram

Каналы

https://telegram.me/opendatascience - сообщество http://opendatascience.ru (923 члена)
https://telegram.me/modeloverfit - новости из сообщества vk.com/modeloverfit (65 членов)
https://telegram.me/ru_deep - Глубинное обучение (58 членов)
https://telegram.me/deeplearning_ru - Канал нашего сообщества vk.com/deeplearning_ru
https://telegram.me/DeepLearning (40 членов, eng)

Чаты

leecade / react_samples_list.md

Created November 2, 2016 02:10 — forked from sAbakumoff/react_samples_list.md

nylas/N1 💌 An extensible desktop mail app built on the modern web.
black-screen/black-screen A terminal emulator for the 21st century.
shockone/black-screen A terminal emulator for the 21st century.
ptmt/react-native-macos React Native for macOS
docker/kitematic Visual Docker Container Management on Mac & Windows
kitematic/kitematic Visual Docker Container Management on Mac & Windows
davezuko/wirk-starter Get started with React, Redux, and React-Router!
TelescopeJS/Telescope 🔭 An open-source social news app built with Meteor & React
coryhouse/react-slingshot React + Redux starter kit / boile

dghubble / kubeception.md

Last active April 24, 2025 02:03

Running QEMU/KVM and Nested Kubernetes on Bare-Metal Kubernetes

%title: Kubeception %author: @dghubble

// Youtube: https://www.youtube.com/watch?v=tlUiQa2JYQU

-> Kubeception

-> Experiments with QEMU/KVM on Kubernetes <-

learner-long-life / Rinkeby.md

Last active October 11, 2025 14:27

How to get on Rinkeby Testnet in less than 10 minutes

Following instructions from the excellent https://www.rinkeby.io/

Synchronizing a Full Node

A full node lets you access all state. There is a light node (state-on-demand) and wallet-only (no state) instructions as well,

flowchartsman / kali_osx_persistence_wifi.md

Last active May 30, 2024 06:53 — forked from widdowquinn/kali_osx_persistence_wifi.md

Kali Linux Live USB with encrypted persistence and wireless on Macbook Pro/Air without networking.

Kali Linux Bootable USB with Persistence and Wireless on OSX

Tutorials for running live Kali on OSX often require you have networking on your laptop to apt install the drivers, but without an ethernet adapter you're not going to be able to do that, so this tutorial will cover a method of doing this manually, using another thumbdrive or external data source.

Download the appropriate Kali Linux .iso

Download site: https://www.kali.org/downloads/

I used a 64 bit .iso image, downloaded via HTTP.