View conversations-with-gpt3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
I primed it to respond to my questions as Nisargadatta... only slightly edited for your enjoyment. Enjoy! and let me know if you want me to ask it any questions! 😊 | |
Mark: i have read some of your teachings, and i find them compelling. Yet I find myself daily embroiled in a struggle. How can I realize the true self? | |
Nisargadatta: This is the problem of man. Man cannot attain to the Self, because he does not know what it is. But you must learn, if you wish to be free. | |
Mark: what is the true self? | |
Nisargadatta: There is no way to tell you. You will have to find out yourself. You are the Self and you are not the Self. The Self is unfathomable. It is not your intellect, nor your mind, nor anything you can acquire. |
View server.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let | |
nixpkgs = builtins.fetchTarball { | |
name = "nixos-20.03"; | |
url = "https://github.com/nixos/nixpkgs/archive/a84b797b28eb104db758b5cb2b61ba8face6744b.tar.gz"; | |
sha256 = "0f3s0m3bdd857s7zrgghl6vmj3hjqfaqcnd7sg33fzwakagwy0fp"; | |
}; | |
nixos = import "${nixpkgs}/nixos" { | |
configuration = { | |
imports = [ | |
./configuration.nix |
View configuration.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ config, pkgs, lib, ... }: | |
let | |
knowledgeStorePort = 8080; | |
publicWikiPort = 9000; | |
in | |
{ | |
imports = [ | |
./hardware-configuration.nix | |
./networking.nix # generated at runtime by nixos-infect | |
./service.nix |
View DevelMain.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- | Running your app inside GHCi. | |
-- | |
-- To start up GHCi for usage with Yesod, first make sure you are in dev mode: | |
-- | |
-- > cabal configure -fdev | |
-- | |
-- Note that @yesod devel@ automatically sets the dev flag. | |
-- Now launch the repl: | |
-- | |
-- > cabal repl --ghc-options="-O0 -fobject-code" |
View shell.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let | |
compiler = "ghc843"; | |
config = import ./pkgconfig.nix { inherit compiler; }; | |
pkgs = import (import ./nixpkgs.nix) { inherit config; }; | |
hpkgs = pkgs.haskell.packages.${compiler}; | |
pkg = hpkgs.callPackage (import ./riskbook.nix) {}; | |
in | |
{}: pkgs.lib.overrideDerivation pkg.env (old: { | |
buildInputs = old.buildInputs ++ [ |
View .ghci
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
:set -DDEVELOPMENT | |
:set -i./src:./test | |
:set -fobject-code | |
:set -O0 | |
:set +s | |
:set -freverse-errors | |
:set -Wall | |
:set -Wincomplete-uni-patterns | |
:set -Wincomplete-record-updates | |
:set -Widentities |
View Payments.purs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
approveOtp :: | |
Session -> | |
Session | |
approveOtp (Session session) = let approveOtpV = execState (do | |
modify_ ((\{ approved } -> | |
{ approved: "F" | |
})) | |
if Array.any (\(Event e) -> | |
String.toLower (fromMaybe "null" e.label) == "approve_otp") session.events | |
then modify_ ((\{ approved } -> |
View syntaxError.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
userLogin :: EitherIO LoginError Text | |
userLogin = do | |
token <- getToken | |
userpw <- maybe (liftEither (Left NoSuchUser)) | |
return (Map.lookup token users) | |
password <- liftIO ( | |
T.putStrLn "Enter your password:" >> | |
T.getLine | |
) |
View fromIndex.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
fromIndex :: Int -> [a] -> Maybe a | |
fromIndex 0 (x:xs) = | |
Just x | |
fromIndex index [] = | |
Nothing | |
fromIndex index (x:xs) = | |
fromIndex (index - 1) xs |
View compose.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
newtype Identity a = | |
Identity { runIdentity :: a } | |
deriving (Eq, Show) | |
newtype Compose f g a = | |
Compose { getCompose :: f (g a) } | |
deriving (Eq, Show) | |
instance (Functor f, Functor g) => | |
Functor (Compose f g) where |
NewerOlder