Skip to content

Instantly share code, notes, and snippets.

View mrandri19's full-sized avatar
🅱️
All about that Bayes

Andrea Cognolato mrandri19

🅱️
All about that Bayes
View GitHub Profile
@brendanzab
brendanzab / pull-processing-syntax-trees.rs
Last active November 29, 2019 05:21
Pull-based tree processing for lambda calculi.
//! See [this twitter thread](https://twitter.com/brendanzab/status/1191233778854662144).
//!
//! Traditional syntax trees suffer from lots of pointer indirections and poor data locality!
//! Could we stream things instead, using [pull-based events](http://www.xmlpull.org/history/index.html)
//! as opposed to trees? This should be equivalent to our tree based approaches, but might
//! require us to think carefully about what our core calculus looks like in order to make
//! this kind of thing easier.
use std::sync::Arc;
@bkaradzic
bkaradzic / orthodoxc++.md
Last active September 18, 2024 17:03
Orthodox C++

Orthodox C++

What is Orthodox C++?

Orthodox C++ (sometimes referred as C+) is minimal subset of C++ that improves C, but avoids all unnecessary things from so called Modern C++. It's exactly opposite of what Modern C++ suppose to be.

Why not Modern C++?

@iamtekeste
iamtekeste / Download Google Drive files with WGET
Created July 8, 2015 11:00
Download Google Drive files with WGET
Download Google Drive files with WGET
Example Google Drive download link:
https://docs.google.com/open?id=[ID]
To download the file with WGET you need to use this link:
https://googledrive.com/host/[ID]
Example WGET command: