Skip to content

Instantly share code, notes, and snippets.

View hunglethanh9's full-sized avatar

Hung Le hunglethanh9

  • FPT University
  • Hanoi,Vietnam
View GitHub Profile
@leostratus
leostratus / AI-CogSci-Reading-List-RobotsConf-2013
Created December 7, 2013 17:50
This is an AI/Cognitive Science reading list from discussions at RobotsConf 2013. Please add to this list in the comments. Bonus point if all y'all keep 'em in chronological order. I'll update the master list later today! (Saturday December 7th 2013) Format: { Title } { Year_of_Publication } { Amazon_Link } { Short_Description}
How to Create a Mind
2013
http://www.amazon.com/How-Create-Mind-Thought-Revealed/dp/0143124048/
Great pop-cogsci book on Kurzweil's pattern recognition theory of mind. AI concepts such as hierarchal-hidden-markov-models and neural nets are discussed.
---
Consciousness: An Introduction
2003
http://www.amazon.com/Consciousness-Introduction-Susan-Blackmore/dp/019515343X/
@dominictarr
dominictarr / papers.md
Last active January 12, 2024 08:19
Distributed Systems Papers

(dominic: this list of papers was originally recommended to me by Brain Noguchi @bnoguchi, and was a great start to understanding distributed systems)

Here's a selection of papers that I think you would find helpful and interesting:

Time, Clocks, and the Ordering of Events in a Distributed System

The seminal paper about event ordering and concurrency. The important result is that events in a distributed system define a partially ordered set. The connection to what we're working on is fundamental, as this defines how to detect concurrent updates. Moreover, the chosen algorithm to turn the partially ordered set into a totally ordered set defines the conflict resolution algorithm.

http://research.microsoft.com/en-us/um/people/lamport/pubs/time-clocks.pdf

@vasanthk
vasanthk / System Design.md
Last active July 25, 2024 17:47
System Design Cheatsheet

System Design Cheatsheet

Picking the right architecture = Picking the right battles + Managing trade-offs

Basic Steps

  1. Clarify and agree on the scope of the system
  • User cases (description of sequences of events that, taken together, lead to a system doing something useful)
    • Who is going to use it?
    • How are they going to use it?
@w33ble
w33ble / design thinking.md
Last active June 23, 2024 12:53
Design Thinking

Design Thinking

A structured guide to the stuff you do anyway

design thinking diagram


Empathize

@rxwei
rxwei / ad-manifesto.md
Last active November 9, 2023 09:58
First-Class Automatic Differentiation in Swift: A Manifesto
@jensenak
jensenak / reinvent-2018-schedule-helper.js
Last active November 21, 2018 02:35
Quick set of functions to make it easier to see what's available at re:Invent 2018. Intended for use from the browser console on the AWS re:Invent 2018 Event Catalog.
// Use the code below to simplify your re:Invent 2018 schedule search.
// Paste these into your browser console just once. They will remain in scope even after you change filters.
function openSchedules(elems) {
// As long as the list of elements is non-zero in length, expand the last element and call openSchedules with the rest.
if (elems.length) {
var el = elems.pop();
setTimeout(openSchedules, 200, elems); // You could shorten the timeout, but that probably isn't polite.
el.click();
} else {
@suyash
suyash / Cargo.toml
Last active December 27, 2022 14:51
@karpathy's min-char-rnn.py in rust
[package]
name = "min-char-rnn-rs"
version = "0.1.0"
authors = ["Suyash <suyash93@protonmail.com>"]
edition = "2018"
[dependencies]
rulinalg = "0.4.2"
rand = "0.6.4"
indicatif = "0.11.0"
@rain-1
rain-1 / closure-conversion.rkt
Created February 16, 2019 10:06
Closure Conversion
#lang racket
;; this is a stand alone simple version of the closure conversion part of the hoist pass from the tarot compiler
;; see https://rain-1.github.io/scheme for more.
(require data/queue)
;; closure conversion for lambda calculus
;;
;; the input language is:
@michalc
michalc / table_csv_view.py
Created March 7, 2019 09:19
Django + gevent + psycopg2 download whole PostgreSQL table as CSV
import csv
import logging
import gevent
from psycopg2 import (
connect,
sql,
)
from django.conf import (