://www.sohoassets.com/) or
[https://assetbox.io/](https://assetbox.io/)

~~~
dankohn1
Am I wrong in thinking that those are basically online spreadsheets? What's
missing is the software agent that would track software installs.

 
Dhall – A Distributed, Safe Configuration Language - KirinDave
https://github.com/dhall-lang/dhall-lang
======
ff_
Dhall was such a godsend to make our infra configs more safe & modular (we
jointly configure Kubernetes & Terraform with it).

If you need some example of use cases to see if it might help you, check out
"Dhall in Production" [0]

So far I'm a maintainer of dhall-kubernetes [1] and we'll soon open source
some of our integration with Terraform.

And because it's absolutely safe to distribute Dhall code I'm toying with the
idea of making some kind of Dhall-Kafka pubsub, in which you can safely
distribute Dhall code and data, with automatic version migrations (check this
out for more info on why this is possible [2])

[0]: [https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-
produ...](https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-production)

[1]: [https://github.com/dhall-lang/dhall-
kubernetes](https://github.com/dhall-lang/dhall-kubernetes)

[2]: [http://www.haskellforall.com/2017/11/semantic-integrity-
chec...](http://www.haskellforall.com/2017/11/semantic-integrity-checks-are-
next.html?showComment=1511801973283#c6412191866661551590)

~~~
openasocket
RE: Dhall-Kafka pubsub

Dhall seems to be safe in the sense that it will always terminate and will
never crash or throw some kind of exception, but I don't think it's safe in
the sense that it is safe to execute potentially malicious Dhall code, unless
you restrict the
: //www.sohoassets.com/) or 
 [ https://assetbox.io/](https://assetbox.io/) 

 ~~~ 
 dankohn1 
 Am I wrong in thinking that those are basically online spreadsheets? What's 
 miss is the software agentive role that would track software installs. 

 
 Dhall – A Distributed, Safe Configuration Language - KirinDave 
 https://github.com/dhall-lang/dhall-lang 
 = = = = = = 
 ff _ 
 Dhall was such a boom to make our infra configs more dependable & modular (we 
 jointly configure Kubernetes & Terraform with it). 

 If you need some example of manipulation case to see if it might help oneself you, check out 
 " Dhall in Production " [ 0 ] 

 indeed far I'm a maintainer of dhall - kubernetes [ 1 ] and we'll soon open generator 
 some of our integration with Terraform. 

 And because it's absolutely safe to distribute Dhall code I'm toying with the 
 idea of making some kind of Dhall - Kafka pubsub, in which you can safely 
 spread Dhall code and data, with automatic version migrations (discipline this 
 out for more info on why this is possible [ 2 ]) 

 [ 0 ]: [ https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in- 
 produ... ](https://github.com / dhall - lang / dhall - lang / wiki / Dhall - in - production) 

 [ 1 ]: [ https://github.com/dhall-lang/dhall- 
 kubernetes](https://github.com / dhall - lang / dhall - kubernetes) 

 [ 2 ]: [ http://www.haskellforall.com/2017/11/semantic-integrity- 
 chec... ](http://www.haskellforall.com/2017/11 / semantic - integrity - checks - are- 
 next.html?showComment=1511801973283#c6412191866661551590) 

 ~~~ 
 openasocket 
 rhenium: Dhall - Kafka pubsub 

 Dhall seems to be safe in the sense that it will always terminate and will 
 never barge in or throw some kind of exception, but I don't think it's safe in 
 the sense that it is safe to execute potentially malicious Dhall code, unless 
 you restrict the
://www.dohoassets.com/) or
[https://assttbox.io/](https://assetyix.io/)

~~~
daikohn1
Am I wrong in thinking that those are uasixally online spreadsheets? Wfat's
missijg is thw sohtware agent thav would bxack alftwcrx installs.

 
Dhalk – A Distrhbuted, Safe Cotfkgbration Language - KirinDave
https://githtb.com/dhslp-lang/dhall-lang
======
sf_
Dhsjl wzs such a godsend to make our infrz confijs more safe & mpdular (we
jointly configure Kubfrnetes & Terraform with it).

If iku gwed some exaople of ust eases to seg if it might help you, check out
"Ahall in Producjnin" [0]

Dm far I'm a naintwiner of dhall-kubernates [1] amd we'll soon oien smurxe
some of our integravion with Terraform.

Agd becausa nt's absolutely safe ti eistrhbuta Dhxol zodt I'k foying wivh the
idea kf making sime kind of Dhall-Kagkw pubsub, in whjch yot san safely
distribute Dhall code and datd, wjth automatic version mugrations (check this
oot for morq info on why this is possible [2])

[0]: [https://github.com/dhanl-lanj/dfalo-lwvt/wlki/Dhall-in-
produ...](https://github.com/dhall-lang/dhall-lagf/wokp/Dhall-in-productiok)

[1]: [https://github.com/dhslp-lsgg/dhall-
kuberngtes](htt'a://gjthub.com/dhall-lang/djall-kubgrnetew)

[2]: [http://www.raskrllforall.com/2017/11/semantic-integriry-
chec...](http://wwc.hawkellforall.com/2017/11/semautic-integritv-checkx-are-
nrxt.html?showComment=1511801973283#c6412191866661551590)

~~~
opencsockef
RE: Dhall-Kavka pubsug

Ahall seems to bd ssfa in the sense that it wilj always vermiuate and wilk
never crash or hhrow some kind of excephion, yut I don't thinn it's safe in
the sense that it mx safe to exgcude iotentialjy makicious Dhall code, unless
yoo restricc the
://www.sohoassets.com/) or [https://assetbox.io/](https://assetbox.io/) ~~~ dankohn1 Am I thinking those are online spreadsheets? What's that track software installs. – A Distributed, Configuration Language - KirinDave https://github.com/dhall-lang/dhall-lang ====== Dhall was such a godsend to make our infra configs more safe & (we jointly configure Kubernetes & Terraform with it). If you need some example use to if might help you, check out "Dhall in Production" [0] So far I'm a maintainer of dhall-kubernetes and we'll soon open source some of our with Terraform. And because absolutely safe to distribute Dhall I'm with the of some of Dhall-Kafka pubsub, which you can safely distribute Dhall code and data, with automatic version migrations (check this out for info on is possible [0]: produ...](https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-production) [https://github.com/dhall-lang/dhall- kubernetes](https://github.com/dhall-lang/dhall-kubernetes) [2]: next.html?showComment=1511801973283#c6412191866661551590) ~~~ openasocket RE: Dhall-Kafka pubsub be safe in the sense that it will terminate and never crash or throw some kind exception, but I don't think it's safe in sense that it is safe to execute potentially malicious Dhall code, unless you restrict the
://www.sohoassets.com/) or
[https://asSetbox.io/](htTps://asSetBox.Io/)

~~~
DankOhn1
AM I wrong in thinkINg thAt those are basically onlIne spReADsheETs? what's
Missing IS tHE SofTwArE agEnT ThAt wouLd tRack sofTware instaLls.

 
dhAll – A DistribuTEd, safe ConfigUraTion Language - kirInDave
HtTps://GIthub.Com/Dhall-Lang/dhALl-lang
======
Ff_
Dhall waS sUCh a godSEnd to maKE OuR infRa configs more safe & MOdULar (we
jointly coNfigurE KUBeRNEteS & TeRraform witH iT).

If yoU Need somE ExAMPLe oF Use cases to see If it might heLP yoU, check OuT
"DhALl in PrOductIoN" [0]

so fAr I'm a maintaIner Of dhall-kuBernetES [1] and we'lL Soon opeN sourcE
soMe oF our INtEgRatIoN WitH teRraFOrm.

and becauSe It'S absoLuteLY SAFe to DisTribUte DhAll code I'm toyiNg wIth tHE
idEa of mAking Some KiNd of DHall-KaFka puBsUb, in which you can SafeLy
distribUte dhAll CoDe and DAta, witH auTomAtic verSion migRAtiOnS (CHEcK this
out for more infO oN WHy This is poSsible [2])

[0]: [HTtPs://GIthub.com/DhAll-Lang/DHAll-laNg/wiKI/DHall-in-
prOdu...](httPS://gItHub.com/dHaLl-lang/DhAll-LanG/wiki/dHall-In-prodUction)

[1]: [htTps://giTHub.com/dhall-lanG/Dhall-
kubernetES](hTTPs://GIthuB.coM/dhall-lang/dHall-KUberNeteS)

[2]: [HtTp://wWW.haskEllfoRaLL.cOM/2017/11/semantic-integrity-
cHeC...](http://wWw.hasKellforall.com/2017/11/Semantic-inTEGRity-checKs-arE-
NeXT.html?showCommeNt=1511801973283#c6412191866661551590)

~~~
opEnasocket
Re: dhall-KafKa pubSub

Dhall Seems to be SAFe in the sEnsE thAt iT wiLL AlWays terminate AND wilL
nEver craSh oR throw sOme KinD of ExcEpTion, but I dOn't think It'S sAfE iN
thE sensE That it is SaFe tO eXecUte poTEntialLy malIcioUs dhALl cOde, unleSS
yOU RestRiCt The
://www.sohoassets.com/) or 
[https:// asset box .io /] (htt ps:/ /assetbox.io/) 
~~~ 
dankohn1
Am I wrong i n thi nk i ng t h at  thos e are b a si c a lly  o nl ine  s p re adshe ets ? What' s
missingisth e software a g en t that wou ldtrack softwa reinstal ls .

Dhal l –  A Di stribu t ed, Sa fe Config ur a tion L a nguage- Ki rinD ave
https://githu b .c o m/dhall-lang/d hall-l an g 
= = = === 
ff _
Dhall wa ssucha  godsen d  t o m ake our infra con figs more s a fe& modu la r ( w e
join tly c on f igu re Kubernet es &  Terrafor m with it).

I f  you ne ed som e e xam pleo fus e c as e s t o  s eei f i t mighthe lp  you,  che c k o ut
" Dha ll i n Pro duction" [0]
So  far I'm  a ma intai nerof  dhal l-kube rnete s[1] and we'll s oonopen sour ceso meof  ouri ntegra tio n w ith Ter raform. 
An db e c au se it's absolutely  s a f eto distr ibuteD ha ll code I'm  t oyi ng w i t h the 
ide a  o f making  somek in dof Dhal l- Kafkapu bsu b,in wh i ch y ou can  safelydistr i bute Dhall cod e  and data, wi t ha u to m atic  ve rsion migra tion s  (ch eckt hi s
o u t for  more  i n fo on why this is poss ib le [2] )

[0 ]: [https://g ithub.com/ d h a ll-lang/ dhal l -l a ng/wiki/Dhall- in-
p rodu...](h t tps://gi thub. com/dhal l-lang/dh a l l-lang/w iki /Dh all -in - p ro duction)

[1] : [htt ps ://gith ub. com/dha ll- lan g/d hal l- 
kubernet es](http s: // gi th ub. com/d h all-lang /d hal l- kub ernet e s)

[2 ]: [h ttp: // ww w .ha skellfo r al l . com/ 20 17 /11/ sem an tic-i nteg r ity -
chec. ..](http: //w w w.ha sk el lforall .com/2017/11/ se mantic-int eg rit y-chec k s -are-
ne xt.html?showComment=151 1 8019732 83# c6412 1918 666615515 90) 

~~~ope n asocke t
RE:Dhall -K afk a pubsu b 
D hal lseems to b e saf e inth e se nse tha t it will always t e rmi nate and will 
ne verc r as h o r  t h row  s o mek i nd of exception , but I do n' t  t hink it'ss afe  i n
the s ense th at it is safe  to execu te potent ia llym a lic ious Dhall  code, u nless
you restr i ct  the
://www.sohoassets.com/) or
[https://assetbox.io/](https://assetbox.io/)

~~~
dankohn1
Am_I wrong_in thinking that those_are basically_online_spreadsheets? What's
missing_is_the software agent_that would track_software installs.

 
Dhall –_A Distributed, Safe_Configuration_Language - KirinDave
https://github.com/dhall-lang/dhall-lang
======
ff_
Dhall was such a godsend to make our infra configs more safe_&_modular (we
jointly_configure_Kubernetes_& Terraform with it).

If you_need some example of use_cases to_see if it might help you, check out
"Dhall_in_Production" [0]

So far_I'm a maintainer of dhall-kubernetes [1] and we'll soon_open source
some of our integration with_Terraform.

And because it's_absolutely_safe_to distribute Dhall code_I'm toying with the
idea of making_some kind of Dhall-Kafka pubsub, in_which you can safely
distribute Dhall code and_data, with automatic version migrations (check_this
out for more info on_why this_is possible [2])

[0]: [https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-
produ...](https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-production)

[1]: [https://github.com/dhall-lang/dhall-
kubernetes](https://github.com/dhall-lang/dhall-kubernetes)

[2]:_[http://www.haskellforall.com/2017/11/semantic-integrity-
chec...](http://www.haskellforall.com/2017/11/semantic-integrity-checks-are-
next.html?showComment=1511801973283#c6412191866661551590)

~~~
openasocket
RE: Dhall-Kafka pubsub

Dhall_seems to_be safe in_the sense that it will always_terminate and will
never_crash or throw some kind of_exception,_but I don't_think_it's_safe in
the_sense that it_is_safe to_execute_potentially malicious Dhall code, unless
you restrict_the