Skip to content

Instantly share code, notes, and snippets.

View tjweir's full-sized avatar

Tyler Weir tjweir

View GitHub Profile
@ruvnet
ruvnet / Heuristic-Thinkers.md
Created February 11, 2025 13:10
Humans as Heuristic Thinkers: This paper advances the thesis that human reasoning is fundamentally heuristic-based, lacking truly independent, abstract rational processing in most situations

Humans as Heuristic Thinkers: A Multi-Disciplinary Analysis

1. Introduction

Defining Reasoning and Heuristics: Human reasoning is commonly defined as the conscious mental process of drawing conclusions or inferences from premises or evidence. It implies deliberation and logical evaluation aimed at reaching a truth or decision. In contrast, heuristics are often described as mental shortcuts or “rules of thumb” that simplify problem-solving. In cognitive psychology, a heuristic is “a process of intuitive judgment, operating under uncertainty, that rapidly produces a generally adequate, though not ideal or optimal, solution” (Heuristic | Definition, Examples, Daniel Kahneman, Amos Tversky, & Facts | Britannica). Heuristics provide quick, effort-minimal answers by exploiting prior knowledge and patterns, at the cost of occasionally leading to biase

@timesler
timesler / deploy_dolly_v2.ipynb
Created April 21, 2023 23:03
Deploy Dolly v2.0 to SageMaker
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@tjweir
tjweir / CONDTIONALS
Created April 3, 2021 18:15 — forked from alptugan/CONDTIONALS
Sonic Pi Cheat Sheet
So, let’s flip a coin: if it’s heads, play a drum, if it’s tails, play a cymbal. Easy. We can emulate a coin flip with our one_in function (introduced in the section on randomness) specifying a probability of 1 in 2: one_in(2). We can then use the result of this to decide between two pieces of code, the code to play the drum and the code to play the cymbal:
loop do
if one_in(2)
sample :drum_heavy_kick
else
sample :drum_cymbal_closed
end

Programmer: Atlanta, GA, No Remote, Full-Time

Layer 3 Communications is a professional services organization and network systems integrator. We use Haskell to build network security applications that revolve around either analyzing network data or configuring networks.

Networking knowledge can be learned on the job, and thus is not required.

Our stack:

  • Backend: Haskell
  • Frontend: Small amounts of JavaScript
  • Database: Postgres
@domenkozar
domenkozar / nix-error-messages-gig.md
Last active November 28, 2019 16:08
Nix error messages gig

Nix error messaging improvements

The goal is to improve beginner experience in Nix.

1. Create github.com/NixOS/nix-message-catalog

Go through Nix issues, move those related to error messages in our new repo.

2. Display the snippet of code where the error happened based on the source position

@Icelandjack
Icelandjack / GhostsViaDepartedProofs.md
Last active November 10, 2019 15:46
Ghosts Via Departed Proofs

Ghosts of Departed Proofs introduces sortBy. It sorts using a comparison function a -> a -> Ordering named "comp". The name is then recorded in the return type: "this list is sorted by comp"!

type Cmp :: Type -> Type
type Cmp a = (a -> a -> Ordering)

sortBy :: Cmp a~~comp -> [a] -> SortedBy comp [a]
import Control.Applicative
import Text.ParserCombinators.ReadP
data WindInfo = WindInfo
{ dir :: Int
, speed :: Int
, gusts :: Maybe Int
}
deriving Show
@divarvel
divarvel / Lib.hs
Created December 31, 2018 09:36
A tale of servant clients
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TemplateHaskell #-}
@tonyday567
tonyday567 / .travis.yml
Created December 12, 2018 11:02
A multi-ghc/cabal/stack haskell travis
language: haskell
dist: trusty
cache:
directories:
- $HOME/.cabal/packages
- $HOME/.cabal/store
- $HOME/.stack
- $TRAVIS_BUILD_DIR/.stack-work
@graninas
graninas / enq-node-framework.md
Last active February 26, 2025 03:34
Building network actors with Node Framework