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; |