- Heterogeneous containers in OCaml (archive
- ocaml-containers
CCMixmap
- type accessor objects
- generalized-signatures
Hashtbl
example- module signature only
- GADTs and associative container
- https://sympa.inria.fr/sympa/arc/caml-list/2013-07/msg00071.html
- typed key in value as well
- https://sympa.inria.fr/sympa/arc/caml-list/2013-07/msg00071.html
- Copy
π―
This file contains hidden or 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
import Combine | |
import CoreData | |
extension NSManagedObjectContext { | |
func changesPublisher<Object: NSManagedObject>(for fetchRequest: NSFetchRequest<Object>) | |
-> ManagedObjectChangesPublisher<Object> | |
{ | |
ManagedObjectChangesPublisher(fetchRequest: fetchRequest, context: self) | |
} | |
} |
This file contains hidden or 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
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)] // μΈλ±μ€ λ²μ λμ΄κ°λ κ² λ°©μ§ |
This file contains hidden or 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: stdjabook | |
@require: code | |
@require: itemize | |
@require: tabular | |
@require: proof | |
@import: local | |
document (| | |
title = {An outline of \SATySFi;}; | |
author = {Takashi SUWA}; |
This file contains hidden or 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
// 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 = |
This file contains hidden or 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
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) } |
This file contains hidden or 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
μ½μ | νκ΅μ 보과νν (2024) | BK21νλ¬μ€ IF (2018) | KAIST CS (2022) | SNU CSE (2024.4) | POSTECH CSE (2024.9) | νκ· (μ κ·ν) | ννλͺ | DBLP Key | |
---|---|---|---|---|---|---|---|---|---|
AAAI | μ΅μ°μ | 4 | O | O | μ΅μ°μ | 1.00 | AAAI Conference on Artificial Intelligence (AAAI) | conf/aaai | |
AAMAS | μ°μ | 2 | 0.20 | International Conference on Autonomous Agents and Multiagent Systems (AAMAS) | conf/ifaamas | ||||
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.20 | Findings of ACL | series/findacl | ||||
ACNS | μ°μ | 0.10 | International Conference on Applied Cryptography and Network Security (ACNS) | conf/acns | |||||
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 |
%%{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"]
This file contains hidden or 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
// ==UserScript== | |
// @name enable relative line numbers in overleaf | |
// @namespace http://tampermonkey.net/ | |
// @version 2024-04-10 | |
// @description handy for vim users. Change code view line numbers to relative. | |
// @author You | |
// @match https://www.overleaf.com/project/* | |
// @icon https://www.google.com/s2/favicons?sz=64&domain=overleaf.com | |
// @grant GM_addStyle | |
// ==/UserScript== |