#+CATEGORIES[]: programming #+tags[]: type type-system higher-order-type covariant contravariant invariant variances
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
(parenscript:ps | |
(paren6:defclass6 (big-thing) | |
(defun constructor (size) nil)) | |
(setf (ps:@ big-thing targets) | |
'("foo" "bar")) | |
) | |
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
http://karpathy.github.io/2021/06/21/blockchain/ |
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
require 'pathname' | |
SRCS = FileList['**/*.c'] | |
DSTS = SRCS.ext('o').pathmap('build/%d/%f').map do |f| | |
Pathname.new(f).cleanpath.to_s | |
end | |
DST_TO_SRC_H = DSTS.zip(SRCS).to_h | |
task :compile => DSTS |
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
# 최 상위 EditorConfig 파일 | |
root = true | |
# 모든 파일에 유닉스 스타일의 줄바꿈과 파일 끝을 지정합니다 | |
[*] | |
end_of_line = lf | |
insert_final_newline = true | |
# 여러 유형의 확장자에 대한 기본 문자열 설정을 합니다 | |
[*.{js,py}] |
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
root = true | |
[*] | |
indent_style = space | |
indent_size = 2 | |
end_of_line = lf | |
charset = utf-8 | |
trim_trailing_whitespace = true | |
insert_final_newline = true |
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
https://dbus.freedesktop.org/doc/dbus-send.1.html | |
https://www.freedesktop.org/wiki/Software/dbus/ | |
# Desktop Notifications Specification | |
http://www.galago-project.org/specs/notification/0.9/x408.html | |
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
(defparameter *p* (sb-ext:run-program "/usr/bin/wish" '() | |
:wait nil | |
;;:pty t | |
:input :stream | |
:output :stream | |
)) | |
(defparameter *p* (sb-ext:run-program "/usr/bin/wish" '() | |
:wait nil | |
:pty t |
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
#!/usr/bin/env python | |
# STOLEN FROM: https://stackoverflow.com/a/39551083/3309907 | |
from tkinter import * | |
class OnOk(object): | |
__slots__ = ['root', 'var'] | |
def __init__(self, root, var): |
NewerOlder