Nnwww  id:Nnwww  



1,107    

-    

-    









2018  (1)  

2fa  (1)  

AMP  (1)  

ATS2  (1)  

Africa  (1)  

Apache  (1)  

Atlassian  (1)  

C(11)  

CI(2)  

CL(1)  

COVID-19  (3)  

CS(10)  

Caml  (1)  

Camus  (1)  

Chrome  (2)  

CloudFlare  (2)  

Coding  (1)  

Coq  (2)  

Crystal  (1)  

Cygames  (1)  

DDD  (4)  

DDoS  (1)  

DIY  (1)  

DNA  (3)  

DNS  (4)  

DTM  (2)  

DataStructure  (1)  

Datalog  (1)  

Datomic  (2)  

DependentType  (2)  

Dlang  (1)  

Docker  (1)  

E-commerce  (1)  

Eclipse  (1)  

Eink  (1)  

Emacs  (4)  

ErgoDox  (1)  

Evernote  (2)  

F#  (4)  

FFI  (2)  

FRP  (1)  

FSharp  (1)  

Firefox  (3)  

FunctionalProgramming  (1)  

GNU  (4)  

GPU  (3)  

Get_me_off_Your_Fucking_Mailing_  (1)  

Git  (2)  

HTTP  (3)  

HTTP2  (1)  

Haskell  (100)  

Hegel  (1)  

HipHop  (1)  

IT(12)  

IT  (1)  

Intel  (1)  

JNI  (1)  

JVM  (4)  

Java  (2)  

JetBrains  (2)  

Lisp  (3)  

Logicool  (2)  

ML(4)  

MOOC  (2)  

MTG  (7)  

Mac  (2)  

Monad  (3)  

MongoDB  (1)  

NASA  (1)  

NHK  (3)  

NTT  (1)  

NURO  (1)  

NixOS  (1)  

NoSQL  (1)  

Numpy  (1)  

OCaml  (27)  

OSX  (1)  

OoO  (1)  

OpenSSL  (1)  

P2P  (1)  

Paul Graham  (1)  

Prism  (2)  

PyCon  (1)  

Pynchon  (1)  

Python  (5)  

QEMU  (1)  

Raspberry Pi  (1)  

Rust  (27)  

SAC  (1)  

SICP  (3)  

SIer  (1)  

SRE  (4)  

SSD  (3)  

SSRF  (1)  

Scala  (2)  

SciPy  (1)  

Scrapbox  (1)  

Serialization  (1)  

Spinoza  (1)  

Steam  (1)  

String  (1)  

SystemProgramming  (8)  

TCG  (3)  

TCP  (2)  

TED  (1)  

TIME-WAIT  (1)  

TPP  (1)  

TemplateHaskell  (1)  

Tools  (4)  

UI(2)  

UNIX  (2)  

USB  (1)  

UX(1)  

VR(2)  

Visual Studio  (2)  

Vtuber  (4)  

WD(1)  

Wikipedia  (2)  

academic  (1)  

acessibility  (1)  

adtech  (3)  

agile  (1)  

algorithm  (18)  

amazon  (5)  

android  (2)  

animal  (2)  

anime  (5)  

apartment  (1)  

apparel  (1)  

architecture  (21)  

art  (2)  

assembly  (1)  

attack  (1)  

audio  (2)  

auth  (3)  

authentication  (3)  

awesome  (1)  

aws  (1)  

backpack  (1)  

bash  (2)  

bayes  (1)  

binary  (2)  

biology  (3)  

bitemporal  (1)  

book  (32)  

bookmarklet  (1)  

books  (5)  

boost  (2)  

bpf  (2)  

branding  (1)  

breaking_change  (1)  

build  (1)  

business  (4)  

buzz  (1)  

c++  (9)  

cache  (1)  

cafe  (1)  

caffeine  (1)  

cancel  (1)  

career  (2)  

category  (8)  

chair  (1)  

china  (3)  

cipher  (1)  

clojure  (5)  

cloud  (3)  

coffee  (3)  

comic  (2)  

communication  (5)  

company  (2)  

compiler  (2)  

computation  (1)  

concept  (1)  

concurrency  (3)  

conflict  (1)  

cookbook  (1)  

cooking  (1)  

copyright  (2)  

coroutine  (1)  

corporation  (1)  

corpus  (1)  

course  (2)  

cpu  (8)  

crdt  (1)  

credit  (1)  

crit-bit  (1)  

cryptocurrency  (2)  

cryptography  (5)  

culture  (3)  

culture society  (1)  

darkweb  (1)  

data  (1)  

database  (11)  

datacenter  (1)  

datadog  (1)  

db(6)  

debug  (1)  

deep learning  (4)  

design  (7)  

development  (6)  

devops  (1)  

dimension  (1)  

discussion  (1)  

distributed  (14)  

distributed system  (4)  

distributed_system  (1)  

distribution  (1)  

document  (2)  

document intelligence  (1)  

documents  (1)  

dojin  (1)  

e-learning  (1)  

ebook  (1)  

economics  (1)  

economy  (3)  

edge  (1)  

editor  (1)  

education  (5)  

effect  (2)  

elasticsearch  (1)  

electronic  (1)  

elm  (1)  

encryption  (2)  

energy  (1)  

engineer  (5)  

english  (2)  

enterprise  (1)  

environment  (4)  

erlang  (1)  

eta  (1)  

etalang  (3)  

ethics  (2)  

exceptions  (4)  

facebook  (3)  

failure  (1)  

fake  (3)  

filesystem  (4)  

finance  (1)  

food  (14)  

formal_method  (3)  

frege  (1)  

functional  (12)  

furniture  (1)  

gadget  (3)  

gamble  (1)  

game  (26)  

game theory  (1)  

gc(2)  

geometry  (1)  

ghc  (26)  

gigazine  (1)  

github  (4)  

gitlab  (1)  

glass  (1)  

goods  (2)  

google  (6)  

gov  (2)  

graph  (1)  

graphdb  (1)  

grep  (1)  

guix  (1)  

hadoop  (1)  

harassment  (1)  

hardware  (9)  

hash  (4)  

health  (14)  

hey  (1)  

history  (8)  

homebrew  (1)  

hpc  (1)  

human  (1)  

iOS  (1)  

icon  (1)  

ide  (2)  

idol  (1)  

image  (1)  

incident  (1)  

infiniband  (1)  

info  (1)  

infomatics  (1)  

information geometry  (1)  

infra  (3)  

interior  (2)  

internet  (12)  

interview  (7)  

japan  (5)  

jargon  (1)  

javafx  (1)  

job  (1)  

js(1)  

julia  (1)  

kaggle  (1)  

kenokabe  (1)  

kernel  (11)  

keyboard  (3)  

kubernetes  (4)  

kvm  (1)  

kvs  (1)  

lang  (1)  

law  (10)  

lazy-evaluation  (1)  

lecture  (4)  

lens  (2)  

library  (1)  

license  (1)  

life  (8)  

lifehack  (2)  

linux  (26)  

literature  (7)  

logging  (1)  

logic  (5)  

logistics  (1)  

machine learning  (5)  

machine_learning  (7)  

mail  (1)  

management  (3)  

manga  (3)  

manual  (1)  

markdown  (1)  

math  (20)  

meal  (1)  

medical  (6)  

medicine  (2)  

memory  (6)  

mental  (1)  

microphone  (1)  

microservices  (1)  

mitm  (1)  

mobile  (3)  

money  (1)  

monitoring  (1)  

mountain  (1)  

movie  (1)  

museum  (1)  

music  (4)  

network  (27)  

networking stack  (2)  

neuroscience  (1)  

nix  (2)  

nlp  (5)  

node  (1)  

nsa  (1)  

nvidia  (1)  

omori  (1)  

onboarding  (2)  

oo(2)  

oop  (1)  

operation  (4)  

org  (1)  

os(4)  

oss  (8)  

paper  (8)  

parallel  (4)  

parser  (1)  

payment  (1)  

pc(5)  

pdf  (2)  

performance  (23)  

pgp  (1)  

philosophy  (20)  

podcast  (4)  

politics  (2)  

pollen allergy  (1)  

pragmatism  (1)  

present  (1)  

presentation  (2)  

privacy  (2)  

process  (1)  

profiling  (1)  

programming  (160)  

prolog  (1)  

proof  (1)  

ps5  (1)  

psychology  (2)  

public  (1)  

quantum  (3)  

query language  (1)  

quickcheck  (1)  

realtime  (1)  

recipe  (4)  

recording  (1)  

recruit  (2)  

reference  (2)  

religion  (1)  

research  (5)  

retrieval  (2)  

review  (6)  

rfc  (2)  

robotics  (2)  

ruby  (2)  

rusk  (1)  

science  (20)  

security  (48)  

semantics  (1)  

service  (7)  

shell  (3)  

shoes  (1)  

shop  (4)  

sift  (1)  

slide  (2)  

smartcard  (1)  

sml  (1)  

sns  (2)  

society  (28)  

soft skill  (1)  

software  (5)  

source  (1)  

space  (1)  

spaceleak  (2)  

spacemacs  (2)  

spec  (1)  

speee  (1)  

sports  (1)  

springer  (1)  

statistics  (3)  

storage  (9)  

strace  (1)  

study  (3)  

sublime  (1)  

subscription  (1)  

succint  (1)  

sweet  (1)  

sweets  (3)  

swift  (1)  

syntax  (1)  

synth  (1)  

system  (1)  

systemd  (1)  

terminal  (2)  

testing  (8)  

textbook  (2)  

tla+  (1)  

tls  (4)  

topology  (2)  

tor  (2)  

tracing  (1)  

transaction  (2)  

translate  (1)  

travel  (2)  

tree  (1)  

trekking  (1)  

tuber  (1)  

turing machine  (1)  

tutorial  (3)  

twitter  (1)  

type  (2)  

type system  (3)  

typescript  (1)  

typing  (2)  

university  (1)  

video  (2)  

vim  (5)  

vm(2)  

voip  (1)  

vpn  (1)  

vulnerability  (1)  

wayland  (1)  

web  (15)  

web_front  (1)  

wiki  (2)  

window manager  (1)  

work  (20)  

works  (1)  

writing  (1)  

x509  (1)  

xbox360  (1)  

xdp  (1)  

youtube  (2)  

zfs  (1)  

 (13)  

 (2)  

 (2)  

 (2)  

 (3)  

 (2)  

 (2)  

 (7)  

 (2)  

 (2)  

 (2)  

 (2)  

 (5)  

 (3)  

 (4)  

 (6)  

 (4)  

programming  (160)  

Haskell  (100)  

security  (48)  

book  (32)  

society  (28)  

OCaml  (27)  

Rust  (27)  

network  (27)  

game  (26)  

ghc  (26)  


 


 (2)



FRP  

OCaml  


 




SACNnwww (1)  






Introducing Incremental  



4 users  

blog.janestreet.com  


 


Im pleased to announce the release of Incremental (well commented mli here), a powerful library for building self-adjusting computations, i.e., computations that can be updated efficiently when their inputs change. At itssimplest, you can think of a self-adjusting computation as a fancy spreadsheet. In a spreadsheet, each cell contains either simple data, or an equation that describes how the va
 Introducing Incremental


Nnwww
Nnwww  2016/02/18  
SACFRP --- FRPSAC --- ()  

OCaml

FRP

SAC
 



 














1











202472

   



20242-20244

   



202471

   


 

Twitter



@HatenaBookmark


@hatebu

 









   




 



j

k

l

e

o
 

















 









 

















 









 









 







Pro



 




 






App Storeからダウンロード
Google Playで手に入れよう


Copyright © 2005-2024 Hatena. All Rights Reserved.
 



x