Top HN posts
This project is a tiny compiler for a very simple language consisting of boolean expression.
The language has two constants: 1 for true and 0 for false, and 4 logic gates:
! (not), & (and), | (or), and ^ (xor).
It can also use parentheses to manage priorities.
Here is its grammar in BNF format:
expr ::= "0" | "1"
Lecture 1: Introduction to Research — [📝Lecture Notebooks] [
Lecture 2: Introduction to Python — [📝Lecture Notebooks] [
Lecture 3: Introduction to NumPy — [📝Lecture Notebooks] [
Lecture 4: Introduction to pandas — [📝Lecture Notebooks] [
Lecture 5: Plotting Data — [📝Lecture Notebooks] [[
| Code from PyCon India 2019 Keynote Talk | |
| David Beazley (https://www.dabeaz.com) | |
| ====================================== | |
| This code is presented "as is" and represents what was live-coded | |
| during my closing keynote presentation at PyCon India, Chennai, | |
| October 13, 2009. I have made no changes to the files. | |
| Requires: Python 3.6+, numpy, pygame |
| from typing import List, NamedTuple, Tuple, Union | |
| from math import ceil, log2 | |
| from random import randint | |
| from functools import reduce | |
| import operator | |
| from py_ecc import bn128 as curve | |
| """ | |
| Implementation of PolyCommit_{DL} from: |
(This is a translation of the original article in Japanese by moratorium08.)
(UPDATE (22/3/2019): Added some corrections provided by the original author.)
Writing your own OS to run on a handmade CPU is a pretty ambitious project, but I've managed to get it working pretty well so I'm going to write some notes about how I did it.
| """ | |
| MIT License https://github.com/FactomProject/ptnet-eventstore/blob/master/LICENSE | |
| Finite is a - Rank 1 Constraint System: (R1CS) | |
| That uses Petri-Nets as a means to construct Zero Knowledge Proofs. | |
| The author is planning to deploy using The Factom Blockchain https://www.factom.com/factom-blockchain/ | |
| with the notion that this protocol is useful as an addressing system to index other forms of proofs. | |
| Because Factom can isolate users from the need to own cryptocurrency, it is hoped that adoption can reach outside of |
| /* | |
| See https://gitlab.com/nedopc/npc5/blob/master/emu-rv32i.c for the latest version, with more features and less bugs :-) | |
| RISCV emulator for the RV32I architecture | |
| based on TinyEMU by Fabrice Bellard, see https://bellard.org/tinyemu/ | |
| stripped down for RV32I only, all "gotos" removed, and fixed some bugs for the compliance test | |
| by Frank Buss, 2018 | |
| Requires libelf-dev: |
| contract auction { | |
| // An auction contract written in Solidity | |
| // Can be deployed similarly to what is described at: | |
| // https://dappsforbeginners.wordpress.com/tutorials/your-first-dapp/ | |
| // Initialization. | |
| // Remembering bids from each address. | |
| mapping (address => uint) bids; | |
| // Also remembering the max_bid and the max_bidder to easily determine the winner. | |
| uint max_bid = 0; |