Skip to content

Instantly share code, notes, and snippets.

View Zeta611's full-sized avatar
🎯
Focusing

Jay Lee Zeta611

🎯
Focusing
View GitHub Profile
@crabdancing
crabdancing / quick-nix-repl-tutorial.md
Last active November 12, 2024 05:41
a quick nix repl tutorial

If you want to probe a nix flake and figure out what it exposes, I typically just load it into nix repl and then tab complete around until I find what I'm looking for. E.g.:

$ nix repl
Welcome to Nix 2.18.5. Type :? for help.

nix-repl> :lf github:wez/wezterm/main?dir=nix
Added 12 variables.
@pynappo
pynappo / neovim-lsp-explainer.md
Last active October 21, 2024 00:07
A chart describing neovim lsp vs coc
%%{init: {"flowchart": {"htmlLabels": false}} }%%
flowchart LR
  subgraph LSP
    subgraph lsp.install [Install language servers]
      subgraph mason-pkg [Local to neovim]
        mason.nvim
      end
      system-pkg["System
      package managers"]
@Pusnow
Pusnow / CS 분야 우수 학술대회 목록.csv
Last active November 17, 2024 07:57
CS 분야 우수 학술대회 목록
약자 한국정보과학회 (2020) BK21플러스 IF (2018) KAIST CS (2022) SNU CSE (2024.4) POSTECH CSE (2023.10) 평균 (정규화) 학회명 DBLP Key
AAAI 최우수 4 O O 최우수 1.00 AAAI Conference on Artificial Intelligence (AAAI) conf/aaai
AAMAS 우수 2 0.20 International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS) conf/atal
ACCV 우수 1 우수 0.25 Asian Conference on Computer Vision (ACCV) conf/accv
ACL 최우수 4 O O 최우수 1.00 Annual Meeting of the Association for Computational Linguistics (ACL) conf/acl
ACL Findings 우수 0.10 Findings of ACL series/findacl
ACSAC 우수 2 우수 0.30 Annual Computer Security Applications Conference (ACSAC) conf/acsac
AIED 우수 0.10 International Conference on Artificial Intelligence in Education (AIED) conf/aied
AISTATS 우수 1 우수 0.25 International Conference on Artificial Intelligence and Statistics (AISTATS) conf/aistats
ANCS 우수 1 우수 0.25 Symposium on Architectures for Networking and Communications Systems (ANCS) conf/ancs
@Zeta611
Zeta611 / Zcombinator.swift
Created August 9, 2022 12:53
[Fixed-point combinator in Swift] Fixed-point combinator (Z combinator) in Swift. Y combinator is not available, as Swift is a strict language. #demo
struct Fix<T> {
let x: (Fix<T>) -> T
}
func fix<T, U>(f: @escaping (@escaping (T) -> U) -> ((T) -> U)) -> (T) -> U {
{ _fix in
f { (_fix.x(_fix))($0) }
}(
Fix { _fix in
f { (_fix.x(_fix))($0) }
@norswap
norswap / Parser.java
Last active February 26, 2022 13:45
Simple Handwritten JSON Recognizer
// Code for lecture [5. Writing Parsers by Hand]
// https://www.youtube.com/watch?v=Ytq0GQdnChg&list=PLOech0kWpH8-njQpmSNGSiQBPUvl8v3IM&index=5
import java.util.Scanner;
public final class Parser
{
// === SETUP ===================================================================================
private static final String EXAMPLE_INPUT =
@claudio-naoto
claudio-naoto / demo-en.saty
Created January 5, 2021 10:13
English translation of demo.saty
@require: stdjabook
@require: code
@require: itemize
@require: tabular
@require: proof
@import: local
document (|
title = {An outline of \SATySFi;};
author = {Takashi SUWA};
@magnusws
magnusws / SegmentedControlNavBar.swift
Last active June 28, 2023 12:32
Navigation bar with a segmented control in SwiftUI
//
// SegmentedControlNavBar.swift
//
// Navigation bar with a segmented control in SwiftUI.
//
// Created by Magnus W. Solbakken on 18/05/2020.
// Copyright © 2020 Magnus W. Solbakken.
//
import SwiftUI
@JCSooHwanCho
JCSooHwanCho / FileIO.swift
Last active August 2, 2024 06:27
ps할 때 입력을 한꺼번에 받기 위한 유틸리티 클래스. fread의 swift 버전.
import Foundation
final class FileIO {
private let buffer:[UInt8]
private var index: Int = 0
init(fileHandle: FileHandle = FileHandle.standardInput) {
buffer = Array(try! fileHandle.readToEnd()!)+[UInt8(0)] // 인덱스 범위 넘어가는 것 방지
@mjm
mjm / ManagedObjectChangesPublisher.swift
Created November 3, 2019 20:41
Observe changes to a Core Data fetch request with Combine
import Combine
import CoreData
extension NSManagedObjectContext {
func changesPublisher<Object: NSManagedObject>(for fetchRequest: NSFetchRequest<Object>)
-> ManagedObjectChangesPublisher<Object>
{
ManagedObjectChangesPublisher(fetchRequest: fetchRequest, context: self)
}
}